index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
Commit message (
Expand
)
Author
Age
*
qucs: minor update and fix for new gcc
Vladimír Čunát
2013-02-24
*
Merge remote-tracking branch 'origin/master' into stdenv-updates
Eelco Dolstra
2013-02-15
|
\
|
*
Update HOL Light to revision 155
Marco Maggesi
2013-02-08
|
*
Update HOL Light to revision 154
Marco Maggesi
2013-02-08
*
|
Merge remote-tracking branch 'upstream/master' into stdenv-updates
Rickard Nilsson
2013-01-20
|
\
|
|
*
maxima: update to version 5.29.1
Peter Simons
2013-01-19
|
*
stellarium: update to version 0.11.4a
Peter Simons
2013-01-19
*
|
Merge remote-tracking branch 'origin/master' into stdenv-updates
Eelco Dolstra
2013-01-17
|
\
|
|
*
Fix bad URLs lacking a scheme
Eelco Dolstra
2013-01-14
*
|
Merge branch 'master' into stdenv-updates.
Peter Simons
2013-01-11
|
\
|
|
*
boinc: fix it; the binaries didn't start.
Lluís Batlle i Rossell
2013-01-08
|
*
boinc: updating to 7.0.44
Lluís Batlle i Rossell
2013-01-08
*
|
Merge remote-tracking branch 'eelco/master' into stdenv-updates
Lluís Batlle i Rossell
2012-12-28
|
\
|
|
*
Merge pull request #231 from RSzibele/master
Michael Raskin
2012-12-27
|
|
\
|
|
*
Added Logisim-2.7.1.
RSzibele
2012-12-27
|
*
|
Merge pull request #226 from maggesi/hol_light_updates
Michael Raskin
2012-12-27
|
|
\
\
|
|
|
/
|
|
/
|
|
|
*
Update HOL Light (and fix installation)
Marco Maggesi
2012-12-23
|
*
|
celestia: add version 1.6.1
Peter Simons
2012-12-25
|
|
/
*
/
Rename buildNativeInputs -> nativeBuildInputs
Eelco Dolstra
2012-12-28
|
/
*
Update E prover
Michael Raskin
2012-12-09
*
Update golly
Michael Raskin
2012-12-04
*
Remove a bunch of unreferenced files
Eelco Dolstra
2012-11-29
*
Merge pull request #193 from badi/gromacs
Peter Simons
2012-11-28
|
\
|
*
remove reference to meta.nix
Badi' Abdul-Wahid
2012-11-23
|
*
fix skipped indentation
Badi' Abdul-Wahid
2012-11-23
|
*
Update based on comments to pull request
Badi' Abdul-Wahid
2012-11-23
|
*
Add GROMACS v4.5.5
Badi' Abdul-Wahid
2012-11-23
*
|
Fix tarball
Shea Levy
2012-11-26
*
|
fix xoscope - thx archlinux!
Florian Friesdorf
2012-11-26
|
/
*
qfsm: add version 0.53.0
Peter Simons
2012-11-11
*
tkgate: limit to i686-linux and x86_64-linux to fix channel build
Mathijs Kwik
2012-11-11
*
tkgate: add versions 1.8.7 and 2.0-b10
Peter Simons
2012-11-08
*
kicad: update homepage URL
Peter Simons
2012-10-28
*
ng-spice-rework: update to version 24
Peter Simons
2012-10-28
*
stellarium: update to version 0.11.4
Peter Simons
2012-10-19
*
wxmaxima: update to version 12.09.0
Peter Simons
2012-10-19
*
maxima: update to version 5.28.0
Peter Simons
2012-10-19
*
gravit: update to version 0.5.0
Peter Simons
2012-10-10
*
Update SSReflect to version 1.4
Russell O'Connor
2012-09-10
*
Upgrade Isabelle proof assistant to version 2012
Marco Maggesi
2012-09-04
*
Fixing configure patch for coq 8.3.
Russell O'Connor
2012-08-19
*
Correcting filename.
Russell O'Connor
2012-08-19
*
Update coq to 8.4
Russell O'Connor
2012-08-19
*
gtkwave: updating to 3.3.39
Lluís Batlle i Rossell
2012-08-10
*
stellarium: update to version 0.11.3
Peter Simons
2012-08-04
*
Merge branch 'tptp-5.4.0' of https://github.com/7c6f434c/nixpkgs
Shea Levy
2012-07-07
|
\
|
*
TPTP: update to 5.4.0
Michael Raskin
2012-07-07
*
|
wxmaxima: update to version 12.04.0
Peter Simons
2012-07-07
*
|
maxima: update to version 5.27.0
Peter Simons
2012-07-07
|
/
*
Add GiNaC
Yury G. Kudryashov
2012-06-09
[next]