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
*
fityk: update 1.2.9 to 1.3.0
Pascal Wittmann
2015-06-24
*
hol: k.8 -> k.10, closes #8477
laMudri
2015-06-24
*
eagle 6.5.0 -> 6.6.0
Tobias Geerinckx-Rice
2015-06-22
*
Isabelle: fix download URL
Vincent Laporte
2015-06-21
*
nixpkgs: saw-tools 0.1-20150609
Austin Seipp
2015-06-18
*
R: update to 3.2.1
Michel Kuhlmann
2015-06-18
*
nixpkgs: picosat 936 -> 960, add myself as a maintainer
Austin Seipp
2015-06-14
*
cvc4: regenerate ./configure on rebuild
Austin Seipp
2015-06-14
*
nixpkgs: yices 2.2.1 -> 2.3.1, now with source
Austin Seipp
2015-06-14
*
nixpkgs: abc-verifier 20150406 -> 20150614
Austin Seipp
2015-06-14
*
nixpkgs/cvc4: touchups, add myself as maintainer
Austin Seipp
2015-06-14
*
Update golly
Michael Raskin
2015-06-14
*
Merge pull request #8182 from ttuegel/openblas
Thomas Tuegel
2015-06-12
|
\
|
*
jags: build with openblas
Thomas Tuegel
2015-06-12
|
*
R: build with openblas
Thomas Tuegel
2015-06-04
*
|
nixpkgs: z3 4.3.2 -> 4.4.0
Austin Seipp
2015-06-11
|
/
*
Update HOL Light to svn r232 (2015-05-31)
Marco
2015-06-03
*
why3: update from 0.85 to 0.86.1
Vincent Laporte
2015-06-01
*
nixpkgs: verilator 3.872
Austin Seipp
2015-05-31
*
Don't use "with licenses;" for single licences
Tobias Geerinckx-Rice
2015-05-28
*
Use common licence attributes from lib/licenses.nix
Tobias Geerinckx-Rice
2015-05-27
*
Merge pull request #7991 from vbgl/gappa
Mateusz Kowalczyk
2015-05-26
|
\
|
*
Adds gappa 1.2.0
Vincent Laporte
2015-05-25
*
|
Remove arb and then-orphaned lesstif93
Tobias Geerinckx-Rice
2015-05-26
|
/
*
tetgen 1.4.3 -> 1.5.0
Tobias Geerinckx-Rice
2015-05-25
*
qfsm: update to version 0.54.0
Peter Simons
2015-05-23
*
lean: fixed build
Pascal Wittmann
2015-05-16
*
Fixed several "package has no version" warnings
Pascal Wittmann
2015-05-14
*
maxima: update to version 5.36.1
Peter Simons
2015-05-13
*
wxmaxima: update to 15.04.0
Peter Simons
2015-05-13
*
z3 opt
Aistis Raulinaitis
2015-05-10
*
Merge remote-tracking branch 'upstream/master' into staging
William A. Kennington III
2015-05-07
|
\
|
*
Drop obsolete pre-NG Haskell builds.
Peter Simons
2015-05-05
*
|
Merge remote-tracking branch 'upstream/master' into staging
William A. Kennington III
2015-05-01
|
\
|
|
*
meta.description fixups
Joachim Fasting
2015-04-30
*
|
Merge remote-tracking branch 'upstream/master' into staging
Thomas Tuegel
2015-04-29
|
\
|
|
*
Fixed some descriptions
Pascal Wittmann
2015-04-28
|
*
coq_8_5: New expression
John Wiegley
2015-04-26
*
|
Make tcl and tk versions generic
William A. Kennington III
2015-04-26
*
|
Merge 'master' into staging
Vladimír Čunát
2015-04-26
|
\
|
|
*
R: update to 3.2.0
Peter Simons
2015-04-17
|
*
Added K Framework package.
Remy Goldschmidt
2015-04-17
|
*
coq: update from 8.4pl5 to 8.4pl6
Vincent Laporte
2015-04-15
*
|
Merge branch 'master' into staging
Thomas Tuegel
2015-04-10
|
\
|
|
*
update Mathematica to 10.0.2
Aristid Breitkreuz
2015-04-09
*
|
Merge branch master into staging
Eric Seidel
2015-04-06
|
\
|
|
*
nixpkgs: abc-verifier 20140509 -> 20150406
Austin Seipp
2015-04-06
|
*
Merge pull request #7103 from gebner/verit
lethalman
2015-03-31
|
|
\
|
|
*
Add veriT.
Gabriel Ebner
2015-03-31
|
*
|
twelf: fix by actually including the Twelf SML heap image in the package and ...
Ben Darwin
2015-03-31
|
|
/
[next]