index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
Commit message (
Expand
)
Author
Age
*
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
|
|
/
*
|
Merge branch 'master' into staging
William A. Kennington III
2015-03-29
|
\
|
|
*
nixpkgs: add lean-20150328, a theorem prover.
Austin Seipp
2015-03-28
|
*
nixpkgs: z3 is now MIT licensed.
Austin Seipp
2015-03-28
*
|
Merge branch 'master' into staging
William A. Kennington III
2015-03-26
|
\
|
|
*
z3: copy all headers into nix store
Eric Seidel
2015-03-26
|
*
Merge pull request #6961 from bcdarwin/abella
William A. Kennington III
2015-03-25
|
|
\
|
|
*
new package: abella 2.0.2
Ben Darwin
2015-03-24
|
*
|
pcalc: 20120812 -> 20141224
Siarhei Zirukin
2015-03-24
|
|
/
*
/
qt5: make qt-5.4.1 default
Thomas Tuegel
2015-03-24
|
/
*
R: update to version 3.1.3
Peter Simons
2015-03-09
*
Update pari
Michael Raskin
2015-03-09
*
Updating gtkwave to 3.3.64
Lluís Batlle i Rossell
2015-02-26
*
Merge pull request #6338 from DamienCassou/plm-2.5
Damien Cassou
2015-02-20
|
\
|
*
New package PLM: Programmer's Learning Machine
Damien Cassou
2015-02-13
*
|
Merge remote-tracking branch 'origin/staging'
Shea Levy
2015-02-17
|
\
\
|
*
\
Merge remote-tracking branch 'master' into staging.
Peter Simons
2015-02-13
|
|
\
\
|
*
|
|
kill libiconvOr*
Eric Seidel
2015-02-07
*
|
|
|
Update HOL Light to r218
Marco
2015-02-17
|
|
/
/
|
/
|
|
*
|
|
Updating weka to 3.6.12.
Lluís Batlle i Rossell
2015-02-13
|
/
/
*
|
Merge commit 'cfb29ab882323d379aba20a95020c7c24f883eae'
Shea Levy
2015-02-02
|
\
\
|
|
/
|
/
|
|
*
rename <gcc-frontend>.gcc to <gcc-frontend>.cc
Eric Seidel
2015-01-14
|
*
rename occurrences of gcc.gcc to gcc.cc
Eric Seidel
2015-01-14
|
*
rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc
Eric Seidel
2015-01-14
*
|
Why3: build also the Coq tactic.
Vincent Laporte
2015-01-29
*
|
stellarium: update from 0.12.4 to 0.13.2
Peter Simons
2015-01-27
*
|
gravit: update from 0.5.0 to 0.5.1
Peter Simons
2015-01-27
[next]