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
*
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
*
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
*
|
eprover: 2.0 -> 2.1
Gabriel Ebner
2018-07-05
*
|
vampire: init at 4.2.2
Gabriel Ebner
2018-07-05
*
|
stellarium: 0.18.0 -> 0.18.1 (#42949)
R. RyanTM
2018-07-05
*
|
Merge pull request #43026 from r-ryantm/auto-update/clingo
Michael Raskin
2018-07-04
|
\
\
|
*
|
clingo: 5.2.2 -> 5.3.0
R. RyanTM
2018-07-04
|
|
/
*
|
Merge pull request #42897 from fragamus/master
Silvan Mosberger
2018-07-04
|
\
\
|
|
/
|
/
|
|
*
bliss: init at 0.73
Michael Gough
2018-07-04
*
|
pythonPackages.backports_shutil_get_terminal_size: 1.0 -> 2016-02-21 (#42840)
Timo Kaufmann
2018-07-02
*
|
Merge pull request #42843 from fragamus/master
Sarah Brofeldt
2018-07-02
|
\
|
|
*
hmetis: init at 1.5
Michael Gough
2018-07-01
*
|
R: update to version 3.5.1
Peter Simons
2018-07-02
|
/
*
Merge pull request #39981 from timokau/sage-on-nixos
Michael Raskin
2018-07-01
|
\
|
*
sage: replace JUPYTER_PATH patch by upstream patch
Timo Kaufmann
2018-06-30
|
*
sage, arb: update sage dependencies arb and pynac
Timo Kaufmann
2018-06-30
|
*
sage: 8.1 -> 8.2, use system packages
Timo Kaufmann
2018-06-30
|
*
symmetrica: add patches
Timo Kaufmann
2018-06-30
*
|
librepcb-unstable: 2017-12-29 -> 2018-06-28 (#42786)
Luz
2018-06-30
*
|
treewide: http -> https
Ryan Mulligan
2018-06-29
|
/
*
coq_8_8: 8.8.0 -> 8.8.1
Théo Zimmermann
2018-06-29
*
Merge pull request #42590 from TimPut/openmvsbuildfix
Matthew Bauer
2018-06-28
|
\
|
*
openmvs: fix CGAL 4.12 dependency
tim put
2018-06-26
*
|
Merge pull request #41929 from smaret/gildas
Matthew Bauer
2018-06-28
|
\
\
|
*
|
gildas: use internal LAPACK instead of OpenBLAS
Sebastien Maret
2018-06-26
|
*
|
gildas: use the standard installPhase
Sebastien Maret
2018-06-26
[next]