about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Remove no longer (or never) referenced patchesTobias Geerinckx-Rice2016-01-24
* Merge branch 'staging'Vladimír Čunát2016-01-22
|\
| * refactor to use autoreconfHook where possibleRobin Gloster2016-01-18
* | Merge pull request #12519 from gebner/metis-20160102Arseniy Seroka2016-01-21
|\ \
| * | metis-prover: 2.3.20160101 -> 2.3.20160102Gabriel Ebner2016-01-21
| |/
* / z3: 4.4.0 -> 4.4.1Ricardo M. Correia2016-01-21
|/
* Merge pull request #12443 from gebner/lean-ninjaPascal Wittmann2016-01-17
|\
| * lean: add wrapper for linjaGabriel Ebner2016-01-17
| * lean: 20150821 -> 20160117Gabriel Ebner2016-01-17
* | R: add a new `enableStrictBarrier` package option.Mathieu Boespflug2016-01-17
|/
* tkgate 2.x: remove dead packageTobias Geerinckx-Rice2016-01-14
* R: fix Darwin buildAsko Soukka2016-01-06
* alt-ergo: also supported on DarwinVincent Laporte2016-01-04
* metis-prover: 2.3 -> 2.3.20160101Gabriel Ebner2016-01-02
* pari (PARI/GP): 2.7.4 -> 2.7.5Michael Raskin2016-01-01
* coqPackages_8_5.coq: 8.5b2 -> 8.5rc1John Wiegley2015-12-21
* fritzing: Qt 5 infrastructure updateThomas Tuegel2015-12-20
* Merge pull request #11075 from mogorman/pcbArseniy Seroka2015-12-17
|\
| * pcb: init at 20140316Matthew O'Gorman2015-12-16
* | Merge pull request #11074 from mogorman/gerbvPascal Wittmann2015-12-16
|\ \
| * | gerbv: init at git-2015-10-07Matthew O'Gorman2015-12-15
| |/
* | Merge pull request #11073 from mogorman/geda_fixPascal Wittmann2015-12-14
|\ \
| * | geda: refdes_renum called /usr/bin/perlMatthew O'Gorman2015-12-14
| |/
* | R: 3.2.2 -> 3.2.3Michel Kuhlmann2015-12-11
* | eagle: 6.6.0 -> 7.5.0Bjørn Forsman2015-12-08
* | 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 01:01:59 +0000