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
*
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
*
|
svn merge ^/nixpkgs/trunk
Yury G. Kudryashov
2012-02-10
|
\
|
|
*
wxmaxima: updated to version 12.01.0
Peter Simons
2012-02-09
*
|
svn merge ^/nixpkgs/trunk
Yury G. Kudryashov
2012-02-06
|
\
|
|
*
Update HOL Light to rev 122.
Marco Maggesi
2012-02-01
*
|
* Cleanup: remove obsolete references to ‘xz’, which is in stdenv now.
Eelco Dolstra
2012-01-18
*
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
Eelco Dolstra
2012-01-18
*
|
svn merge ^/nixpkgs/trunk
Yury G. Kudryashov
2012-01-14
|
\
|
|
*
Fix compilation with qt-4.8
Yury G. Kudryashov
2012-01-14
|
*
avogadro: explicitly depend on pkg-config
Yury G. Kudryashov
2012-01-14
|
*
Adding GNU archimedes.
Lluís Batlle i Rossell
2012-01-12
|
*
Update HOL Light to rev 118
Marco Maggesi
2012-01-10
*
|
svn merge ^/nixpkgs/trunk
Yury G. Kudryashov
2012-01-08
|
\
|
|
*
State qt version (3/4) in packages, not in all-packages.nix
Yury G. Kudryashov
2012-01-07
*
|
svn merge ^/nixpkgs/trunk
Yury G. Kudryashov
2012-01-04
|
\
|
|
*
Update E prover
Michael Raskin
2012-01-04
*
|
Merge trunk
Yury G. Kudryashov
2012-01-03
|
\
|
|
*
tulip-3.6.1
Yury G. Kudryashov
2012-01-02
*
|
Merge trunk
Yury G. Kudryashov
2012-01-02
|
\
|
|
*
Oops!
Marco Maggesi
2011-12-28
|
*
Update HOL Light to r116
Marco Maggesi
2011-12-28
*
|
merge trunk
Yury G. Kudryashov
2011-12-25
|
\
|
[next]