about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* 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
| * | | | | Merge remote-tracking branch 'upstream/master' into sage-8.4Timo Kaufmann2018-08-15
| |\ \ \ \ \
| * | | | | | sage: 8.3 -> 8.4.beta0Timo Kaufmann2018-08-05
* | | | | | | Merge pull request #48617 from Zimmi48/passthru-ocamlPackages-in-coq-packageVincent Laporte2018-10-19
|\ \ \ \ \ \ \
| * | | | | | | coq: add ocamlPackages in passthruThéo Zimmermann2018-10-17
* | | | | | | | Merge pull request #48509 from r-ryantm/auto-update/gtkwaveJörg Thalheim2018-10-19
|\ \ \ \ \ \ \ \
| * | | | | | | | gtkwave: 3.3.94 -> 3.3.95R. RyanTM2018-10-15
* | | | | | | | | Merge pull request #48565 from rprospero/sasview-4.2.0Jörg Thalheim2018-10-18
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | sasmodels: unstable -> 4.2.0Adam Washington2018-10-17
| | |/ / / / / / / | |/| | | | | | |
* | | | | | | | | Merge pull request #48653 from vbgl/why3-1.1.0Jörg Thalheim2018-10-18
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | why3: 1.0.0 -> 1.1.0Vincent Laporte2018-10-18
| |/ / / / / / / /
* | | | | | | | | Merge pull request #48511 from r-ryantm/auto-update/gmshJörg Thalheim2018-10-17
|\ \ \ \ \ \ \ \ \ | |/ / / / / / / / |/| | | | | | | |
| * | | | | | | | gmsh: 4.0.1 -> 4.0.2R. RyanTM2018-10-15
| |/ / / / / / /
* | | | | | | | Merge pull request #48507 from r-ryantm/auto-update/jmolTimo Kaufmann2018-10-16
|\ \ \ \ \ \ \ \
| * | | | | | | | jmol: 14.29.22 -> 14.29.26R. RyanTM2018-10-15
| |/ / / / / / /
* | | | | | | | cedille: init at 1.0.0Matthew Pickering2018-10-14
* | | | | | | | verilator: 4.002 -> 4.004R. RyanTM2018-10-14
* | | | | | | | alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4Moritz Kiefer2018-10-13
|/ / / / / / /
* | | | | | | gildas: 20181001_a -> 20181001_b (#48200)Sebastien Maret2018-10-11
* | | | | | | prooftree: cleaningVincent Laporte2018-10-11
* | | | | | | camlp5_transitional: remove in favor of camlp5 (strict)Théo Zimmermann2018-10-10
* | | | | | | prooftree: 0.12 -> 0.13Théo Zimmermann2018-10-10
* | | | | | | matita: remove broken packageThéo Zimmermann2018-10-09
* | | | | | | ocamlPackages_3_11_2: removeThéo Zimmermann2018-10-08
* | | | | | | hol_light: 2017-07-06 -> 2018-09-30Marco Maggesi2018-10-06
* | | | | | | Merge pull request #47291 from veprbl/pr/xfitter_initMatthew Bauer2018-10-05
|\ \ \ \ \ \ \
| * | | | | | | xfitter: init at 2.0.0Dmitry Kalinkin2018-09-24
| * | | | | | | root5: init at 5.34.36Dmitry Kalinkin2018-09-24
* | | | | | | | Merge pull request #47831 from r-ryantm/auto-update/calcJörg Thalheim2018-10-04
|\ \ \ \ \ \ \ \
| * | | | | | | | calc: 2.12.6.6 -> 2.12.6.8R. RyanTM2018-10-03
* | | | | | | | | Merge pull request #47845 from r-ryantm/auto-update/bowtie2Jörg Thalheim2018-10-04
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | bowtie2: 2.3.4.2 -> 2.3.4.3R. RyanTM2018-10-03
| |/ / / / / / / /
* | | | | | | | | elan: 0.5.0 -> 0.7.1Gabriel Ebner2018-10-04
* | | | | | | | | nauty: 26r10 -> 26r11R. RyanTM2018-10-03
|/ / / / / / / /
* | | | | | | | verilator: 3.926 -> 4.002R. RyanTM2018-10-02
* | | | | | | | gildas: 20180901_a -> 20181001_a (#47657)Sebastien Maret2018-10-02
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 01:54:10 +0000