Executables

This is a non-comprehensive list of executables available on CoCalc. The output of running the executable with --version or equivalent is shown below. This offers some information about the utility and version number.
To run the software executable, you need to either open a "Terminal" (create a file with the extension .term) or run it indirectly via an interactive worksheet.
On CoCalc, you can also install and/or compile your own executable binaries. You have a lot of control about your own project, which is essentially a containerized Linux environment.

4Ti2-Zsolve/usr/bin/4ti2-zsolve

-------------------------------------------------
4ti2 version 1.6.7
Copyright 1998, 2002, 2006, 2015 4ti2 team.
4ti2 comes with ABSOLUTELY NO WARRANTY.
This is free software, and you are welcome
to redistribute it under certain conditions.
For details, see the file COPYING.
-------------------------------------------------

7Z/usr/bin/7z

7-Zip [64] 9.20  Copyright (c) 1999-2010 Igor Pavlov  2010-11-18
p7zip Version 9.20 (locale=C.UTF-8,Utf16=on,HugeFiles=on,4 CPUs)

Usage: 7z <command> [<switches>...] <archive_name> [<file_names>...]
       [<@listfiles...>]

<Commands>
  a: Add files to archive
  b: Benchmark
  d: Delete files from archive
  e: Extract files from archive (without using directory names)
  l: List contents of archive
  t: Test integrity of archive
  u: Update files to archive
  x: eXtract files with full paths
<Switches>
  -ai[r[-|0]]{@listfile|!wildcard}: Include archives
  -ax[r[-|0]]{@listfile|!wildcard}: eXclude archives
  -bd: Disable percentage indicator
  -i[r[-|0]]{@listfile|!wildcard}: Include filenames
  -m{Parameters}: set compression Method
  -o{Directory}: set Output directory
  -p{Password}: set Password
  -r[-|0]: Recurse subdirectories
  -scs{UTF-8 | WIN | DOS}: set charset for list files
  -sfx[{name}]: Create SFX archive
  -si[{name}]: read data from stdin
  -slt: show technical information for l (List) command
  -so: write data to stdout
  -ssc[-]: set sensitive case mode
  -t{Type}: Set type of archive
  -u[-][p#][q#][r#][x#][y#][z#][!newArchiveName]: Update options
  -v{Size}[b|k|m|g]: Create volumes
  -w[{path}]: assign Work directory. Empty path means a temporary directory
  -x[r[-|0]]]{@listfile|!wildcard}: eXclude filenames
  -y: assume Yes on all queries

Advpng/usr/bin/advpng

advancecomp v1.20 by Andrea Mazzoleni, http://www.advancemame.it

Aspell/usr/bin/aspell

