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
*
wxmaxima: update to version 14.12.1
Peter Simons
2014-12-22
*
maxima: update to version 5.35.1
Peter Simons
2014-12-22
*
Fix license attribute of many bsd-like licensed packages
Pascal Wittmann
2014-12-21
*
coq_HEAD: update to latest Git version
John Wiegley
2014-12-19
*
root: fix build by upstream patch
Vladimír Čunát
2014-12-10
*
R: add meta.platforms attribute
Peter Simons
2014-12-03
*
coq_HEAD: update
John Wiegley
2014-11-17
*
hol_light: update from 199 to 205
Vincent Laporte
2014-11-17
*
Merge remote-tracking branch 'origin/master' into staging
Eelco Dolstra
2014-11-11
|
\
|
*
Link Golly against libperl and libpython so it finds them in runtime
Michael Raskin
2014-11-10
*
|
Merge branch 'master' into staging
Luca Bruno
2014-11-10
|
\
|
|
*
vite: fix and update package
Mateusz Kowalczyk
2014-11-09
*
|
Merge branch 'master' into staging
Luca Bruno
2014-11-08
|
\
|
|
*
zarith: propagate build input gmp
Vincent Laporte
2014-11-07
|
*
Adds some “branch” meta-data
Vincent Laporte
2014-11-06
*
|
Merge remote-tracking branch 'origin/master' into staging
Eelco Dolstra
2014-11-06
|
\
|
|
*
wxmaxima: update from 13.04.2 to 14.09.0
Vincent Laporte
2014-11-06
|
*
Turn more licenses into lib.licenses style
Mateusz Kowalczyk
2014-11-06
*
|
Merge recent master into staging
Vladimír Čunát
2014-11-05
|
\
|
|
*
Add mirrors for sage
Joachim Fasting
2014-11-03
|
*
Merge pull request #4238 from wkennington/master.boost
Peter Simons
2014-11-03
|
|
\
|
|
*
boost: Remove boost.lib
William A. Kennington III
2014-11-02
|
*
|
coq_HEAD: update to latest commit
John Wiegley
2014-11-03
|
*
|
coq: 8.4pl4 -> 8.4pl5
John Wiegley
2014-11-03
|
*
|
Merge pull request #4788 from joachifm/sage
Peter Simons
2014-11-03
|
|
\
\
|
|
|
/
|
|
/
|
|
|
*
sage: fix download url for version 6.1.1
Joachim Fasting
2014-11-02
|
|
*
sage: fix meta information
Joachim Fasting
2014-11-02
*
|
|
iconv: remove usage on Linux in several packages
Vladimír Čunát
2014-11-03
*
|
|
Merge remote-tracking branch 'origin/master' into staging.
Peter Simons
2014-11-02
|
\
|
|
|
*
|
R: run the test suite only when recommended packages are built
Peter Simons
2014-11-01
|
*
|
R: update to version R-3.1.2
Peter Simons
2014-11-01
*
|
|
Merge remote-tracking branch 'origin/master' into staging.
Peter Simons
2014-10-31
|
\
|
|
|
*
|
Updating qucs to 0.18
Lluís Batlle i Rossell
2014-10-29
|
*
|
Added acgtk-1.1
Jiri Marsik
2014-10-28
|
|
/
*
|
Merge remote-tracking branch 'origin/master' into staging
Eelco Dolstra
2014-10-16
|
\
|
|
*
Merge pull request #4456 from robberer/pkgs/fritzing
Jaka Hudoklin
2014-10-12
|
|
\
|
|
*
fritzing: add version 0.9.0b
Longrin Wischnewski
2014-10-10
|
*
|
cvc4: new derivation
Vincent Laporte
2014-10-12
|
*
|
why3: update from 0.83 to 0.85
Vincent Laporte
2014-10-12
|
*
|
xplanet: fix giflib update
Domen Kožar
2014-10-11
|
*
|
maxima: update from 5.33.0 to 5.34.1
Vincent Laporte
2014-10-10
|
|
/
|
*
coq_HEAD: Update
John Wiegley
2014-10-09
*
|
Merge remote-tracking branch 'origin/master' into staging
Eelco Dolstra
2014-10-07
|
\
|
|
*
haskell-sloane: update to version 1.9.3
Peter Simons
2014-10-06
|
*
Merge pull request #4342 from vbgl/camlp5-6.12
Mateusz Kowalczyk
2014-10-03
|
|
\
|
|
*
hol_light: update to r199
Vincent Laporte
2014-10-01
|
*
|
isabelle: Version 2014 building on Linux and Darwin
John Wiegley
2014-09-30
|
|
/
|
*
isabelle: Another Linux hash change?
John Wiegley
2014-09-30
|
*
isabelle: Remove Linux patches (is this correct?)
John Wiegley
2014-09-30
|
*
isabelle: Correct the 2014 sha value for Linux
John Wiegley
2014-09-30
[next]