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
...
*
|
|
|
Merge pull request #43538 from timokau/fetchpatch-fix
Matthew Bauer
2018-07-19
|
\
\
\
\
|
*
|
|
|
fetchpatch: add option to revert a patch
Timo Kaufmann
2018-07-16
*
|
|
|
|
treewide: remove aliases in nixpkgs
Matthew Bauer
2018-07-18
|
|
/
/
/
|
/
|
|
|
*
|
|
|
Merge pull request #43679 from timokau/ntl-11.2.1
Michael Raskin
2018-07-18
|
\
\
\
\
|
*
|
|
|
ntl: 9.11.0 -> 11.2.1
Timo Kaufmann
2018-07-18
*
|
|
|
|
nasc: 0.4.6 → 0.4.7
Jan Tojnar
2018-07-18
|
|
_
|
/
/
|
/
|
|
|
*
|
|
|
clp: cleanup expression
Jan Malakhovski
2018-07-16
*
|
|
|
cvc4: fix homepage url
Gabriel Ebner
2018-07-16
*
|
|
|
bliss: fix header location (#43170)
fragamus
2018-07-16
*
|
|
|
Merge branch 'init-gurobi' of git://github.com/jfrankenau/nixpkgs
Shea Levy
2018-07-15
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
gurobi: init at 8.0.1
Johannes Frankenau
2018-07-14
*
|
|
|
eclib: 20171219 -> 20180710
Timo Kaufmann
2018-07-15
|
|
/
/
|
/
|
|
*
|
|
z3: fix darwin build (#43526)
Mario Rodas
2018-07-14
*
|
|
octopus: 7.2 -> 8.1 (libxc 3.0.1 -> 4.2.3) (#43484)
markuskowa
2018-07-14
*
|
|
pythonPackages.cypari2: 1.1.4 -> 1.2.1 (#43496)
Timo Kaufmann
2018-07-14
*
|
|
Merge pull request #43436 from timokau/sage-new-flask
Frederik Rietdijk
2018-07-13
|
\
\
\
|
*
|
|
sage: replace flask-babel version pin by patch
Timo Kaufmann
2018-07-12
*
|
|
|
Merge pull request #43471 from r-ryantm/auto-update/igv
Frederik Rietdijk
2018-07-13
|
\
\
\
\
|
*
|
|
|
igv: 2.4.11 -> 2.4.13
R. RyanTM
2018-07-13
*
|
|
|
|
Merge pull request #43472 from r-ryantm/auto-update/golly
Michael Raskin
2018-07-13
|
\
\
\
\
\
|
*
|
|
|
|
golly: 3.1 -> 3.2
R. RyanTM
2018-07-13
|
|
/
/
/
/
*
|
|
|
|
Merge pull request #43445 from dtzWill/fix/yices-symlink
Will Dietz
2018-07-13
|
\
\
\
\
\
|
*
|
|
|
|
yices: use lib.splitString, not everyone has builtins.splitVersion
Will Dietz
2018-07-12
|
*
|
|
|
|
yices: simplify ln command
Will Dietz
2018-07-12
|
*
|
|
|
|
yices: fix symlink to match version of package
Will Dietz
2018-07-12
*
|
|
|
|
|
abc-verifier: 20160818 -> 2018-07-08
Will Dietz
2018-07-12
*
|
|
|
|
|
libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style
Will Dietz
2018-07-12
|
/
/
/
/
/
*
|
|
|
|
z3: move to multiple output packages
Austin Seipp
2018-07-12
*
|
|
|
|
jmol: 14.29.12 -> 14.29.17 (#43429)
Timo Kaufmann
2018-07-12
|
|
/
/
/
|
/
|
|
|
*
|
|
|
Merge pull request #43333 from r-ryantm/auto-update/libpoly
Frederik Rietdijk
2018-07-11
|
\
\
\
\
|
*
|
|
|
libpoly: 0.1.4 -> 0.1.5
R. RyanTM
2018-07-11
|
|
/
/
/
*
|
|
|
yices: 2.5.4 -> 2.6.0
R. RyanTM
2018-07-11
*
|
|
|
qalculate-gtk: 2.6.0 -> 2.6.1
R. RyanTM
2018-07-11
|
/
/
/
*
|
|
fricas: 1.3.3 -> 1.3.4 (#43023)
R. RyanTM
2018-07-09
*
|
|
igv: 2.4.10 -> 2.4.11 (#43003)
R. RyanTM
2018-07-09
*
|
|
Merge pull request #43096 from jbedo/mosdepth
Silvan Mosberger
2018-07-09
|
\
\
\
|
*
|
|
mosdepth: init 0.2.3
Justin Bedo
2018-07-09
*
|
|
|
monosat: update build to use handy new environment variable
Dan Peebles
2018-07-08
*
|
|
|
monosat: cbaf79cf -> 2deeadef
Dan Peebles
2018-07-08
*
|
|
|
monosat: init at 1nx3wh34
Dan Peebles
2018-07-08
*
|
|
|
picard-tools: 2.18.7 -> 2.18.9 (#42967)
R. RyanTM
2018-07-06
|
/
/
/
*
|
|
verilator: Allow building on Darwin as well as Linux
John Wiegley
2018-07-05
*
|
|
Merge pull request #43079 from matthewbauer/rework-extra-pkgs
Matthew Bauer
2018-07-05
|
\
\
\
|
*
|
|
treewide: remove callPackage_i686
Matthew Bauer
2018-07-05
*
|
|
|
Merge pull request #43071 from dtzWill/fix/vampire-portability
Will Dietz
2018-07-05
|
\
\
\
\
|
*
|
|
|
vampire: enable parallel building
Will Dietz
2018-07-05
|
*
|
|
|
vampire: portability fixes
Will Dietz
2018-07-05
|
*
|
|
|
vampire: use CC/CXX from env, instead of always g++
Will Dietz
2018-07-05
*
|
|
|
|
cvc4: 1.5 -> 1.6
Gabriel Ebner
2018-07-05
|
/
/
/
/
*
|
|
|
qalculate-gtk: 2.5.0 -> 2.6.0
Gabriel Ebner
2018-07-05
[prev]
[next]