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
*
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
*
pspp: update from 0.8.2 to 0.8.3
Peter Simons
2015-01-27
*
nixpkgs: z3 4.3.1 -> 4.3.2
Austin Seipp
2015-01-23
*
unmaintain a bunch of packages
Ludovic Courtès
2015-01-13
*
matita_130312: mark as broken
Pavan Rikhi
2015-01-07
*
abc: export buildFlags in the preBuild
John Wiegley
2015-01-03
*
alt-ergo: update from 0.95.2 to 0.99.1
Vincent Laporte
2014-12-31
*
Change occurrences of gcc to the more general cc
John Wiegley
2014-12-26
*
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
[next]