about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Merge pull request #13510 from lancelotsix/relocate_motu_clientFrederik Rietdijk2016-03-02
|\
| * pkgs.motuclient: move application away from pythonPackagesLancelot SIX2016-03-02
* | gtkwave: update to 3.3.70Lluís Batlle i Rossell2016-03-02
|/
* eprover: fix build on DarwinVincent Laporte2016-02-29
* Remove all dots at end of descriptionszimbatm2016-02-27
* Merge pull request #13435 from tg-x/calcFranz Pletz2016-02-26
|\
| * calc: init at 2.12.5.3tg(x)2016-02-24
* | Merge pull request #13430 from nico202/yarpFranz Pletz2016-02-26
|\ \ | |/ |/|
| * yarp (+ libace): init at 2.3.64=2016-02-24
* | minc-tools: init at 2.3.00Ben Darwin2016-02-23
* | Merge pull request #13124 from FRidh/buildPythonApplicationFrederik Rietdijk2016-02-23
|\ \
| * | buildPythonApplication: use new function for Python applicationsFrederik Rietdijk2016-02-19
| |/
* | isabelle: 2015 -> 2016Gabriel Ebner2016-02-23
* | neuron: init at 7.4devresse2016-02-21
|/
* isabelle: 2014 -> 2015Sven Keidel2016-02-03
* content: removeRobin Gloster2016-01-30
* tptp: replace use of builderDefsPackageGabriel Ebner2016-01-29
* tptp: 6.1.0 -> 6.3.0Gabriel Ebner2016-01-29
* coq_8_5: 8.5rc1 -> 8.5John Wiegley2016-01-25
* 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
|\ \ \
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-31 12:51:24 +0000