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
*
Take me (viric) out of most maintenance
Lluís Batlle i Rossell
2018-07-22
*
Merge pull request #43899 from r-ryantm/auto-update/tla-toolbox
Frederik Rietdijk
2018-07-22
|
\
|
*
tlaplusToolbox: 1.5.6 -> 1.5.7
R. RyanTM
2018-07-21
*
|
Merge pull request #43913 from r-ryantm/auto-update/picard-tools
Frederik Rietdijk
2018-07-22
|
\
\
|
*
|
picard-tools: 2.18.9 -> 2.18.10
R. RyanTM
2018-07-21
|
|
/
*
|
Merge pull request #43940 from r-ryantm/auto-update/gtkwave
Frederik Rietdijk
2018-07-22
|
\
\
|
*
|
gtkwave: 3.3.91 -> 3.3.92
R. RyanTM
2018-07-21
|
|
/
*
|
why3: 0.88.3 -> 1.0.0
Ricardo M. Correia
2018-07-21
*
|
Merge branch 'master' into unused5
Jörg Thalheim
2018-07-21
|
\
\
|
*
|
[bot] treewide: remove unused 'inherit' in let blocks
volth
2018-07-20
*
|
|
pkgs/*: remove unreferenced function arguments
volth
2018-07-21
|
/
/
*
|
Merge pull request #43857 from volth/unused
Frederik Rietdijk
2018-07-20
|
\
\
|
*
|
[bot]: remove unreferenced code
volth
2018-07-20
*
|
|
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
[next]