index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
Commit message (
Expand
)
Author
Age
*
coqPackages_8_7: New expression, but don't make it the default yet
John Wiegley
2017-10-22
*
cntk: Disable parallel building
Tuomas Tynkkynen
2017-10-22
*
bowtie2: init at 2.3.3.1
Ryan Bernstein
2017-10-22
*
root: 6.10.04 -> 6.10.08
Dmitry Kalinkin
2017-10-20
*
cntk: init at 2.2
Nikolay Amiantov
2017-10-19
*
caffe: 1.0-rc5 -> 1.0
Nikolay Amiantov
2017-10-19
*
nixpkgs: gtkwave 3.3.70 -> 3.3.86
Austin Seipp
2017-10-17
*
sc2-headless: License is unfree
John Ericson
2017-10-16
*
sc2-headless: init at 3.17
Dan Haraj
2017-10-16
*
aiger: fix stupid incorrect download link
Austin Seipp
2017-10-16
*
nixpkgs: add aiger 1.9.9
Austin Seipp
2017-10-16
*
picosat: install more stuff
Austin Seipp
2017-10-16
*
nixpkgs: add 'avy' -- property directed AIGER model checking
Austin Seipp
2017-10-16
*
nixpkgs: add symbiyosys, for HDL verification flows
Austin Seipp
2017-10-16
*
abella: 2.0.2 -> 2.0.4
Simon Lackerbauer
2017-10-16
*
cubicle: 1.0.2 -> 1.1.1
Vincent Laporte
2017-10-11
*
coq: 8.7+beta1 -> 8.7+beta2
Maxime Dénès
2017-10-11
*
libqalculate, qalculate-gtk: 2.0.0 -> 2.1.0
Gabriel Ebner
2017-10-10
*
isabelle: 2016-1 -> 2017
Gabriel Ebner
2017-10-10
*
Merge branch 'master' into staging
Orivej Desh
2017-10-05
|
\
|
*
Mathematica: 11.0.1 -> 11.2.0
Guanpeng Xu
2017-10-05
|
*
caneda: git-2012-02-16 -> 0.3.1
Will Dietz
2017-10-03
*
|
Merge branch 'master' into staging
Orivej Desh
2017-10-03
|
\
|
|
*
tptp: 6.4.0 -> 7.0.0
Gabriel Ebner
2017-10-02
|
*
Merge pull request #29963 from mimadrid/update/samtools-1.6.0
Orivej Desh
2017-10-02
|
|
\
|
|
*
bcftools: fix up
Orivej Desh
2017-10-01
|
|
*
samtools: fix up
Orivej Desh
2017-10-01
|
|
*
bcftools: 1.5.0 -> 1.6.0
mimadrid
2017-09-30
|
|
*
samtools: 1.5.0 -> 1.6.0
mimadrid
2017-09-30
*
|
|
Merge branch 'master' into staging
Orivej Desh
2017-10-02
|
\
|
|
|
*
|
Merge pull request #29859 from pvgoran/fix-gmsh
Orivej Desh
2017-10-01
|
|
\
\
|
|
*
|
gmsh: 2.12.0 -> 3.0.5
Pavel Goran
2017-10-01
|
*
|
|
Merge pull request #29947 from symphorien/giac
Orivej Desh
2017-09-30
|
|
\
\
\
|
|
*
|
|
giac: refactor
Orivej Desh
2017-09-30
|
|
*
|
|
xcas, giac: add myself as maintainer
Symphorien Gibol
2017-09-30
|
|
*
|
|
giac, xcas: init at 1.4.9
Symphorien Gibol
2017-09-30
|
*
|
|
|
treewide: mark a bunch of failing builds as broken
Robin Gloster
2017-10-01
|
*
|
|
|
gplates: mark as broken
Franz Pletz
2017-09-30
|
*
|
|
|
openmodelica: mark as broken, unmaintained
Franz Pletz
2017-09-30
|
*
|
|
|
R: update to version 3.4.2
Peter Simons
2017-09-29
|
*
|
|
|
kicad: don't try to build on hydra
Franz Pletz
2017-09-29
|
*
|
|
|
clp: init at 1.16.11
Vincent Laporte
2017-09-28
*
|
|
|
|
Merge remote-tracking branch 'upstream/staging' into deps-reorg
John Ericson
2017-09-28
|
\
|
|
|
|
|
*
|
|
|
freebayes: clean up build
Robin Gloster
2017-09-28
|
*
|
|
|
freebayes: 1.1.0 -> 2017-08-23
Samuel Leathers
2017-09-28
|
|
/
/
/
|
*
/
/
caffe: Make 'bin' the first output
Tuomas Tynkkynen
2017-09-27
|
|
/
/
|
*
|
mxnet: disable GPU autodetection
Nikolay Amiantov
2017-09-25
|
*
|
singular: use gcc5
Michael Raskin
2017-09-23
|
*
|
calc: 2.12.6.1 -> 2.12.6.3
mimadrid
2017-09-23
|
|
/
|
*
darwin: Disable yet another bunch of packages never having built successfully
Tuomas Tynkkynen
2017-09-22
[next]