@(#) International Ispell Version 3.1.20 (but really Aspell 0.60.7-20110707)

Asy/usr/bin/asy

Asymptote version 2.37 [(C) 2004 Andy Hammerlindl, John C. Bowman, Tom Prince]

Autoconf/usr/bin/autoconf

autoconf (GNU Autoconf) 2.69
Copyright (C) 2012 Free Software Foundation, Inc.
License GPLv3+/Autoconf: GNU GPL version 3 or later
<http://gnu.org/licenses/gpl.html>, <http://gnu.org/licenses/exceptions.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by David J. MacKenzie and Akim Demaille.

Automake/usr/bin/automake

automake (GNU automake) 1.15
Copyright (C) 2014 Free Software Foundation, Inc.
License GPLv2+: GNU GPL version 2 or later <http://gnu.org/licenses/gpl-2.0.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Tom Tromey <[email protected]>
       and Alexandre Duret-Lutz <[email protected]>.

Autopep8/usr/bin/autopep8

autopep8 0.9.1

Avconv/usr/bin/avconv

ffmpeg version 2.8.11-0ubuntu0.16.04.1 Copyright (c) 2000-2017 the FFmpeg developers
  built with gcc 5.4.0 (Ubuntu 5.4.0-6ubuntu1~16.04.4) 20160609
  configuration: --prefix=/usr --extra-version=0ubuntu0.16.04.1 --build-suffix=-ffmpeg --toolchain=hardened --libdir=/usr/lib/x86_64-linux-gnu --incdir=/usr/include/x86_64-linux-gnu --cc=cc --cxx=g++ --enable-gpl --enable-shared --disable-stripping --disable-decoder=libopenjpeg --disable-decoder=libschroedinger --enable-avresample --enable-avisynth --enable-gnutls --enable-ladspa --enable-libass --enable-libbluray --enable-libbs2b --enable-libcaca --enable-libcdio --enable-libflite --enable-libfontconfig --enable-libfreetype --enable-libfribidi --enable-libgme --enable-libgsm --enable-libmodplug --enable-libmp3lame --enable-libopenjpeg --enable-libopus --enable-libpulse --enable-librtmp --enable-libschroedinger --enable-libshine --enable-libsnappy --enable-libsoxr --enable-libspeex --enable-libssh --enable-libtheora --enable-libtwolame --enable-libvorbis --enable-libvpx --enable-libwavpack --enable-libwebp --enable-libx265 --enable-libxvid --enable-libzvbi --enable-openal --enable-opengl --enable-x11grab --enable-libdc1394 --enable-libiec61883 --enable-libzmq --enable-frei0r --enable-libx264 --enable-libopencv
  WARNING: library configuration mismatch
  avcodec     configuration: --prefix=/usr --extra-version=0ubuntu0.16.04.1 --build-suffix=-ffmpeg --toolchain=hardened --libdir=/usr/lib/x86_64-linux-gnu --incdir=/usr/include/x86_64-linux-gnu --cc=cc --cxx=g++ --enable-gpl --enable-shared --disable-stripping --disable-decoder=libopenjpeg --disable-decoder=libschroedinger --enable-avresample --enable-avisynth --enable-gnutls --enable-ladspa --enable-libass --enable-libbluray --enable-libbs2b --enable-libcaca --enable-libcdio --enable-libflite --enable-libfontconfig --enable-libfreetype --enable-libfribidi --enable-libgme --enable-libgsm --enable-libmodplug --enable-libmp3lame --enable-libopenjpeg --enable-libopus --enable-libpulse --enable-librtmp --enable-libschroedinger --enable-libshine --enable-libsnappy --enable-libsoxr --enable-libspeex --enable-libssh --enable-libtheora --enable-libtwolame --enable-libvorbis --enable-libvpx --enable-libwavpack --enable-libwebp --enable-libx265 --enable-libxvid --enable-libzvbi --enable-openal --enable-opengl --enable-x11grab --enable-libdc1394 --enable-libiec61883 --enable-libzmq --enable-frei0r --enable-libx264 --enable-libopencv --enable-version3 --disable-doc --disable-programs --disable-avdevice --disable-avfilter --disable-avformat --disable-avresample --disable-postproc --disable-swscale --enable-libopencore_amrnb --enable-libopencore_amrwb --enable-libvo_aacenc --enable-libvo_amrwbenc
  libavutil      54. 31.100 / 54. 31.100
  libavcodec     56. 60.100 / 56. 60.100
  libavformat    56. 40.101 / 56. 40.101
  libavdevice    56.  4.100 / 56.  4.100
  libavfilter     5. 40.101 /  5. 40.101
  libavresample   2.  1.  0 /  2.  1.  0
  libswscale      3.  1.101 /  3.  1.101
  libswresample   1.  2.101 /  1.  2.101
  libpostproc    53.  3.100 / 53.  3.100
Unrecognized option '-version'.
Error splitting the argument list: Option not found

Axiom/usr/bin/axiom

axiom
  [-ht    |-noht]      whether to use HyperDoc
  [-gr    |-nogr]      whether to use Graphics
  [-clef  |-noclef]    whether to use Clef
  [-nonag |-nag]       whether to use NAG
  [-noiw  |-iw]        start in interpreter in a separate window
  [-ihere |-noihere]   start an interpreter in this window
  [-nox]               don't use X Windows
  [-go  |-nogo]        whether to start system
  [-ws wsname]         use named workspace
  [-list]              list workspaces only
  [-grprog fname]      use named program for Graphics
  [-nagprog fname]     use named program for Nag
  [-htprog fname]      use named program for HyperDoc
  [-clefprog fname]    use named program for Clef
  [-sessionprog fname] use named program for session
  [-clientprog fname]  use named program for spadclient
  [-h]                 show usage
Would now start the processes.
exec /usr/lib/axiom-20140801/bin/sman -ws /usr/lib/axiom-20140801/bin/AXIOMsys

Bash/bin/bash

GNU bash, version 4.3.48(1)-release (x86_64-pc-linux-gnu)
Copyright (C) 2013 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>

This is free software; you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Bedtools/ext/anaconda3/bin/bedtools

bedtools v2.27.1

Biber/usr/bin/biber

biber version: 2.4

Bibtex/usr/bin/bibtex

BibTeX 0.99d (TeX Live 2015/Debian)
kpathsea version 6.2.1
Copyright 2015 Oren Patashnik.
There is NO warranty.  Redistribution of this software is
covered by the terms of both the BibTeX copyright and
the Lesser GNU General Public License.
For more information about these matters, see the file
named COPYING and the BibTeX source.
Primary author of BibTeX: Oren Patashnik.

Cabal/opt/ghc/bin/cabal

cabal-install version 2.2.0.0
compiled using version 2.2.0.1 of the Cabal library 

Cargo/usr/bin/cargo

cargo 0.23.0

Cbc/usr/bin/cbc

Welcome to the CBC MILP Solver 
Version: 2.8.12 
Build Date: Feb 22 2016 

command line - cbc -help (default strategy 1)
Cbc version 2.8.12, build Feb 22 2016
Non default values:-
Perturbation 50 (default 100)
Presolve being done with 5 passes
Dual steepest edge steep/partial on matrix shape and factorization
density
Clpnnnn taken out of messages
If Factorization frequency default then done on size of matrix

(-)unitTest, (-)netlib or (-)netlibp will do standard tests

You can switch to interactive mode at any time so
clp watson.mps -scaling off -primalsimplex
is the same as
clp watson.mps -
scaling off
primalsimplex
Total time (CPU seconds):       0.00   (Wallclock seconds):       0.00

Ccache/usr/bin/ccache

ccache version 3.2.4

Copyright (C) 2002-2007 Andrew Tridgell
Copyright (C) 2009-2015 Joel Rosdahl

This program is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free Software
Foundation; either version 3 of the License, or (at your option) any later
version.

Cheetah/usr/bin/cheetah

         __  ____________  __
         \ \/            \/ /
          \/    *   *     \/    CHEETAH 2.4.4 Command-Line Tool
           \      |       / 
            \  ==----==  /      by Tavis Rudd <[email protected]>
             \__________/       and Mike Orr <[email protected]>
              
USAGE:
------
  cheetah compile [options] [FILES ...]     : Compile template definitions
  cheetah fill [options] [FILES ...]        : Fill template definitions
  cheetah help                              : Print this help message
  cheetah options                           : Print options help message
  cheetah test [options]                    : Run Cheetah's regression tests
                                            : (same as for unittest)
  cheetah version                           : Print Cheetah version number

You may abbreviate the command to the first letter; e.g., 'h' == 'help'.
If FILES is a single "-", read standard input and write standard output.
Run "cheetah options" for the list of valid options.

*** USAGE ERROR ***: not enough command-line arguments

Clang/usr/bin/clang

clang version 3.8.0-2ubuntu4 (tags/RELEASE_380/final)
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin

Clojure/usr/bin/clojure

Picked up _JAVA_OPTIONS: -Djava.io.tmpdir=/home/user/tmp/ -Xms64m
"1.6.0"

Clp/usr/bin/clp

Coin LP version 1.15.10, build Feb 22 2016
command line - clp -help 
Coin LP version 1.15.10, build Feb 22 2016
Non default values:-
Perturbation 50 (default 100)
Presolve being done with 5 passes
Dual steepest edge steep/partial on matrix shape and factorization
density
Clpnnnn taken out of messages
If Factorization frequency default then done on size of matrix

(-)unitTest, (-)netlib or (-)netlibp will do standard tests

You can switch to interactive mode at any time so
clp watson.mps -scaling off -primalsimplex
is the same as
clp watson.mps -
scaling off
primalsimplex

Cmake/usr/bin/cmake

cmake version 3.5.1

CMake suite maintained and supported by Kitware (kitware.com/cmake).

Coffee/home/user/smc/src/node_modules/.bin/coffee

CoffeeScript version 2.2.2

Configurehomer.Pl/ext/data/homer/configureHomer.pl

	Current base directory for HOMER is /ext/data/homer/

/ext/data/homer//update.txt: Read-only file system
	Updating Settings...
Packages with name conflicts have a trailing -o, -p, or -g
Version Installed	Package	Version	Description
SOFTWARE
+	homer	v4.9.1	Code/Executables, ontologies, motifs for HOMER
ORGANISMS
+	human-o	v5.10	Homo sapiens (human) accession and ontology information
-	rice	v5.10	Oryza sativa (rice) accession and ontology information
-	corn	v5.10	Zea mays (corn) accession and ontology information
-	patens	v5.10	Physcomitrella patens (patens) accession and ontology information
-	mouse-o	v5.10	Mus musculus (mouse) accession and ontology information
-	fugu	v5.10	Takifugu rubripes (fugu) accession and ontology information
-	yeast-o	v5.10	Saccharomyces cerevisiae (yeast) accession and ontology information
-	chicken-o	v5.10	Gallus gallus (chicken) accession and ontology information
-	ciona	v5.10	Ciona intestinalis (ciona) accession and ontology information
-	chlamy	v5.10	Chlamydomonas reinhardtii (chlamy) accession and ontology information
-	pseudonana	v5.10	Thalassiosira pseudonana (pseudonana) accession and ontology information
-	tomato	v5.10	Solanum lycopersicum (tomato) accession and ontology information
-	mosquito	v5.10	Anopheles gambiae (mosquito) accession and ontology information
-	dog	v5.10	Canis lupus familiaris (dog) accession and ontology information
-	seahare	v5.10	Aplysia californica (seahare) accession and ontology information
-	hydra	v5.10	Hydra vulgaris (hydra) accession and ontology information
-	frog-o	v5.10	Xenopus tropicalis (frog) accession and ontology information
-	arabidopsis-o	v5.10	Arabidopsis thaliana (arabidopsis) accession and ontology information
-	selaginella	v5.10	Selaginella moellendorffii (selaginella) accession and ontology information
-	zebrafish-o	v5.10	Danio rerio (zebrafish) accession and ontology information
-	mushroom	v5.10	Agaricus bisporus (mushroom) accession and ontology information
-	urchin	v5.10	Strongylocentrotus purpuratus (urchin) accession and ontology information
-	fly-o	v5.10	Drosophila melanogaster (fly) accession and ontology information
-	pombe	v5.10	Schizosaccharomyces pombe (pombe) accession and ontology information
-	volvox	v5.10	Volvox carteri (volvox) accession and ontology information
-	rat-o	v5.10	Rattus norvegicus (rat) accession and ontology information
-	laevis	v5.10	Xenopus laevis (laevis) accession and ontology information
-	dicty	v5.10	Dictyostelium discoideum (dicty) accession and ontology information
-	rhesus	v5.10	Macaca mulatta (rhesus) accession and ontology information
-	diatom	v5.10	Phaeodactylum tricornutum (diatom) accession and ontology information
-	pig	v5.10	Sus scrofa (pig) accession and ontology information
-	ascomycetes	v5.10	Neurospora crassa (ascomycetes) accession and ontology information
-	cow	v5.4	Bos taurus (cow) accession and ontology information
-	ciliate	v5.10	Tetrahymena thermophila (ciliate) accession and ontology information
-	anemone	v5.10	Nematostella vectensis (anemone) accession and ontology information
-	lamprey	v5.10	Petromyzon marinus (lamprey) accession and ontology information
-	worm-o	v5.10	Caenorhabditis elegans (worm) accession and ontology information
-	bee	v5.10	Apis mellifera (bee) accession and ontology information
-	zebrafinch	v5.10	Taeniopygia guttata (zebrafinch) accession and ontology information
PROMOTERS
-	chicken-p	v5.5	chicken promoters (chicken)
-	fly-p	v5.5	fly promoters (fly)
-	yeast-p	v5.5	yeast promoters (yeast)
-	arabidopsis-p	v5.0	Arabidopsis Ensembl Promoters (tair10)
-	human-p	v5.5	human promoters (human)
-	frog-p	v5.5	frog promoters (frog)
-	rat-p	v5.5	rat promoters (rat)
-	mouse-p	v5.5	mouse promoters (mouse)
-	zebrafish-p	v5.5	zebrafish promoters (zebrafish)
-	worm-p	v5.5	worm promoters (worm)
GENOMES
+	hg18	v5.10	human genome and annotation for UCSC hg18
-	galGal4	v5.10	chicken genome and annotation for UCSC galGal4
-	mm10	v5.10	mouse genome and annotation for UCSC mm10
-	sacCer3	v5.10	yeast genome and annotation for UCSC sacCer3
-	dm3	v5.10	fly genome and annotation for UCSC dm3
-	tair10	v5.10	arabidopsis genome and annotation (tair10)
-	ce11	v5.10	worm genome and annotation for UCSC ce11
-	tetNig2	v5.10	fugu genome and annotation for UCSC tetNig2
-	panTro5	v5.10	human genome and annotation for UCSC panTro5
-	gorGor3	v5.10	human genome and annotation for UCSC gorGor3
-	panTro4	v5.10	human genome and annotation for UCSC panTro4
-	fr3	v5.10	fugu genome and annotation for UCSC fr3
-	mm8	v5.10	mouse genome and annotation for UCSC mm8
-	rn6	v5.10	rat genome and annotation for UCSC rn6
-	dm6	v5.10	fly genome and annotation for UCSC dm6
-	hg17	v5.10	human genome and annotation for UCSC hg17
-	rice.IRGSP-1.0	v5.10	rice genome and annotation (rice.IRGSP-1.0)
-	panTro3	v5.10	human genome and annotation for UCSC panTro3
-	xenTro2	v5.10	frog genome and annotation for UCSC xenTro2
-	hg38	v5.10	human genome and annotation for UCSC hg38
-	rheMac8	v5.10	rhesus genome and annotation for UCSC rheMac8
-	apiMel2	v5.10	bee genome and annotation for UCSC apiMel2
-	ci2	v5.10	ciona genome and annotation for UCSC ci2
-	ce6	v5.10	worm genome and annotation for UCSC ce6
-	petMar2	v5.10	lamprey genome and annotation for UCSC petMar2
-	corn.AGPv3	v5.10	corn genome and annotation (corn.AGPv3)
-	danRer10	v5.10	zebrafish genome and annotation for UCSC danRer10
-	panPan1	v5.10	human genome and annotation for UCSC panPan1
-	danRer7	v5.10	zebrafish genome and annotation for UCSC danRer7
-	xenTro3	v5.10	frog genome and annotation for UCSC xenTro3
-	rheMac3	v5.10	rhesus genome and annotation for UCSC rheMac3
-	ce10	v5.10	worm genome and annotation for UCSC ce10
-	hg19	v5.10	human genome and annotation for UCSC hg19
-	strPur2	v5.10	urchin genome and annotation for UCSC strPur2
-	patens.ASM242v1	v5.10	patens genome and annotation (patens.ASM242v1)
-	mm9	v5.10	mouse genome and annotation for UCSC mm9
-	rn5	v5.10	rat genome and annotation for UCSC rn5
-	AGPv3	v5.10	corn genome and annotation (AGPv3)
-	anoGam1	v5.10	mosquito genome and annotation for UCSC anoGam1
-	rheMac2	v5.10	rhesus genome and annotation for UCSC rheMac2
-	aplCal1	v5.10	seahare genome and annotation for UCSC aplCal1
-	papAnu2	v5.10	human genome and annotation for UCSC papAnu2
-	susScr3	v5.10	pig genome and annotation for UCSC susScr3
-	sacCer2	v5.10	yeast genome and annotation for UCSC sacCer2
-	gorGor4	v5.10	human genome and annotation for UCSC gorGor4
-	canFam3	v5.10	dog genome and annotation for UCSC canFam3
-	taeGut2	v5.10	zebrafinch genome and annotation for UCSC taeGut2
-	rn4	v5.10	rat genome and annotation for UCSC rn4
-	gorGor5	v5.10	human genome and annotation for UCSC gorGor5
SETTINGS

Convert/usr/bin/convert

Version: ImageMagick 6.8.9-9 Q16 x86_64 2017-07-31 http://www.imagemagick.org
Copyright: Copyright (C) 1999-2014 ImageMagick Studio LLC
Features: DPC Modules OpenMP
Delegates: bzlib cairo djvu fftw fontconfig freetype jbig jng jpeg lcms lqr ltdl lzma openexr pangocairo png rsvg tiff wmf x xml zlib

Coqc/usr/bin/coqc

The Coq Proof Assistant, version 8.4pl4 (November 2015)
compiled on Nov 04 2015 12:56:53 with OCaml 4.02.3

Cpp/usr/bin/cpp

cpp (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609
Copyright (C) 2015 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Csdp/usr/bin/csdp

CSDP 6.1.1
 
Usage: 

csdp <input problem> [<final solution>] [<initial solution>]

Cvs/usr/bin/cvs

Concurrent Versions System (CVS) 1.12.13-MirDebian-11 (client/server)

Copyright (C) 2005 Free Software Foundation, Inc.

Portions contributed by Thorsten Glaser for the MirOS Project.
Senior active maintainers include Larry Jones, Derek R. Price,
and Mark D. Baushke.  Please see the AUTHORS and README files from the CVS
distribution kit for a complete list of contributors and copyrights.

CVS may be copied only under the terms of the GNU General Public License,
a copy of which can be found with the CVS distribution kit.

Specify the --help option for further information about CVS

Cython/usr/local/bin/cython

Cython version 0.27.3

Diff3/usr/bin/diff3

diff3 (GNU diffutils) 3.3
Copyright (C) 2013 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Randy Smith.

Docbook2Pdf/usr/bin/docbook2pdf

DocBook-utils version 0.6.14 (jw version 1.1)

Dot/usr/bin/dot

dot - graphviz version 2.38.0 (20140413.2041)

Dotty/usr/bin/dotty

dotty version 96c (09-24-96)
Error: Can't open display: 

Dvips/usr/bin/dvips

This is dvips(k) 5.995 Copyright 2015 Radical Eye Software
kpathsea version 6.2.1
Copyright 2015 Radical Eye Software.
There is NO warranty.  You may redistribute this software
under the terms of the GNU General Public License
and the Dvips copyright.
For more information about these matters, see the files
named COPYING and dvips.h.
Primary author of Dvips: T. Rokicki.

Ed/bin/ed

GNU Ed 1.10
Copyright (C) 1994 Andrew L. Moore.
Copyright (C) 2014 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Elmersolver/usr/bin/ElmerSolver

ELMER SOLVER (v 6.1) STARTED AT: 2018/05/09 12:20:37
MAIN: 
MAIN: =============================================================
MAIN: ElmerSolver finite element software, Welcome!
MAIN: This program is free software; you can redistribute it and/or
MAIN: modify it under the terms of the GNU General Public License
MAIN: Copyright 1st April 1995 - , CSC - IT Center for Science Ltd.
MAIN: Webpage http://www.csc.fi/elmer, Email [email protected]
MAIN: Library version: 6.1 (Rev: 5272)
MAIN:  HYPRE library linked in.
MAIN:  MUMPS library linked in.
MAIN: =============================================================
SOLVER TOTAL TIME(CPU,REAL):         0.00        0.00
ELMER SOLVER FINISHED AT: 2018/05/09 12:20:37

Emacs/usr/bin/emacs

GNU Emacs 24.5.1
Copyright (C) 2015 Free Software Foundation, Inc.
GNU Emacs comes with ABSOLUTELY NO WARRANTY.
You may redistribute copies of Emacs
under the terms of the GNU General Public License.
For more information about these matters, see the file named COPYING.

Emacs24/usr/bin/emacs24

GNU Emacs 24.5.1
Copyright (C) 2015 Free Software Foundation, Inc.
GNU Emacs comes with ABSOLUTELY NO WARRANTY.
You may redistribute copies of Emacs
under the terms of the GNU General Public License.
For more information about these matters, see the file named COPYING.

Emacs25/usr/bin/emacs25

GNU Emacs 25.3.2
Copyright (C) 2017 Free Software Foundation, Inc.
GNU Emacs comes with ABSOLUTELY NO WARRANTY.
You may redistribute copies of GNU Emacs
under the terms of the GNU General Public License.
For more information about these matters, see the file named COPYING.

Encfs/usr/bin/encfs

encfs version 1.8.1

Erb/usr/bin/erb

erb.rb [2.1.0 $]

F2Py/usr/local/bin/f2py

2

F77/usr/bin/f77

GNU Fortran (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609
Copyright (C) 2015 Free Software Foundation, Inc.

GNU Fortran comes with NO WARRANTY, to the extent permitted by law.
You may redistribute copies of GNU Fortran
under the terms of the GNU General Public License.
For more information about these matters, see the file named COPYING

F95/usr/bin/f95

GNU Fortran (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609
Copyright (C) 2015 Free Software Foundation, Inc.

GNU Fortran comes with NO WARRANTY, to the extent permitted by law.
You may redistribute copies of GNU Fortran
under the terms of the GNU General Public License.
For more information about these matters, see the file named COPYING

Feynmf/usr/bin/feynmf

This is feynmf: $Id: feynmf.pl,v 1.5 1996/12/02 01:38:45 ohl Exp $

Firefox/usr/bin/firefox

Mozilla Firefox 59.0.2

Fish/usr/bin/fish

fish, version 2.2.0

Flex/usr/bin/flex

flex 2.6.0

Gap/ext/bin/gap

 ┌───────┐   GAP 4.8.6, 12-Nov-2016, build of 2017-12-08 23:40:57 (UTC)
 │  GAP  │   http://www.gap-system.org
 └───────┘   Architecture: x86_64-pc-linux-gnu-gcc-default64
 Libs used:  gmp, readline
 Loading the library and packages ...
 Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
 Packages:   GAPDoc 1.5.1
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> 

Gap-Sage/usr/local/bin/gap-sage

 ┌───────┐   GAP 4.8.6, 12-Nov-2016, build of 2017-12-08 23:40:57 (UTC)
 │  GAP  │   http://www.gap-system.org
 └───────┘   Architecture: x86_64-pc-linux-gnu-gcc-default64
 Libs used:  gmp, readline
 Loading the library and packages ...
 Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
 Packages:   GAPDoc 1.5.1
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> 

Gap3/ext/bin/gap3

             ########            Lehrstuhl D fuer Mathematik, RWTH Aachen
           ###    ####             #######            #########
          ##         ##           #      ##          ## #     ##
         ##          #           #       ##             #      ##
        ##           #           ##       #             #      ##
        ####        ##            #########             #######
         #####     ###  Version 3 Release 4.4 18 Apr 97 #
           ######### #                                  # Martin Schoenert
                    ##  Alice Niemeyer, Werner Nickel   # Erzsebet Horvath
                   ###  Bettina Eick,   Frank Celler,   # Udo Polis
                  ## #  Johannes Meier, Alex Wegner,    # Goetz Pfeiffer
                 ##  #  Juergen Mnich,  Thomas Breuer   # Heiko Theissen
                ##   #  Hans U. Besche, Volkmar Felsch  # Ansgar Kaup
               ##    #  Akos Seress,    Alexander Hulpke, Thomas Bischops
              ##    ##  
               ######   For help enter: ?<return>
 lib: 29 May 2017, src: 22 feb 2017, sys: linux gcc64
 for this GAP3 distribution see webusers.imj-prg.fr/~jmichel/gap3
--- Loading package arep -------- version 1.0 of 1998 Jul 22 ----------------
(C) Sebastian Egner, Markus Pueschel -- Abstract REPresentations
--- Loading package guava ------- version 1.3 -------------------------------
(C) Jasper Cramwinckel, Erik Roijackers, Reinald Baart, Eric Minkes
--- Loading package autag ------- version of 1997 Jan -----------------------
--- Loading package cryst ------- version of 1997 ---------------------------
--- Loading package dce --------- version of 1995 ---------------------------
--- Loading package gliss ------- version 1.0 of 1996 Sep 27 ----------------
(C) Christof Noebauer -- Glissando: small semigroups and near rings
--- Loading package grim -------- version 1.0 -------------------------------
(C) [email protected] -- Groups of Rational and Integer Matrices
--- Loading package matrix ------ version 1.0 -------------------------------
(C) Frank Celler, Derek Holt, Charles Leedham-Green, Alice Niemeyer
    Eamon O'Brien, Cheryl Praeger, Anthony Pye, Sarah Rees
--- Loading package monoid ------ version 2.2 -------------------------------
--- Loading package xmod -------- version 1.3.1 of 1997 Jan -----------------
(C) Chris Wensley, Murat Alp -- Crossed-modules, Cat1-groups
--- Loading package algebra ----- version of 2010 Oct -----------------------
(C) C'edric Bonnaf'e -- Finite dimensional algebras
--- Loading package specht ------ version 3.1 - unofficial (development) ----
    Decomposition numbers of Hecke algebras of type A and q-Schur algebras.
(C) Andrew Mathas  [email protected]     Sydney
--- Loading package chevie ------ version of 2017 Jun 30 --------------------
    If you use CHEVIE in your work please cite the authors as follows:
    [Jean Michel] The development version of the CHEVIE package of GAP3
     Journal of algebra 435 (2015) 308--336
    [Meinolf Geck, Gerhard Hiss, Frank Luebeck, Gunter Malle, Goetz Pfeiffer]
     CHEVIE -- a system for computing and processing generic character tables
     Applicable Algebra in Engineering Comm. and Computing 7 (1996) 175--210
--- Loading package vkcurve ----- version 1.2 of 2009 Mar -------------------
(C) David Bessis, Jean Michel -- compute Pi_1 of hypersurface complements
gap> 

Gcc/usr/bin/gcc

gcc (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609
Copyright (C) 2015 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Gfortran/usr/bin/gfortran

GNU Fortran (Ubuntu 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609
Copyright (C) 2015 Free Software Foundation, Inc.

GNU Fortran comes with NO WARRANTY, to the extent permitted by law.
You may redistribute copies of GNU Fortran
under the terms of the GNU General Public License.
For more information about these matters, see the file named COPYING

Ghc/opt/ghc/bin/ghc

The Glorious Glasgow Haskell Compilation System, version 8.4.1

Giac/usr/bin/giac

// Using locale /usr/share/locale/
// C.UTF-8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 4
1.4.9

Git/usr/bin/git

git version 2.7.4

Git-Trac/usr/local/bin/git-trac

usage: git-trac [-h] [--debug] [--log LOG]
                {create,checkout,search,fetch,pull,push,get,depends,print,browse,review,find,try,log,config,cheat-sheet,help}
                ...

The trac command extension for git

positional arguments:
  {create,checkout,search,fetch,pull,push,get,depends,print,browse,review,find,try,log,config,cheat-sheet,help}
    create              Create new ticket
    checkout            Download branch
    search              Search trac
    fetch               Fetch branch from trac ticket
    pull                Get updates
    push                Upload changes
    get                 Print trac page
    depends             Print trac dependencies
    print               Print trac page
    browse              Open trac page in browser
    review              Show code to review
    find                Find trac ticket from SHA1
    try                 Try out trac ticket in "detached HEAD"
    log                 Commit log for ticket
    config              Configure git-trac
    cheat-sheet         Show the git trac cheat sheet
    help                Show the git trac help

optional arguments:
  -h                    show this help message and exit
  --debug               debug
  --log LOG             one of [DEBUG, INFO, ERROR, WARNING, CRITICAL]

Go/usr/bin/go

go version go1.10 linux/amd64

Google-Chrome/usr/bin/google-chrome

Google Chrome 65.0.3325.181 

Gp/usr/bin/gp

                                                                                      GP/PARI CALCULATOR Version 2.7.5 (released)
                                                                              amd64 running linux (x86-64/GMP-6.0.0 kernel) 64-bit version
                                                                      compiled: Nov 10 2015, gcc version 5.2.1 20151028 (Ubuntu 5.2.1-23ubuntu1) 
                                                                                               threading engine: pthread
                                                                                    (readline v6.3 disabled, extended help enabled)

Gradle/usr/bin/gradle

Picked up _JAVA_OPTIONS: -Djava.io.tmpdir=/home/user/tmp/ -Xms64m

------------------------------------------------------------
Gradle 4.6
------------------------------------------------------------

Build time:   2018-02-28 13:36:36 UTC
Revision:     8fa6ce7945b640e6168488e4417f9bb96e4ab46c

Groovy:       2.4.12
Ant:          Apache Ant(TM) version 1.9.9 compiled on February 2 2017
JVM:          1.8.0_151 (Oracle Corporation 25.151-b12)
OS:           Linux 4.13.0-1011-gcp amd64

Gst/usr/bin/gst

GNU Smalltalk version 3.2.5
Copyright 2009 Free Software Foundation, Inc.
Written by Steve Byrne ([email protected]) and Paolo Bonzini ([email protected])

GNU Smalltalk comes with NO WARRANTY, to the extent permitted by law.
You may redistribute copies of GNU Smalltalk under the terms of the
GNU General Public License.  For more information, see the file named
COPYING.

Using default kernel path: /usr/share/gnu-smalltalk/kernel
Using default image path: /usr/lib/gnu-smalltalk

H5Dump/usr/bin/h5dump

h5dump: Version 1.8.16

H5Math/usr/bin/h5math

h5totxt 1.12.1 by Steven G. Johnson
Copyright (c) 1999-2009 Massachusetts Institute of Technology

Permission is hereby granted, free of charge, to any person obtaining
a copy of this software and associated documentation files (the
"Software"), to deal in the Software without restriction, including
without limitation the rights to use, copy, modify, merge, publish,
distribute, sublicense, and/or sell copies of the Software, and to
permit persons to whom the Software is furnished to do so, subject to
the following conditions:

The above copyright notice and this permission notice shall be
included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

Haskell-Compiler/usr/bin/haskell-compiler

The Glorious Glasgow Haskell Compilation System, version 7.10.3

Head/usr/bin/head

mglconv convert mgl script to bitmap png file.
Current version is 2.3.3

Hg/usr/bin/hg

Mercurial Distributed SCM (version 3.7.3)
(see https://mercurial-scm.org for more information)

Copyright (C) 2005-2016 Matt Mackall and others
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Htop/usr/bin/htop

htop 2.0.1 - (C) 2004-2016 Hisham Muhammad
Released under the GNU GPL.

Inkscape/usr/bin/inkscape

Inkscape 0.91 r13725

Ipython/usr/local/bin/ipython

5.6.0

Ipython3/usr/local/bin/ipython3

6.3.1

Jags/usr/bin/jags

Welcome to JAGS 4.2.0 on Wed May  9 12:21:13 2018
JAGS is free software and comes with ABSOLUTELY NO WARRANTY
Loading module: basemod: ok
Loading module: bugs: ok

Java/usr/bin/java

Picked up _JAVA_OPTIONS: -Djava.io.tmpdir=/home/user/tmp/ -Xms64m
openjdk version "1.8.0_151"
OpenJDK Runtime Environment (build 1.8.0_151-8u151-b12-0ubuntu0.16.04.2-b12)
OpenJDK 64-Bit Server VM (build 25.151-b12, mixed mode)

Julia/ext/bin/julia

julia version 0.6.2

Jupyter/usr/local/bin/jupyter

5.3.1

Jupyter-Lab/usr/local/bin/jupyter-lab

0.31.12

Jupyter-Notebook/usr/local/bin/jupyter-notebook

5.4.1

Jupyterhub/usr/local/bin/jupyterhub

0.8.1

Latex/usr/bin/latex

pdfTeX 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian)
kpathsea version 6.2.1
Copyright 2015 Peter Breitenlohner (eTeX)/Han The Thanh (pdfTeX).
There is NO warranty.  Redistribution of this software is
covered by the terms of both the pdfTeX copyright and
the Lesser GNU General Public License.
For more information about these matters, see the file
named COPYING and the pdfTeX source.
Primary author of pdfTeX: Peter Breitenlohner (eTeX)/Han The Thanh (pdfTeX).
Compiled with libpng 1.6.17; using libpng 1.6.17
Compiled with zlib 1.2.8; using zlib 1.2.8
Compiled with poppler version 0.41.0

Latexmk/usr/bin/latexmk

Latexmk, John Collins, 1 January 2015. Version 4.41

Lean/ext/bin/lean

Lean (version 3.4.1, commit 17fe3decaf8a, Release)

Libreoffice/usr/bin/libreoffice

LibreOffice 5.1.6.2 10m0(Build:2)

Lilypond/usr/bin/lilypond

GNU LilyPond 2.18.2

Copyright (c) 1996--2012 by
  Han-Wen Nienhuys <[email protected]>
  Jan Nieuwenhuizen <[email protected]>
  and others.

This program is free software.  It is covered by the GNU General Public
License and you are welcome to change it and/or distribute copies of it
under certain conditions.  Invoke as `lilypond --warranty' for more
information.

Lneato/usr/bin/lneato

lneato version 95 (04-18-95)
Error: Can't open display: 

Lrzip/usr/bin/lrzip

lrzip version 0.621

Lua/usr/bin/lua

Lua 5.2.4  Copyright (C) 1994-2015 Lua.org, PUC-Rio

Lzma/usr/bin/lzma

xz (XZ Utils) 5.1.0alpha
liblzma 5.1.0alpha

M2/usr/bin/M2

1.10

M4/usr/bin/m4

m4 (GNU M4) 1.4.17
Copyright (C) 2013 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Rene' Seindal.

Make/usr/bin/make

GNU Make 4.1
Built for x86_64-pc-linux-gnu
Copyright (C) 1988-2014 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Markdown/usr/bin/markdown

This is Markdown, version 1.0.1.
Copyright 2004 John Gruber
http://daringfireball.net/projects/markdown/

Maxima/ext/bin/maxima

;;; Loading #P"/ext/sage/sage-8.1/local/lib/ecl/sb-bsd-sockets.fas"
;;; Loading #P"/ext/sage/sage-8.1/local/lib/ecl/sockets.fas"
;;; Loading #P"/ext/sage/sage-8.1/local/lib/ecl/defsystem.fas"
;;; Loading #P"/ext/sage/sage-8.1/local/lib/ecl/cmp.fas"
Maxima 5.39.0

Maxima-Sage/usr/local/bin/maxima-sage

;;; Loading #P"/ext/sage/sage-8.1/local/lib/ecl/sb-bsd-sockets.fas"
;;; Loading #P"/ext/sage/sage-8.1/local/lib/ecl/sockets.fas"
;;; Loading #P"/ext/sage/sage-8.1/local/lib/ecl/defsystem.fas"
;;; Loading #P"/ext/sage/sage-8.1/local/lib/ecl/cmp.fas"
Maxima 5.39.0

Mc/usr/bin/mc

GNU Midnight Commander 4.8.15
Built with GLib 2.47.3
Using the S-Lang library with terminfo database
With builtin Editor
With subshell support as default
With support for background operations
With mouse support on xterm and Linux console
With support for X11 events
With internationalization support
With multiple codepages support
Virtual File Systems: cpiofs, tarfs, sfs, extfs, ext2undelfs, ftpfs, sftpfs, fish
Data types: char: 8; int: 32; long: 64; void *: 64; size_t: 64; off_t: 64;

Mongod/usr/bin/mongod

db version v3.6.3
git version: 9586e557d54ef70f9ca4b43c26892cd55257e1a5
OpenSSL version: OpenSSL 1.0.2g  1 Mar 2016
allocator: tcmalloc
modules: none
build environment:
    distmod: ubuntu1604
    distarch: x86_64
    target_arch: x86_64

Mono/usr/bin/mono

Mono JIT compiler version 4.2.1 (Debian 4.2.1.102+dfsg2-7ubuntu4)
Copyright (C) 2002-2014 Novell, Inc, Xamarin Inc and Contributors. www.mono-project.com
	TLS:           __thread
	SIGSEGV:       altstack
	Notifications: epoll
	Architecture:  amd64
	Disabled:      none
	Misc:          softdebug 
	LLVM:          supported, not enabled.
	GC:            sgen

Mpiexec/usr/bin/mpiexec

HYDRA build details:
    Version:                                 3.2
    Release Date:                            Wed Nov 11 22:06:48 CST 2015
    CC:                              gcc   -Wl,-Bsymbolic-functions -Wl,-z,relro 
    CXX:                             g++   -Wl,-Bsymbolic-functions -Wl,-z,relro 
    F77:                             gfortran  -Wl,-Bsymbolic-functions -Wl,-z,relro 
    F90:                             gfortran  -Wl,-Bsymbolic-functions -Wl,-z,relro 
    Configure options:                       '--disable-option-checking' '--prefix=/usr' '--build=x86_64-linux-gnu' '--includedir=${prefix}/include' '--mandir=${prefix}/share/man' '--infodir=${prefix}/share/info' '--sysconfdir=/etc' '--localstatedir=/var' '--disable-silent-rules' '--libdir=${prefix}/lib/x86_64-linux-gnu' '--libexecdir=${prefix}/lib/x86_64-linux-gnu' '--disable-maintainer-mode' '--disable-dependency-tracking' '--enable-shared' '--enable-fortran=all' '--disable-rpath' '--disable-wrapper-rpath' '--sysconfdir=/etc/mpich' '--libdir=/usr/lib/x86_64-linux-gnu' '--includedir=/usr/include/mpich' '--docdir=/usr/share/doc/mpich' '--with-hwloc-prefix=system' '--enable-checkpointing' '--with-hydra-ckpointlib=blcr' 'CPPFLAGS= -Wdate-time -D_FORTIFY_SOURCE=2 -I/build/mpich-jQtQ8p/mpich-3.2/src/mpl/include -I/build/mpich-jQtQ8p/mpich-3.2/src/mpl/include -I/build/mpich-jQtQ8p/mpich-3.2/src/openpa/src -I/build/mpich-jQtQ8p/mpich-3.2/src/openpa/src -D_REENTRANT -I/build/mpich-jQtQ8p/mpich-3.2/src/mpi/romio/include' 'CFLAGS= -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -O2' 'CXXFLAGS= -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -O2' 'FFLAGS= -g -O2 -fstack-protector-strong -O2' 'FCFLAGS= -g -O2 -fstack-protector-strong -O2' 'build_alias=x86_64-linux-gnu' 'MPICHLIB_CFLAGS=-g -O2 -fstack-protector-strong -Wformat -Werror=format-security' 'MPICHLIB_CPPFLAGS=-Wdate-time -D_FORTIFY_SOURCE=2' 'MPICHLIB_CXXFLAGS=-g -O2 -fstack-protector-strong -Wformat -Werror=format-security' 'MPICHLIB_FFLAGS=-g -O2 -fstack-protector-strong' 'MPICHLIB_FCFLAGS=-g -O2 -fstack-protector-strong' 'LDFLAGS=-Wl,-Bsymbolic-functions -Wl,-z,relro' 'FC=gfortran' 'F77=gfortran' 'MPILIBNAME=mpich' '--cache-file=/dev/null' '--srcdir=.' 'CC=gcc' 'LIBS=-lpthread '
    Process Manager:                         pmi
    Launchers available:                     ssh rsh fork slurm ll lsf sge manual persist
    Topology libraries available:            hwloc
    Resource management kernels available:   user slurm ll lsf sge pbs cobalt
    Checkpointing libraries available:       blcr
    Demux engines available:                 poll select

Nano/bin/nano

 GNU nano, version 2.5.3
 (C) 1999..2016 Free Software Foundation, Inc.
 Email: [email protected]	Web: http://www.nano-editor.org/
 Compiled options: --disable-libmagic --disable-wrapping-as-root --enable-utf8

Nbgrader/usr/local/bin/nbgrader

Python version 3.5.2 (default, Nov 23 2017, 16:37:01) 
[GCC 5.4.0 20160609]
nbgrader version 0.5.4

Nim/usr/bin/nim

Nim Compiler Version 0.12.0 (2015-11-02) [Linux: amd64]
Copyright (c) 2006-2015 by Andreas Rumpf

active boot switches: -d:release

Nodejs/usr/bin/nodejs

v8.11.1

Nosetests/usr/bin/nosetests

nosetests version 1.3.7

Npm/usr/bin/npm

6.0.0

Ocaml/usr/bin/ocaml

The OCaml toplevel, version 4.02.3

Octave/usr/local/bin/octave

octave: X11 DISPLAY environment variable not set
octave: disabling GUI features
GNU Octave, version 4.2.2
Copyright (C) 2018 John W. Eaton and others.
This is free software; see the source code for copying conditions.
There is ABSOLUTELY NO WARRANTY; not even for MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.

Octave was configured for "x86_64-pc-linux-gnu".

Additional information about Octave is available at http://www.octave.org.

Please contribute if you find this software useful.
For more information, visit http://www.octave.org/get-involved.html

Read http://www.octave.org/bugs.html to learn how to submit bug reports.

Open-Axiom/usr/bin/open-axiom

OpenAxiom 1.5.0-2013-06-21

Pdflatex/usr/bin/pdflatex

pdfTeX 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian)
kpathsea version 6.2.1
Copyright 2015 Peter Breitenlohner (eTeX)/Han The Thanh (pdfTeX).
There is NO warranty.  Redistribution of this software is
covered by the terms of both the pdfTeX copyright and
the Lesser GNU General Public License.
For more information about these matters, see the file
named COPYING and the pdfTeX source.
Primary author of pdfTeX: Peter Breitenlohner (eTeX)/Han The Thanh (pdfTeX).
Compiled with libpng 1.6.17; using libpng 1.6.17
Compiled with zlib 1.2.8; using zlib 1.2.8
Compiled with poppler version 0.41.0

Pdftk/usr/bin/pdftk

pdftk 2.02 a Handy Tool for Manipulating PDF Documents
Copyright (c) 2003-13 Steward and Lee, LLC - Please Visit: www.pdftk.com
This is free software; see the source code for copying conditions. There is
NO warranty, not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Perl/usr/bin/perl

This is perl 5, version 22, subversion 1 (v5.22.1) built for x86_64-linux-gnu-thread-multi
(with 60 registered patches, see perl -V for more detail)

Copyright 1987-2015, Larry Wall

Perl may be copied only under the terms of either the Artistic License or the
GNU General Public License, which may be found in the Perl 5 source kit.

Complete documentation for Perl, including FAQ lists, should be found on
this system using "man perl" or "perldoc perl".  If you have access to the
Internet, point your browser at http://www.perl.org/, the Perl Home Page.

Php/usr/bin/php

PHP 7.0.25-0ubuntu0.16.04.1 (cli) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.0.0, Copyright (c) 1998-2017 Zend Technologies
    with Zend OPcache v7.0.25-0ubuntu0.16.04.1, Copyright (c) 1999-2017, by Zend Technologies

Phylip/ext/anaconda3/bin/phylip

Starting main
running main
['/ext/anaconda3/bin/phylip', 'test']
/ext/anaconda3/share/phylip-3.696-3/exe
testing dnapars...
passed; cleaning up
testing dnaml...
passed; cleaning up
testing dnadist...
passed; cleaning up
testing dnapenny...
passed; cleaning up
testing dnacomp...
passed; cleaning up
testing dnamlk...
passed; cleaning up
testing protpars...
passed; cleaning up
testing protdist...
passed; cleaning up
testing proml...
passed; cleaning up
testing promlk...
passed; cleaning up
testing pars...
passed; cleaning up
testing penny...
passed; cleaning up
testing dollop...
passed; cleaning up
testing dolpenny...
passed; cleaning up
testing clique...
passed; cleaning up
testing mix...
passed; cleaning up
testing restml...
passed; cleaning up
testing restdist...
passed; cleaning up
testing fitch...
passed; cleaning up
testing kitsch...
passed; cleaning up
testing neighbor...
passed; cleaning up
testing drawtree...
passed; cleaning up
testing drawgram...
passed; cleaning up

Pip2/usr/local/bin/pip2

pip 9.0.1 from /usr/local/lib/python2.7/dist-packages (python 2.7)

Pip3/usr/local/bin/pip3

pip 9.0.1 from /usr/local/lib/python3.5/dist-packages (python 3.5)

Plink/usr/bin/plink

@[email protected]
|        PLINK!       |     v1.07      |   10/Aug/2009     |
|----------------------------------------------------------|
|  (C) 2009 Shaun Purcell, GNU General Public License, v2  |
|----------------------------------------------------------|
|  For documentation, citation & bug-report instructions:  |
|        http://pngu.mgh.harvard.edu/purcell/plink/        |
@[email protected]

Skipping web check... [ --noweb ] 
Writing this text to log file [ plink.log ]
Analysis started: Wed May  9 12:21:20 2018

Options in effect:
	--noweb

Before frequency and genotyping pruning, there are 0 SNPs
0 founders and 0 non-founders found
0 SNPs failed missingness test ( GENO > 1 )
0 SNPs failed frequency test ( MAF < 0 )
After frequency and genotyping pruning, there are 0 SNPs

ERROR: Stopping as there are no SNPs left for analysis

Polymake/usr/bin/polymake

polymake version 3.0
Copyright (c) 1997-2015
Ewgenij Gawrilow, Michael Joswig (TU Berlin)
http://www.polymake.org

This is free software licensed under GPL; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Primesieve/usr/local/bin/primesieve

primesieve 5.4.1, <http://primesieve.org>
Copyright (C) 2014 Kim Walisch
BSD 2-Clause License <http://opensource.org/licenses/BSD-2-Clause>

Prolog/usr/bin/prolog

SWI-Prolog version 7.2.3 for amd64

Py.Test/usr/local/bin/py.test

This is pytest version 3.3.2, imported from /usr/local/lib/python3.5/dist-packages/pytest.py
setuptools registered plugins:
  pytest-xdist-1.22.0 at /usr/local/lib/python3.5/dist-packages/xdist/looponfail.py
  pytest-xdist-1.22.0 at /usr/local/lib/python3.5/dist-packages/xdist/plugin.py
  pytest-variables-1.7.1 at /usr/local/lib/python3.5/dist-packages/pytest_variables/plugin.py
  pytest-timeout-1.2.1 at /usr/local/lib/python3.5/dist-packages/pytest_timeout.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/internet_explorer.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/chrome.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/firefox.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/crossbrowsertesting.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/remote.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/safari.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/browserstack.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/edge.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/saucelabs.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/safety.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/testingbot.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/pytest_selenium.py
  pytest-selenium-1.11.4 at /usr/local/lib/python3.5/dist-packages/pytest_selenium/drivers/phantomjs.py
  pytest-repeat-0.4.1 at /usr/local/lib/python3.5/dist-packages/pytest_repeat.py
  pytest-param-0.1.1 at /usr/local/lib/python3.5/dist-packages/pytest_param.py
  pytest-mock-1.6.3 at /usr/local/lib/python3.5/dist-packages/pytest_mock.py
  pytest-metadata-1.5.1 at /usr/local/lib/python3.5/dist-packages/pytest_metadata/plugin.py
  pytest-ipynb-1.1.0 at /usr/local/lib/python3.5/dist-packages/pytest_ipynb/plugin.py
  pytest-html-1.16.1 at /usr/local/lib/python3.5/dist-packages/pytest_html/plugin.py
  pytest-forked-0.2 at /usr/local/lib/python3.5/dist-packages/pytest_forked/__init__.py
  pytest-cov-2.5.1 at /usr/local/lib/python3.5/dist-packages/pytest_cov/plugin.py
  pytest-base-url-1.4.1 at /usr/local/lib/python3.5/dist-packages/pytest_base_url/plugin.py

Pypy/usr/bin/pypy

Python 2.7.13 (5.10.0+dfsg-2~ppa1~ubuntu16.04, Dec 29 2017, 17:57:59)
[PyPy 5.10.0 with GCC 5.4.0 20160609]

Python/ext/anaconda3/bin/python

Python 3.5.5

Python2/usr/bin/python2

Python 2.7.12

Python3/usr/bin/python3

Python 3.5.2

R/usr/bin/R

R version 3.4.3 (2017-11-30) -- "Kite-Eating Tree"
Copyright (C) 2017 The R Foundation for Statistical Computing
Platform: x86_64-pc-linux-gnu (64-bit)

R is free software and comes with ABSOLUTELY NO WARRANTY.
You are welcome to redistribute it under the terms of the
GNU General Public License versions 2 or 3.
For more information about these matters see
http://www.gnu.org/licenses/.

R-Sage/usr/local/bin/R-sage

R version 3.4.2 (2017-09-28) -- "Short Summer"
Copyright (C) 2017 The R Foundation for Statistical Computing
Platform: x86_64-pc-linux-gnu (64-bit)

R is free software and comes with ABSOLUTELY NO WARRANTY.
You are welcome to redistribute it under the terms of the
GNU General Public License versions 2 or 3.
For more information about these matters see
http://www.gnu.org/licenses/.

Ros/usr/bin/ros

roswell 18.3.10.89

Rscript/usr/bin/Rscript

R scripting front-end version 3.4.3 (2017-11-30)

Rsync/usr/bin/rsync

rsync  version 3.1.1  protocol version 31
Copyright (C) 1996-2014 by Andrew Tridgell, Wayne Davison, and others.
Web site: http://rsync.samba.org/
Capabilities:
    64-bit files, 64-bit inums, 64-bit timestamps, 64-bit long ints,
    socketpairs, hardlinks, symlinks, IPv6, batchfiles, inplace,
    append, ACLs, xattrs, iconv, symtimes, prealloc

rsync comes with ABSOLUTELY NO WARRANTY.  This is free software, and you
are welcome to redistribute it under certain conditions.  See the GNU
General Public Licence for details.

Ruby/usr/bin/ruby

ruby 2.3.1p112 (2016-04-26) [x86_64-linux-gnu]

Rustc/usr/bin/rustc

rustc 1.22.1

Sage/ext/bin/sage

SageMath version 8.1, Release Date: 2017-12-07

Sage-8.0/ext/bin/sage-8.0

SageMath version 8.0, Release Date: 2017-07-21

Sage-8.1/ext/bin/sage-8.1

SageMath version 8.1, Release Date: 2017-12-07

Samtools/ext/anaconda3/bin/samtools

samtools 1.7
Using htslib 1.7
Copyright (C) 2018 Genome Research Ltd.

Sass/usr/bin/sass

Sass 3.4.21 (Selective Steve)

Sbcl/usr/bin/sbcl

SBCL 1.3.1.debian

Scala/usr/bin/scala

Picked up _JAVA_OPTIONS: -Djava.io.tmpdir=/home/user/tmp/ -Xms64m
Welcome to Scala version 2.11.6 (OpenJDK 64-Bit Server VM, Java 1.8.0_151).
Type in expressions to have them evaluated.
Type :help for more information.

scala> :quit

Scheme/usr/bin/scheme

MIT/GNU Scheme microcode 15.3
Copyright (C) 2011 Massachusetts Institute of Technology
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Image saved on Sunday February 7, 2016 at 10:35:34 AM
  Release 9.1.1     || Microcode 15.3 || Runtime 15.7 || SF 4.41
  LIAR/x86-64 4.118 || Edwin 3.116
Moriturus te saluto.

Scilab-Cli/usr/bin/scilab-cli

Error: unable to open display 
Scilab version "5.5.2.1427793548"
scilab-5.5.2

Scons/usr/bin/scons

SCons by Steven Knight et al.:
	script: v2.4.1.rel_2.4.1:3453:73fefd3ea0b0, 2015/11/09 03:25:05, by bdbaddog on ubuntu1404-32bit
	engine: v2.4.1.rel_2.4.1:3453:73fefd3ea0b0, 2015/11/09 03:25:05, by bdbaddog on ubuntu1404-32bit
	engine path: ['/usr/lib/scons/SCons']
Copyright (c) 2001 - 2015 The SCons Foundation

Sed/bin/sed

sed (GNU sed) 4.2.2
Copyright (C) 2012 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Jay Fenlason, Tom Lord, Ken Pizzini,
and Paolo Bonzini.
GNU sed home page: <http://www.gnu.org/software/sed/>.
General help using GNU software: <http://www.gnu.org/gethelp/>.
E-mail bug reports to: <[email protected]>.
Be sure to include the word ``sed'' somewhere in the ``Subject:'' field.

Sha1Sum/usr/bin/sha1sum

sha1sum (GNU coreutils) 8.25
Copyright (C) 2016 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Ulrich Drepper, Scott Miller, and David Madore.

Singular/usr/bin/Singular

Singular for x86_64-Linux version 4.0.3 (4030, 64 bit) Feb 24 2016 08:43:33 #debian-4.0.3+ds-1
with
	GMP(6.1.0),NTL(6.2.0),FLINT(2.5.2),factory(@(#) factoryVersion = 4.0.1),
	static readline,Plural,DBM,
	dynamic modules,dynamic p_Procs,OM_NDEBUG,SING_NDEBUG,CC:OPTIMIZE,eigenvalues,Gauss-Manin system,random=1525868466
built-in modules: {}
AC_CONFIGURE_ARGS =  '--build=x86_64-linux-gnu' '--prefix=/usr' '--includedir=${prefix}/include' '--mandir=${prefix}/share/man' '--infodir=${prefix}/share/info' '--sysconfdir=/etc' '--localstatedir=/var' '--disable-silent-rules' '--libdir=${prefix}/lib/x86_64-linux-gnu' '--libexecdir=${prefix}/lib/x86_64-linux-gnu' '--disable-maintainer-mode' '--disable-dependency-tracking' 'build_alias=x86_64-linux-gnu' 'CFLAGS=-g -O2 -fstack-protector-strong -Wformat -Werror=format-security' 'LDFLAGS=-Wl,-Bsymbolic-functions -Wl,-z,relro' 'CPPFLAGS=-Wdate-time -D_FORTIFY_SOURCE=2' 'CXXFLAGS=-g -O2 -fstack-protector-strong -Wformat -Werror=format-security' --enable-omalloc  OMALLOC_LIBS='/build/singular-3lRFHd/singular-4.0.3+ds/omalloc/libsingular-omalloc.la' OMALLOC_INCLUDES='-I/build/singular-3lRFHd/singular-4.0.3+ds' --with-Singular RESOURCES_LIBS='/build/singular-3lRFHd/singular-4.0.3+ds/resources/libsingular-resources.la' RESOURCES_INCLUDES='-I/build/singular-3lRFHd/singular-4.0.3+ds ' FACTORY_LIBS='/build/singular-3lRFHd/singular-4.0.3+ds/factory/libsingular-factory.la' FACTORY_INCLUDES='-I/build/singular-3lRFHd/singular-4.0.3+ds -I/build/singular-3lRFHd/singular-4.0.3+ds/factory/include',
CC = gcc,FLAGS : -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wunknown-pragmas -Wno-unused-variable -fomit-frame-pointer -fwrapv -fvisibility=default -finline-functions -fno-exceptions -fno-rtti -fno-threadsafe-statics -fno-enforce-eh-specs -fconserve-space -funroll-loops ,
CXX = g++,FLAGS : -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wunknown-pragmas -Wno-unused-variable -fomit-frame-pointer -fwrapv -fvisibility=default -finline-functions -fno-exceptions -fno-rtti -fno-threadsafe-statics -fno-enforce-eh-specs -fconserve-space -funroll-loops,
DEFS : ,CPPFLAGS : -Wdate-time -D_FORTIFY_SOURCE=2,
LDFLAGS : -Wl,-Bsymbolic-functions -Wl,-z,relro -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wunknown-pragmas -Wno-unused-variable -fomit-frame-pointer -fwrapv -fvisibility=default -finline-functions -fno-exceptions -fno-rtti -fno-threadsafe-statics -fno-enforce-eh-specs -fconserve-space -funroll-loops  -rdynamic -Wl,-undefined,dynamic_lookup,LIBS : -lreadline -ltermcap -lrt -lpthread  (ver: 5.3.1 20160222)
argv[0]   :	Singular
SearchPath:	/usr/bin/../share/singular/LIB:/usr/bin/../share/singular/factory:/usr/lib/x86_64-linux-gnu/singular/MOD:/usr/bin
Singular  :	/usr/bin/Singular
BinDir    :	/usr/bin
ProcDir   :	/usr/lib/x86_64-linux-gnu/singular/MOD
RootDir   :	/usr/bin/..
DataDir   :	/usr/bin/../share
DefaultDir:	/usr
InfoFile  :	
IdxFile   :	
HtmlDir   :	
ManualUrl :	http://www.singular.uni-kl.de/Manual/
ExDir     :	
Path      :	/usr/bin:/usr/lib/x86_64-linux-gnu/singular/MOD:/home/user/smc/src:/home/user/smc/src/smc-hub/scripts:/home/user/smc/src/scripts/storage:/home/user/smc/src/scripts/gce:/home/user/smc/src/scripts/hub:/home/user/smc/src/node_modules/.bin:/home/user/smc/src/scripts:/home/user/bin:/home/user/.local/bin:/opt/ghc/bin:/ext/bin:/cocalc/bin:/cocalc/src/smc-project/bin:/usr/local/bin:/bin:/usr/lib/postgresql/9.6/bin:/ext/data/homer/bin:/ext/data/weblogo:/home/user/.gem/ruby/2.3.0/bin
emacs     :	/usr/bin/emacs
xemacs    :	
SingularEmacs:	/usr/bin/Singular
EmacsLoad :	
EmacsDir  :	
SingularXterm:	/usr/bin/Singular
xterm     :	/usr/bin/xterm
EmacsDir  :	
Available HelpBrowsers: lynx-www, dummy, emacs, 
Current HelpBrowser: lynx-www 
                     SINGULAR                                 /
 A Computer Algebra System for Polynomial Computations       /   version 4.0.3
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Jan 2016
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \  Debian 4.0.3+ds-1
// ** Can not open /dev/null
Auf Wiedersehen.

Singular-Sage/usr/local/bin/Singular-sage

Singular for x86_64-Linux version 4.1.0 (4103, 64 bit) Dec  9 2017 00:19:17 #UNKNOWN_GIT_VERSION
with
	MPIR(3.0.0)~GMP(6.0.0),NTL(10.3.0),FLINT(2.5.2),factory(@(#) factoryVersion = 4.0.1),
	static readline,Plural,DBM,
	dynamic modules,dynamic p_Procs,OM_NDEBUG,SING_NDEBUG,CC:OPTIMIZE,eigenvalues,Gauss-Manin system,random=1525868466
built-in modules: {}
AC_CONFIGURE_ARGS =  '--prefix=/ext/sage/sage-8.1/local' '--exec-prefix=/ext/sage/sage-8.1/local' '--bindir=/ext/sage/sage-8.1/local/bin' '--libdir=/ext/sage/sage-8.1/local/lib' '--with-gmp=/ext/sage/sage-8.1/local' '--with-ntl=/ext/sage/sage-8.1/local' '--with-flint=/ext/sage/sage-8.1/local' '--enable-gfanlib' '--enable-Singular' '--enable-factory' '--disable-doc' '--disable-polymake' 'CC=gcc' 'CFLAGS=-O2 -g ' 'LDFLAGS=-L/ext/sage/sage-8.1/local/lib -Wl,-rpath,/ext/sage/sage-8.1/local/lib ' 'CXX=g++' 'CXXFLAGS=-O2 -g ' --enable-omalloc  OMALLOC_LIBS='/ext/sage/sage-8.1/local/var/tmp/sage/build/singular-4.1.0p3.p0/src/omalloc/libomalloc.la' OMALLOC_INCLUDES='-I/ext/sage/sage-8.1/local/var/tmp/sage/build/singular-4.1.0p3.p0/src' --with-Singular RESOURCES_LIBS='/ext/sage/sage-8.1/local/var/tmp/sage/build/singular-4.1.0p3.p0/src/resources/libsingular_resources.la' RESOURCES_INCLUDES='-I/ext/sage/sage-8.1/local/var/tmp/sage/build/singular-4.1.0p3.p0/src ' FACTORY_LIBS='/ext/sage/sage-8.1/local/var/tmp/sage/build/singular-4.1.0p3.p0/src/factory/libfactory.la' FACTORY_INCLUDES='-I/ext/sage/sage-8.1/local/var/tmp/sage/build/singular-4.1.0p3.p0/src -I/ext/sage/sage-8.1/local/var/tmp/sage/build/singular-4.1.0p3.p0/src/factory/include',
CC = gcc,FLAGS : -O2 -g  -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wunknown-pragmas -Wno-unused-variable -fomit-frame-pointer -fwrapv -fvisibility=default -finline-functions -fno-exceptions -funroll-loops -fno-delete-null-pointer-checks -pthread,
CXX = g++,FLAGS : -O2 -g  -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wunknown-pragmas -Wno-unused-variable -fomit-frame-pointer -fwrapv -fvisibility=default -finline-functions -fno-exceptions -fno-rtti -fno-threadsafe-statics -fno-enforce-eh-specs -fconserve-space -funroll-loops -fno-delete-null-pointer-checks,
DEFS : ,CPPFLAGS : ,
LDFLAGS : -L/ext/sage/sage-8.1/local/lib -Wl,-rpath,/ext/sage/sage-8.1/local/lib  -pipe -fno-common -O3 -Wno-unused-function -Wno-trigraphs -Wno-unused-parameter -Wunknown-pragmas -Wno-unused-variable -fomit-frame-pointer -fwrapv -fvisibility=default -finline-functions -fno-exceptions -funroll-loops -fno-delete-null-pointer-checks  -rdynamic -Wl,-undefined,dynamic_lookup,LIBS : -lreadline -ltermcap -lrt -lpthread  (ver: 5.4.0 20160609)
argv[0]   :	Singular
SearchPath:	/ext/sage/sage-8.1/local/share/singular:/ext/sage/sage-8.1/local/bin/../share/singular/LIB:/ext/sage/sage-8.1/local/bin/../share/factory:/ext/sage/sage-8.1/local/bin/../libexec/singular/MOD:/ext/sage/sage-8.1/local/libexec/singular/MOD:/ext/sage/sage-8.1/local/bin
Singular  :	/ext/sage/sage-8.1/local/bin/Singular
BinDir    :	/ext/sage/sage-8.1/local/bin
ProcDir   :	/ext/sage/sage-8.1/local/bin/../libexec/singular/MOD:/ext/sage/sage-8.1/local/libexec/singular/MOD
RootDir   :	/ext/sage/sage-8.1/local/bin/..
DataDir   :	/ext/sage/sage-8.1/local/bin/../share
DefaultDir:	/ext/sage/sage-8.1/local
InfoFile  :	/ext/sage/sage-8.1/local/bin/../share/info/singular.hlp
IdxFile   :	/ext/sage/sage-8.1/local/bin/../share/singular/singular.idx
HtmlDir   :	/ext/sage/sage-8.1/local/bin/../share/singular/html
ManualUrl :	http://www.singular.uni-kl.de/Manual/
ExDir     :	
Path      :	/ext/sage/sage-8.1/local/bin:/ext/sage/sage-8.1/local/bin/../libexec/singular/MOD:/ext/sage/sage-8.1/local/libexec/singular/MOD:/ext/sage/sage-8.1/build/bin:/ext/sage/sage-8.1/src/bin:/home/user/smc/src:/home/user/smc/src/smc-hub/scripts:/home/user/smc/src/scripts/storage:/home/user/smc/src/scripts/gce:/home/user/smc/src/scripts/hub:/home/user/smc/src/node_modules/.bin:/home/user/smc/src/scripts:/home/user/bin:/home/user/.local/bin:/opt/ghc/bin:/ext/bin:/cocalc/bin:/cocalc/src/smc-project/bin:/usr/local/bin:/usr/bin:/bin:/usr/lib/postgresql/9.6/bin:/ext/data/homer/bin:/ext/data/weblogo:/home/user/.gem/ruby/2.3.0/bin
emacs     :	/usr/bin/emacs24-x
xemacs    :	
SingularEmacs:	/ext/sage/sage-8.1/local/bin/Singular
EmacsLoad :	/ext/sage/sage-8.1/local/bin/../share/singular/emacs/.emacs-singular
EmacsDir  :	/ext/sage/sage-8.1/local/bin/../share/singular/emacs
SingularXterm:	/ext/sage/sage-8.1/local/bin/Singular
xterm     :	/usr/bin/xterm
EmacsDir  :	/ext/sage/sage-8.1/local/bin/../share/singular/emacs
Available HelpBrowsers: info, lynx, lynx-www-idx, lynx-www, builtin, dummy, emacs, 
Current HelpBrowser: info 
                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 4.1.0
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Nov 2016
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
// ** Can not open /dev/null
Auf Wiedersehen.

Sml/usr/bin/sml

sml 110.78

Spark/usr/bin/spark

           *******************************************************
                              Examiner GPL 2012
             Copyright (C) 2012 Altran Praxis Limited, Bath, U.K.
           *******************************************************


                        DATE : 09-MAY-2018 12:20:45.09



Resource statistics

                             Units Used
Table                   Min       Max    Max Size    % used
Relation Table              0         0   Dynamic   Dynamic
VCG Heap                    0         0   Dynamic   Dynamic
String Table                0         0   2097152         0
Symbol Table                0         0   Dynamic   Dynamic
Syntax Tree                 0         0   3200000         0
Record components           0         0     16000         0
Record errors               0         0     16000         0

Ssh/usr/bin/ssh

OpenSSH_7.2p2 Ubuntu-4ubuntu2.4, OpenSSL 1.0.2g  1 Mar 2016

Stack/usr/bin/stack

Version 1.5.1, Git revision 600c1f01435a10d127938709556c1682ecfd694e (4861 commits) x86_64 hpack-0.17.1

Sumo/usr/bin/sumo

SUMO Version 0.32.0
 Build features: x86_64-pc-linux-gnu TRACI PROJ GDAL GUI
 Copyright (C) 2001-2017 German Aerospace Center (DLR) and others; http://sumo.dlr.de

SUMO Version 0.32.0 is part of SUMO.
SUMO is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program. If not, see http://www.gnu.org/licenses/gpl.html

Symphony/usr/bin/symphony

==  Welcome to the SYMPHONY MILP Solver 
==  Copyright 2000-2014 Ted Ralphs and others 
==  All Rights Reserved. 
==  Distributed under the Eclipse Public License 1.0 
==  Version: 5.6.1 
==  Build Date: Feb 22 2016 

Synctex/usr/bin/synctex

This is SyncTeX command line utility, version 1.2
usage: synctex <subcommand> [options] [args]
Synchronize TeXnology command-line client, version 1.17

The Synchronization TeXnology by Jérôme Laurens is a new feature of recent TeX engines.
It allows to synchronize between input and output, which means to
navigate from the source document to the typeset material and vice versa.

Available subcommands:
   view     to perform forwards synchronization
   edit     to perform backwards synchronization
   update   to update a synctex file after a dvi/xdv to pdf filter
   help     this help

Type 'synctex help <subcommand>' for help on a specific subcommand.
There is also an undocumented test subcommand.

T1Asm/usr/bin/t1asm

t1asm (LCDF t1utils) 1.39
Copyright (C) 1992-2010 I. Lee Hetherington, Eddie Kohler et al.
This is free software; see the source for copying conditions.
There is NO warranty, not even for merchantability or fitness for a
particular purpose.

Tmux/usr/bin/tmux

tmux 2.1

Tmuxp/usr/local/bin/tmuxp

tmuxp 1.3.5

Tsc/home/user/smc/src/node_modules/.bin/tsc

Version 2.8.1

Vim/usr/bin/vim

VIM - Vi IMproved 7.4 (2013 Aug 10, compiled Nov 24 2016 16:44:48)
Included patches: 1-1689
Extra patches: 8.0.0056
Modified by [email protected]
Compiled by [email protected]
Huge version without GUI.  Features included (+) or not (-):
+acl             +farsi           +mouse_netterm   +tag_binary
+arabic          +file_in_path    +mouse_sgr       +tag_old_static
+autocmd         +find_in_path    -mouse_sysmouse  -tag_any_white
-balloon_eval    +float           +mouse_urxvt     -tcl
-browse          +folding         +mouse_xterm     +terminfo
++builtin_terms  -footer          +multi_byte      +termresponse
+byte_offset     +fork()          +multi_lang      +textobjects
+channel         +gettext         -mzscheme        +timers
+cindent         -hangul_input    +netbeans_intg   +title
-clientserver    +iconv           +packages        -toolbar
-clipboard       +insert_expand   +path_extra      +user_commands
+cmdline_compl   +job             -perl            +vertsplit
+cmdline_hist    +jumplist        +persistent_undo +virtualedit
+cmdline_info    +keymap          +postscript      +visual
+comments        +langmap         +printer         +visualextra
+conceal         +libcall         +profile         +viminfo
+cryptv          +linebreak       -python          +vreplace
+cscope          +lispindent      +python3         +wildignore
+cursorbind      +listcmds        +quickfix        +wildmenu
+cursorshape     +localmap        +reltime         +windows
+dialog_con      -lua             +rightleft       +writebackup
+diff            +menu            -ruby            -X11
+digraphs        +mksession       +scrollbind      -xfontset
-dnd             +modify_fname    +signs           -xim
-ebcdic          +mouse           +smartindent     -xsmp
+emacs_tags      -mouseshape      +startuptime     -xterm_clipboard
+eval            +mouse_dec       +statusline      -xterm_save
+ex_extra        +mouse_gpm       -sun_workshop    -xpm
+extra_search    -mouse_jsbterm   +syntax          
   system vimrc file: "$VIM/vimrc"
     user vimrc file: "$HOME/.vimrc"
 2nd user vimrc file: "~/.vim/vimrc"
      user exrc file: "$HOME/.exrc"
  fall-back for $VIM: "/usr/share/vim"
Compilation: gcc -c -I. -Iproto -DHAVE_CONFIG_H   -Wdate-time  -g -O2 -fPIE -fstack-protector-strong -Wformat -Werror=format-security -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=1      
Linking: gcc   -Wl,-Bsymbolic-functions -fPIE -pie -Wl,-z,relro -Wl,-z,now -Wl,--as-needed -o vim        -lm -ltinfo -lnsl  -lselinux  -lacl -lattr -lgpm -ldl     -L/usr/lib/python3.5/config-3.5m-x86_64-linux-gnu -lpython3.5m -lpthread -ldl -lutil -lm      

Xelatex/usr/bin/xelatex

XeTeX 3.14159265-2.6-0.99992 (TeX Live 2015/Debian)
kpathsea version 6.2.1
Copyright 2015 SIL International, Jonathan Kew and Khaled Hosny.
There is NO warranty.  Redistribution of this software is
covered by the terms of both the XeTeX copyright and
the Lesser GNU General Public License.
For more information about these matters, see the file
named COPYING and the XeTeX source.
Primary author of XeTeX: Jonathan Kew.
Compiled with ICU version 55.1; using 55.1
Compiled with zlib version 1.2.8; using 1.2.8
Compiled with FreeType2 version 2.5.5; using 2.5.5
Compiled with Graphite2 version 1.3.6; using 1.3.10
Compiled with HarfBuzz version 1.0.1; using 1.0.1
Compiled with libpng version 1.6.17; using 1.6.17
Compiled with poppler version 0.41.0
Compiled with fontconfig version 2.11.1; using 2.11.94

Xindy/usr/bin/xindy

xindy release: unknown
xindy script version: 1.16
xindy kernel version: 3.0
CLISP version 2.49 (2010-07-07) (built on brownie.buildd [127.0.1.1])
    architecture: X86_64

Xpra/usr/bin/xpra

xpra v0.15.8

Xz/usr/bin/xz

xz (XZ Utils) 5.1.0alpha
liblzma 5.1.0alpha

Yacc/usr/bin/yacc

bison (GNU Bison) 3.0.4
Written by Robert Corbett and Richard Stallman.

Copyright (C) 2015 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Z3/usr/bin/z3

Z3 version 4.4.1

Zsh/usr/bin/zsh

zsh 5.1.1 (x86_64-ubuntu-linux-gnu)