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
*
R: update to version 3.1.1
Peter Simons
2014-09-12
*
coq_HEAD: update to latest Git version
John Wiegley
2014-09-09
*
gtkwave: update from 3.3.53 to 3.3.61
Moritz Ulrich
2014-09-04
*
Update pari
Michael Raskin
2014-09-02
*
boinc: update from 7.2.42 to 7.4.14 (fixes CVE-2013-2298)
Pascal Wittmann
2014-09-01
*
Update TPTP
Michael Raskin
2014-08-31
*
coq_HEAD: update to latest Git HEAD
John Wiegley
2014-08-26
*
Fix many package descriptions
Bjørn Forsman
2014-08-24
*
Fix various evaluation problems
Eelco Dolstra
2014-08-22
*
ssreflect: 1.4 -> 1.5
John Wiegley
2014-08-19
*
coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590
John Wiegley
2014-08-16
*
Add application for scientific data analysis: fityk
Thomas Strobel
2014-08-14
*
Allow optional functionality in SimGrid
Michael Raskin
2014-08-12
*
Update SimGrid
Michael Raskin
2014-08-12
*
Update and fix LEO2 prover
Michael Raskin
2014-08-12
*
Add an expression for building Coq HEAD
John Wiegley
2014-08-08
*
Merge 'staging' into master
Vladimír Čunát
2014-08-08
|
\
|
*
Merge remote-tracking branch 'origin/master' into staging.
Peter Simons
2014-08-08
|
|
\
|
*
\
Merge remote-tracking branch 'origin/master' into staging.
Peter Simons
2014-08-04
|
|
\
\
|
*
\
\
Merge remote-tracking branch 'origin/master' into staging
Eelco Dolstra
2014-07-28
|
|
\
\
\
|
*
|
|
|
Don't use ensureDir
Eelco Dolstra
2014-07-22
|
*
|
|
|
Merge remote-tracking branch 'origin/master' into staging
Eelco Dolstra
2014-07-15
|
|
\
\
\
\
|
*
\
\
\
\
Merge remote-tracking branch 'origin/master' into staging
Eelco Dolstra
2014-07-07
|
|
\
\
\
\
\
|
*
\
\
\
\
\
Merge remote-tracking branch 'origin/master' into staging
Eelco Dolstra
2014-07-01
|
|
\
\
\
\
\
\
|
*
|
|
|
|
|
|
Another attempt to eradicate ensureDir
Eelco Dolstra
2014-06-30
*
|
|
|
|
|
|
|
Mark a bunch of packages as broken or not supported on Darwin
Eelco Dolstra
2014-08-08
|
|
_
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
*
|
|
|
|
|
|
haskell-sloane: update to version 1.9.1
Peter Simons
2014-08-07
|
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
*
|
|
|
|
|
Fix broken license references.
Peter Simons
2014-07-28
*
|
|
|
|
|
singular: cosmetic fix for syntax highlighting
Peter Simons
2014-07-28
*
|
|
|
|
|
Turn some license strings into lib.licenses values
Mateusz Kowalczyk
2014-07-28
|
|
_
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
|
|
arb: Mark as broken
Eelco Dolstra
2014-07-22
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
Re-generate Haskell packages with cabal2nix.
Peter Simons
2014-07-14
|
|
_
|
/
|
/
|
|
*
|
|
Update boinc
Michael Raskin
2014-07-04
*
|
|
haskell-sloane: update to version 1.8.2
Peter Simons
2014-07-04
|
|
/
|
/
|
*
|
fetchbzr, fetchdarcs, fetchhg: use `rev` attr
Benno Fünfstück
2014-06-28
*
|
twelf: Fix the source URL
John Wiegley
2014-06-27
*
|
twelf: new expression; prover for PL theory and logic
John Wiegley
2014-06-26
|
/
*
haskell-sloane: update to version 1.8
Peter Simons
2014-06-13
*
verifast: 14.5, x86_64 linux only
Austin Seipp
2014-06-10
*
prooftree: new expression 0.12
John Wiegley
2014-06-08
*
pulseview: new package
Bjørn Forsman
2014-05-31
*
berlios.de probably shut down, replace it
Vladimír Čunát
2014-05-18
*
Merge pull request #2680 from ellis/libR.so
Austin Seipp
2014-05-17
|
\
|
*
R: install lib/libR.so for use by other programs such as RStudio
Ellis Whitehead
2014-05-17
*
|
Merge pull request #2514 from jwiegley/coq
Austin Seipp
2014-05-17
|
\
\
|
*
|
Make Coq buildable on any Unix
John Wiegley
2014-05-05
*
|
|
nixpkgs: add abc version 040509
Austin Seipp
2014-05-17
|
|
/
|
/
|
*
|
Bump coq version to 8.4pl4.
Russell O'Connor
2014-05-12
*
|
tkgate: rewrite expressions to get along without the broken 'libiconvOrLibc' ...
Peter Simons
2014-05-07
|
/
*
R: don't restrict meta.platforms to Linux; other architectures should build fine
Peter Simons
2014-05-04
[next]