about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2012-03-08Adding GAP discrete algebra systemMichael Raskin1-0/+54
2012-03-01svn merge ^/nixpkgs/trunkYury G. Kudryashov1-5/+5
2012-02-27Update and fix TulipMichael Raskin1-5/+5
2012-02-26Gtkwave needs the xz libraries to build.Lluís Batlle i Rossell1-2/+2
2012-02-19svn merge ^/nixpkgs/trunkYury G. Kudryashov1-15/+9
2012-02-19xplanet: pass netpbm, edit metaYury G. Kudryashov1-3/+5
2012-02-19xplanet-1.2.2; builds with libpng-1.5Yury G. Kudryashov1-12/+4
2012-02-17* Caneda: fix the version number.Eelco Dolstra1-1/+1
2012-02-17Backport r32353 from stdenv-udpatesYury G. Kudryashov1-6/+7
2012-02-17* Get rid of Qt 4.6. It doesn't compile with GCC 4.6. There was onlyEelco Dolstra1-6/+7
2012-02-10svn merge ^/nixpkgs/trunkYury G. Kudryashov1-2/+2
2012-02-09wxmaxima: updated to version 12.01.0Peter Simons1-2/+2
2012-02-06svn merge ^/nixpkgs/trunkYury G. Kudryashov1-3/+3
2012-02-01Update HOL Light to rev 122.Marco Maggesi1-3/+3
2012-01-18* Cleanup: remove obsolete references to ‘xz’, which is in stdenv now.Eelco Dolstra1-2/+2
2012-01-18* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra21-34/+34
2012-01-14svn merge ^/nixpkgs/trunkYury G. Kudryashov3-6/+25
2012-01-14Fix compilation with qt-4.8Yury G. Kudryashov1-2/+4
2012-01-14avogadro: explicitly depend on pkg-configYury G. Kudryashov1-2/+2
2012-01-12Adding GNU archimedes.Lluís Batlle i Rossell1-0/+17
2012-01-10Update HOL Light to rev 118Marco Maggesi1-3/+3
2012-01-08svn merge ^/nixpkgs/trunkYury G. Kudryashov1-2/+2
2012-01-07State qt version (3/4) in packages, not in all-packages.nixYury G. Kudryashov1-2/+2
2012-01-04svn merge ^/nixpkgs/trunkYury G. Kudryashov1-4/+4
2012-01-04Update E proverMichael Raskin1-4/+4
2012-01-03Merge trunkYury G. Kudryashov1-11/+7
2012-01-02tulip-3.6.1Yury G. Kudryashov1-11/+7
2012-01-02Merge trunkYury G. Kudryashov1-3/+3
2011-12-28Oops!Marco Maggesi1-1/+1
2011-12-28Update HOL Light to r116Marco Maggesi1-2/+2
2011-12-25merge trunkYury G. Kudryashov2-18/+17
2011-12-22maxima: updated to version 5.26.0Peter Simons1-4/+5
2011-12-18Updating kicad.Lluís Batlle i Rossell1-14/+12
2011-12-16merge trunkYury G. Kudryashov1-10/+12
2011-12-16Update HOL Light to rev 114Marco Maggesi1-10/+12
2011-12-15svn merge https://nixos.org/repos/nix/nixpkgs/trunkYury G. Kudryashov4-25/+9
2011-12-13Update GollyMichael Raskin4-25/+9
2011-12-12* Sync with the trunk.Eelco Dolstra6-12/+12
2011-12-06wxMaxima: updated to version 11.08.0Peter Simons1-2/+2
2011-12-06maxima: updated to version 5.25.1Peter Simons1-2/+2
2011-12-05Updating gtkwaveLluís Batlle i Rossell1-2/+2
2011-11-26Update url for Isabelle2011Marco Maggesi1-1/+1
2011-11-24adding camlp5 as a propogated build input to ulex 0.8Russell O'Connor1-2/+2
2011-11-10Updated HOL Light to revision 112Marco Maggesi1-3/+3
2011-11-08synchronize with trunkPeter Simons2-4/+3
2011-11-08gravit: cosmeticPeter Simons1-1/+1
2011-11-07stellarium: updated to version 0.11.1Peter Simons1-3/+2
2011-10-18synchronize with trunkPeter Simons1-0/+41
2011-10-17Package for picosat.Russell O'Connor1-0/+41
2011-10-14synchronize with trunkPeter Simons1-3/+3
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-08 22:51:03 +0000