summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
...
* Upgrade Isabelle proof assistant to version 2012Marco Maggesi2012-09-04
* Fixing configure patch for coq 8.3.Russell O'Connor2012-08-19
* Correcting filename.Russell O'Connor2012-08-19
* Update coq to 8.4Russell O'Connor2012-08-19
* gtkwave: updating to 3.3.39Lluís Batlle i Rossell2012-08-10
* stellarium: update to version 0.11.3Peter Simons2012-08-04
* Merge branch 'tptp-5.4.0' of https://github.com/7c6f434c/nixpkgsShea Levy2012-07-07
|\
| * TPTP: update to 5.4.0Michael Raskin2012-07-07
* | wxmaxima: update to version 12.04.0Peter Simons2012-07-07
* | maxima: update to version 5.27.0Peter Simons2012-07-07
|/
* Add GiNaCYury G. Kudryashov2012-06-09
* Update HOL Light to rev 141Marco Maggesi2012-05-30
* Revert accidentaly patch of ssreflect.Russell O'Connor2012-05-28
* Updatings ssreflect to depend on camlp5 version 6.Russell O'Connor2012-05-28
* add support to make building coqide optional.Russell O'Connor2012-05-28
* Updating coq and ssreflect to patch level 4.Russell O'Connor2012-05-16
* * Disable some failing builds on specific platforms.Eelco Dolstra2012-05-09
* Update HOL Light to r134Marco Maggesi2012-05-05
* Adding LCI lambda calculus interpreter Michael Raskin2012-05-01
* Update TPTPMichael Raskin2012-04-12
* Add packages to GAPMichael Raskin2012-04-05
* stellarium: updated to version 0.11.2Peter Simons2012-04-02
* Adding forgotten configure_130312 patch for matitia.Russell O'Connor2012-03-26
* Reparing stable build of Matita.Russell O'Connor2012-03-25
* Adding a package for a preview release of Matita.Russell O'Connor2012-03-25
* Upgrading HOL4 to version k.7.Russell O'Connor2012-03-20
* Update HOL Light to rev 128Marco Maggesi2012-03-17
* Fix building of Coq and update to version 8.3pl3. (Forgot to save files)Marco Maggesi2012-03-17
* Fix building of Coq and update to version 8.3pl3.Marco Maggesi2012-03-17
* Try to update slrYury G. Kudryashov2012-03-16
* Adding GAP discrete algebra systemMichael Raskin2012-03-08
* svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-03-01
|\
| * Update and fix TulipMichael Raskin2012-02-27
* | Gtkwave needs the xz libraries to build.Lluís Batlle i Rossell2012-02-26
* | svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-02-19
|\|
| * xplanet: pass netpbm, edit metaYury G. Kudryashov2012-02-19
| * xplanet-1.2.2; builds with libpng-1.5Yury G. Kudryashov2012-02-19
| * Backport r32353 from stdenv-udpatesYury G. Kudryashov2012-02-17
* | * Caneda: fix the version number.Eelco Dolstra2012-02-17
* | * Get rid of Qt 4.6. It doesn't compile with GCC 4.6. There was onlyEelco Dolstra2012-02-17
* | svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-02-10
|\|
| * wxmaxima: updated to version 12.01.0Peter Simons2012-02-09
* | svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-02-06
|\|
| * Update HOL Light to rev 122.Marco Maggesi2012-02-01
* | * Cleanup: remove obsolete references to ‘xz’, which is in stdenv now.Eelco Dolstra2012-01-18
* | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* | svn merge ^/nixpkgs/trunkYury G. Kudryashov2012-01-14
|\|
| * Fix compilation with qt-4.8Yury G. Kudryashov2012-01-14
| * avogadro: explicitly depend on pkg-configYury G. Kudryashov2012-01-14
| * Adding GNU archimedes.Lluís Batlle i Rossell2012-01-12
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-29 00:24:27 +0000