summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* python spyder: 2.3.7 -> 2.3.8Frederik Rietdijk2015-12-01
* why3: 0.86.1 -> 0.86.2Vincent Laporte2015-12-01
* mathematica package patchPhase does not like set -eAristid Breitkreuz2015-11-30
* Merge pull request #11302 from fkz/sadArseniy Seroka2015-11-27
|\
| * system for automated deduction: init at 2.3-25Fabian Schmitthenner2015-11-27
* | Merge branch 'buildPythonPackage+wheels'Domen Kožar2015-11-26
|\ \
| * | buildPythonPackage: fix more wheels failuresDomen Kožar2015-11-21
* | | Revert "coq: 8.5b2 -> 8.5b3"John Wiegley2015-11-25
* | | R: add curl for https supportNikolay Amiantov2015-11-25
* | | gap: reimplement using mkDerivationJoachim Fasting2015-11-24
* | | spass: reimplement using mkDerivationJoachim Fasting2015-11-24
* | | opensmt: reimplement using mkDerivationJoachim Fasting2015-11-24
* | | iprover: reimplement using mkDerivationJoachim Fasting2015-11-24
* | | cvc3: reimplement using mkDerivationJoachim Fasting2015-11-24
* | | singular: reimplement using mkDerivationJoachim Fasting2015-11-24
* | | drgeo: reimplement using mkDerivationJoachim Fasting2015-11-24
|/ /
* | coq: 8.5b2 -> 8.5b3Russell O'Connor2015-11-19
* | Replace 'with plaforms; platform' with 'platforms.platform'Pascal Wittmann2015-11-17
* | Update HOL Light to version 2015-11-02Marco Maggesi2015-11-03
|/
* R: advance to version 3.2.2.Karn Kallio2015-10-02
* Merge pull request #9917 from FlorentBecker/sagePeter Simons2015-09-30
|\
| * sage: 6.1.1 -> 6.8Florent Becker2015-09-22
* | hol_light: add support for camlp5 > 6.12Vincent Laporte2015-09-23
* | Merge: xlibs and x11 attribute cleanupVladimír Čunát2015-09-23
|\ \ | |/ |/|
| * xlibs: replace occurrences by xorgVladimír Čunát2015-09-15
| * x11: replace its usage by xlibsWrapper directlyVladimír Čunát2015-09-15
* | metis-prover: init at 2.3Gabriel Ebner2015-09-21
* | perseus: init at 4-betaErik Rybakken2015-09-19
* | Merge commit 'a6f6c0e' into master.upstreamWilliam A. Kennington III2015-09-15
|\ \ | |/ |/|
| * mass rewrite of find parameters to cross-platform styleVladimír Čunát2015-09-06
* | all-packages: Use callPackage where possibleMathnerd3142015-09-14
* | HOL Light: findlib is not necessary (nor actually used). Remove dependency.Marco Maggesi2015-09-13
* | coq: Add csdp dependencyRussell O'Connor2015-09-10
* | csdp: init at 6.1.1Russell O'Connor2015-09-10
* | Merge pull request #9752 from FRidh/maintainerDomen Kožar2015-09-09
|\ \
| * | add myself as maintainerFrederik Rietdijk2015-09-09
* | | nixpkgs/jonprl: minor touchupsAustin Seipp2015-09-09
|/ /
* / JonPRL: init at 0.1.0Brian McKenna2015-09-09
|/
* Update HOL Light to svn r244.Marco Maggesi2015-09-01
* Mark some packages with undownloadable source as brokenEelco Dolstra2015-09-01
* root: fix build by -lX11Vladimír Čunát2015-09-01
* Merge pull request #9583 from pjones/pkg/gedaArseniy Seroka2015-09-01
|\
| * geda: init at 1.8.2-20130925Peter Jones2015-08-31
* | qalculate-gtk: init at 0.9.7Gabriel Ebner2015-08-31
|/
* nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731Austin Seipp2015-08-30
* spyder: 2.2.5 -> 2.3.6Frederik Rietdijk2015-08-29
* Revert "Added K Framework package."Peter Simons2015-08-29
* veriT: 201410 -> 201506Gabriel Ebner2015-08-26
* nixpkgs: lean 20150328 -> 20150821Austin Seipp2015-08-21
* cbc: Enable on DarwinEelco Dolstra2015-08-19
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-17 08:11:08 +0000