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
*
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
*
Update HOL Light to rev 141
Marco Maggesi
2012-05-30
*
Revert accidentaly patch of ssreflect.
Russell O'Connor
2012-05-28
*
Updatings ssreflect to depend on camlp5 version 6.
Russell O'Connor
2012-05-28
*
add support to make building coqide optional.
Russell O'Connor
2012-05-28
*
Updating coq and ssreflect to patch level 4.
Russell O'Connor
2012-05-16
*
* Disable some failing builds on specific platforms.
Eelco Dolstra
2012-05-09
*
Update HOL Light to r134
Marco Maggesi
2012-05-05
*
Adding LCI lambda calculus interpreter
Michael Raskin
2012-05-01
*
Update TPTP
Michael Raskin
2012-04-12
*
Add packages to GAP
Michael Raskin
2012-04-05
*
stellarium: updated to version 0.11.2
Peter Simons
2012-04-02
*
Adding forgotten configure_130312 patch for matitia.
Russell O'Connor
2012-03-26
*
Reparing stable build of Matita.
Russell O'Connor
2012-03-25
*
Adding a package for a preview release of Matita.
Russell O'Connor
2012-03-25
*
Upgrading HOL4 to version k.7.
Russell O'Connor
2012-03-20
*
Update HOL Light to rev 128
Marco Maggesi
2012-03-17
*
Fix building of Coq and update to version 8.3pl3. (Forgot to save files)
Marco Maggesi
2012-03-17
*
Fix building of Coq and update to version 8.3pl3.
Marco Maggesi
2012-03-17
*
Try to update slr
Yury G. Kudryashov
2012-03-16
*
Adding GAP discrete algebra system
Michael Raskin
2012-03-08
*
svn merge ^/nixpkgs/trunk
Yury G. Kudryashov
2012-03-01
|
\
|
*
Update and fix Tulip
Michael Raskin
2012-02-27
*
|
Gtkwave needs the xz libraries to build.
Lluís Batlle i Rossell
2012-02-26
*
|
svn merge ^/nixpkgs/trunk
Yury G. Kudryashov
2012-02-19
|
\
|
|
*
xplanet: pass netpbm, edit meta
Yury G. Kudryashov
2012-02-19
|
*
xplanet-1.2.2; builds with libpng-1.5
Yury G. Kudryashov
2012-02-19
|
*
Backport r32353 from stdenv-udpates
Yury G. Kudryashov
2012-02-17
*
|
* Caneda: fix the version number.
Eelco Dolstra
2012-02-17
*
|
* Get rid of Qt 4.6. It doesn't compile with GCC 4.6. There was only
Eelco Dolstra
2012-02-17
[next]