about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* treewide: Fix overrides having wrong versionsPatrick Hilhorst2018-11-06
* Merge remote-tracking branch 'upstream/master' into HEADJohn Ericson2018-11-05
|\
| * Merge pull request #49728 from vbgl/acgtk-1.5.0Jörg Thalheim2018-11-04
| |\
| | * acgtk: 1.3.1 -> 1.5.0Vincent Laporte2018-11-04
* | | Merge master into staging-nextFrederik Rietdijk2018-11-04
|\| |
| * | coq_8_9: init at 8.9+beta1Théo Zimmermann2018-11-04
| |/
| * Merge pull request #49559 from ikarulus/librepcbRenaud2018-11-03
| |\
| | * librepcb-unstable: 2018-06-28 -> 2018-10-31Ikarulus2018-11-03
| * | yices: 2.6.0 -> 2.6.1Kevin Quick2018-11-02
* | | Merge pull request #49417 from matthewbauer/disallow-native-build-inputsMatthew Bauer2018-11-02
|\| |
| * | Merge pull request #49560 from worldofpeace/eos-third-updateJan Tojnar2018-11-02
| |\ \
| | * | nasc: 0.4.7 -> 0.5.0worldofpeace2018-11-02
* | | | Merge branch 'master' into stagingAustin Seipp2018-11-02
|\| | |
| * | | Merge pull request #49547 from fadenb/simgrid_3.21Michael Raskin2018-11-02
| |\ \ \
| | * | | simgrid: 3.20 -> 3.21Tristan Helmich (omniIT)2018-11-02
| | | |/ | | |/|
* | | | Merge branch 'master' into stagingVladimír Čunát2018-11-02
|\| | |
| * | | kicad 5.0.0 -> 5.0.1 (#49561)ikarulus2018-11-02
| * | | Merge pull request #49250 from royneary/nim-0.19Gabriel Ebner2018-11-02
| |\ \ \
| | * | | mosdeph: fix compilation with nim 0.19royneary2018-10-31
| * | | | Merge pull request #48579 from dtzWill/update/z3-4.8.1Will Dietz2018-11-02
| |\ \ \ \ | | |_|/ / | |/| | |
| | * | | z3: 4.7.1 -> 4.8.1Will Dietz2018-10-16
* | | | | Merge staging-next into stagingFrederik Rietdijk2018-10-30
|\| | | |
| * | | | coq_8_4: removeJörg Thalheim2018-10-30
* | | | | Merge remote-tracking branch 'upstream/master' into stagingTuomas Tynkkynen2018-10-27
|\| | | |
| * | | | sage: fix attrnameTimo Kaufmann2018-10-27
| * | | | Merge pull request #49225 from timokau/arb-2.15.1Timo Kaufmann2018-10-27
| |\ \ \ \ | | |_|/ / | |/| | |
| | * | | arb: 2.14.0 -> 2.15.1Timo Kaufmann2018-10-27
* | | | | pythonPackages.cython: 0.28.5 -> 0.29Timo Kaufmann2018-10-24
|/ / / /
* | | | Merge pull request #48812 from mpickering/cedilleJoachim F2018-10-24
|\ \ \ \
| * | | | cedille: Make a seperate output for the base libraryMatthew Pickering2018-10-22
| * | | | cedille: Apply patch which unbreaks the options fileMatthew Pickering2018-10-22
* | | | | star: 2.6.1a -> 2.6.1cR. RyanTM2018-10-24
| |/ / / |/| | |
* | | | sage: fix doctestTimo Kaufmann2018-10-22
* | | | sage: fix dochtml testsTimo Kaufmann2018-10-21
* | | | sage: fix docbuildTimo Kaufmann2018-10-21
* | | | Merge pull request #44527 from timokau/sage-8.4Timo Kaufmann2018-10-20
|\ \ \ \ | |_|_|/ |/| | |
| * | | sage: 8.4.rc1 -> 8.4Timo Kaufmann2018-10-18
| * | | sage: 8.4.rc0 -> 8.4.rc1Timo Kaufmann2018-10-13
| * | | sage: 8.4.beta7 -> 8.4.rc0Timo Kaufmann2018-10-07
| * | | sage: 8.4.beta6 -> 8.4.beta7Timo Kaufmann2018-10-01
| * | | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-10-01
| |\ \ \
| * | | | sage: 8.4.beta5 -> 8.4.beta6Timo Kaufmann2018-09-27
| * | | | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-09-27
| |\ \ \ \
| * | | | | sage: 8.4.beta4 -> 8.4.beta5Timo Kaufmann2018-09-15
| * | | | | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-09-15
| |\ \ \ \ \
| * | | | | | sage: 8.4.beta3 -> 8.4.beta4Timo Kaufmann2018-09-07
| * | | | | | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-09-07
| |\ \ \ \ \ \
| * | | | | | | sage: 8.4.beta2 -> 8.4.beta3Timo Kaufmann2018-09-02
| * | | | | | | sage: 8.4.beta1 -> 8.4.beta2Timo Kaufmann2018-08-26
| * | | | | | | sage: 8.4.beta0 -> 8.4.beta1Timo Kaufmann2018-08-16