index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
Commit message (
Expand
)
Author
Age
*
Merge pull request #17657 from matthewbauer/darwin-misc
Robin Gloster
2016-08-11
|
\
|
*
bcftools: fix darwin building
Matthew Bauer
2016-08-10
|
*
aspino: patch to use c++ instead of g++
Matthew Bauer
2016-08-10
|
*
lie: only build on linux
Matthew Bauer
2016-08-10
|
*
lie: LiE -> lie
Matthew Bauer
2016-08-10
*
|
golly: 2.7 -> 2.8
Michael Raskin
2016-08-11
*
|
pari: 2.7.5 -> 2.7.6
Michael Raskin
2016-08-11
|
/
*
geogebra: don't build on hydra since derivation just unpacks jars
obadz
2016-08-10
*
geogebra: init at 5.0.265.0
Mohammed Yaseen Mowzer
2016-08-10
*
msieve: Broken on i686
Tuomas Tynkkynen
2016-08-06
*
bwa: Broken on i686
Tuomas Tynkkynen
2016-08-06
*
ripser: init at 1.0 (#17481)
Erik Rybakken
2016-08-04
*
treewide: Add lots of meta.platforms
Tuomas Tynkkynen
2016-08-02
*
treewide: Wrap some really long package descriptions
Tuomas Tynkkynen
2016-08-02
*
treewide: Some EOF-whitespace fixes
Tuomas Tynkkynen
2016-08-02
*
treewide: Lots of meta.hydraPlatforms -> meta.platforms
Tuomas Tynkkynen
2016-08-02
*
leo2: remove use of `builderDefsPackage` (#17398)
Robert Helgesson
2016-07-31
*
alliance: 5.0 -> 5.1.1 (#17353)
Ram Kromberg
2016-07-30
*
root: 6.04.16 -> 6.04.18 (#17265)
Dmitry Kalinkin
2016-07-30
*
Merge pull request #9499 from khumba/scilab-bin-5
Robin Gloster
2016-07-28
|
\
|
*
scilab-bin: init at 5.5.2
Bryan Gardiner
2016-07-27
*
|
Update HOL Light to version 2016-07-23.
Marco Maggesi
2016-07-28
*
|
lean: 20160117 -> 2016-07-05
Gabriel Ebner
2016-07-27
*
|
cvc4: 1.4 -> 1.5pre-smtcomp2016
Gabriel Ebner
2016-07-24
*
|
stellarium: 0.14.2 -> 0.14.3
Robert Helgesson
2016-07-22
*
|
stellarium: wrap binary using `wrapQtProgram`
Robert Helgesson
2016-07-22
|
/
*
metis-prover: 2.3.20160102 -> 2.3.20160713
Gabriel Ebner
2016-07-21
*
Merge remote-tracking branch 'vbgl/why3-0.87.1'
Gabriel Ebner
2016-07-18
|
\
|
*
why3: 0.87.0 -> 0.87.1
Vincent Laporte
2016-06-09
*
|
jags: 3.4.0 -> 4.1.0 (#16804)
Ben Darwin
2016-07-18
*
|
coq: 8.5pl1 -> 8.5pl2 (#16863)
vbgl
2016-07-18
*
|
Merge pull request #17043 from womfoo/fix/qmake4Hook-builds
Nikolay Amiantov
2016-07-18
|
\
\
|
*
|
fritzing: fix qmake4Hook build
Kranium Gikos Mendoza
2016-07-17
*
|
|
Merge pull request #16951 from heilkn/lie
Joachim F
2016-07-16
|
\
\
\
|
*
|
|
LiE: include forgotten file INFO.a by installation
Konstantin Heil
2016-07-14
|
|
/
/
*
/
/
tptp: 6.3.0 -> 6.4.0
Michael Raskin
2016-07-16
|
/
/
*
|
LiE: init at 2.2.2
Konstantin Heil
2016-06-30
*
|
Merge branch 'staging'
Vladimír Čunát
2016-06-29
|
\
\
|
*
\
Merge 'master' into staging and re-revert merge
Vladimír Čunát
2016-06-23
|
|
\
\
*
|
|
|
cryptoverif: init at 1.22
Austin Seipp
2016-06-28
*
|
|
|
statverif: init at 1.86pl4
Austin Seipp
2016-06-28
*
|
|
|
proverif: init at 1.94
Austin Seipp
2016-06-28
*
|
|
|
gephi: init at 0.9.1 (#16071)
Ta'iř sj Ořit
2016-06-26
*
|
|
|
igv: init at 2.3.77
mimadrid
2016-06-26
*
|
|
|
Merge pull request #16379 from mimadrid/init/bcftools-1.3.1
Joachim Fasting
2016-06-24
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
bcftools: init at 1.3.1
mimadrid
2016-06-24
|
*
|
|
samtools: refactoring
mimadrid
2016-06-24
*
|
|
|
Revert "Merge branch 'staging'" due to glibc
Vladimír Čunát
2016-06-23
*
|
|
|
Merge branch 'staging'
Vladimír Čunát
2016-06-22
|
\
\
\
\
|
|
|
/
/
|
|
/
|
|
|
*
|
|
Merge branch 'master' into staging
Vladimír Čunát
2016-06-19
|
|
\
\
\
[next]