Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coq_8_4: remove | Jörg Thalheim | 2018-10-30 |
* | sage: fix attrname | Timo Kaufmann | 2018-10-27 |
* | Merge pull request #49225 from timokau/arb-2.15.1 | Timo Kaufmann | 2018-10-27 |
|\ | |||
| * | arb: 2.14.0 -> 2.15.1 | Timo Kaufmann | 2018-10-27 |
* | | Merge pull request #48812 from mpickering/cedille | Joachim F | 2018-10-24 |
|\ \ | |||
| * | | cedille: Make a seperate output for the base library | Matthew Pickering | 2018-10-22 |
| * | | cedille: Apply patch which unbreaks the options file | Matthew Pickering | 2018-10-22 |
* | | | star: 2.6.1a -> 2.6.1c | R. RyanTM | 2018-10-24 |
| |/ |/| | |||
* | | sage: fix doctest | Timo Kaufmann | 2018-10-22 |
* | | sage: fix dochtml tests | Timo Kaufmann | 2018-10-21 |
* | | sage: fix docbuild | Timo Kaufmann | 2018-10-21 |
* | | Merge pull request #44527 from timokau/sage-8.4 | Timo Kaufmann | 2018-10-20 |
|\ \ | |||
| * | | sage: 8.4.rc1 -> 8.4 | Timo Kaufmann | 2018-10-18 |
| * | | sage: 8.4.rc0 -> 8.4.rc1 | Timo Kaufmann | 2018-10-13 |
| * | | sage: 8.4.beta7 -> 8.4.rc0 | Timo Kaufmann | 2018-10-07 |
| * | | sage: 8.4.beta6 -> 8.4.beta7 | Timo Kaufmann | 2018-10-01 |
| * | | Merge remote-tracking branch 'upstream/master' into sage-8.4 | Timo Kaufmann | 2018-10-01 |
| |\ \ | |||
| * | | | sage: 8.4.beta5 -> 8.4.beta6 | Timo Kaufmann | 2018-09-27 |
| * | | | Merge remote-tracking branch 'upstream/master' into sage-8.4 | Timo Kaufmann | 2018-09-27 |
| |\ \ \ | |||
| * | | | | sage: 8.4.beta4 -> 8.4.beta5 | Timo Kaufmann | 2018-09-15 |
| * | | | | Merge remote-tracking branch 'upstream/master' into sage-8.4 | Timo Kaufmann | 2018-09-15 |
| |\ \ \ \ | |||
| * | | | | | sage: 8.4.beta3 -> 8.4.beta4 | Timo Kaufmann | 2018-09-07 |
| * | | | | | Merge remote-tracking branch 'upstream/master' into sage-8.4 | Timo Kaufmann | 2018-09-07 |
| |\ \ \ \ \ | |||
| * | | | | | | sage: 8.4.beta2 -> 8.4.beta3 | Timo Kaufmann | 2018-09-02 |
| * | | | | | | sage: 8.4.beta1 -> 8.4.beta2 | Timo Kaufmann | 2018-08-26 |
| * | | | | | | sage: 8.4.beta0 -> 8.4.beta1 | Timo Kaufmann | 2018-08-16 |
| * | | | | | | Merge remote-tracking branch 'upstream/master' into sage-8.4 | Timo Kaufmann | 2018-08-15 |
| |\ \ \ \ \ \ | |||
| * | | | | | | | sage: 8.3 -> 8.4.beta0 | Timo Kaufmann | 2018-08-05 |
* | | | | | | | | Merge pull request #48617 from Zimmi48/passthru-ocamlPackages-in-coq-package | Vincent Laporte | 2018-10-19 |
|\ \ \ \ \ \ \ \ | |||
| * | | | | | | | | coq: add ocamlPackages in passthru | Théo Zimmermann | 2018-10-17 |
* | | | | | | | | | Merge pull request #48509 from r-ryantm/auto-update/gtkwave | Jörg Thalheim | 2018-10-19 |
|\ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | gtkwave: 3.3.94 -> 3.3.95 | R. RyanTM | 2018-10-15 |
* | | | | | | | | | | Merge pull request #48565 from rprospero/sasview-4.2.0 | Jörg Thalheim | 2018-10-18 |
|\ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | sasmodels: unstable -> 4.2.0 | Adam Washington | 2018-10-17 |
| | |/ / / / / / / / | |/| | | | | | | | | |||
* | | | | | | | | | | Merge pull request #48653 from vbgl/why3-1.1.0 | Jörg Thalheim | 2018-10-18 |
|\ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | why3: 1.0.0 -> 1.1.0 | Vincent Laporte | 2018-10-18 |
| |/ / / / / / / / / | |||
* | | | | | | | | | | Merge pull request #48511 from r-ryantm/auto-update/gmsh | Jörg Thalheim | 2018-10-17 |
|\ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / |/| | | | | | | | | | |||
| * | | | | | | | | | gmsh: 4.0.1 -> 4.0.2 | R. RyanTM | 2018-10-15 |
| |/ / / / / / / / | |||
* | | | | | | | | | Merge pull request #48507 from r-ryantm/auto-update/jmol | Timo Kaufmann | 2018-10-16 |
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|/ |/| | | | | | | | | |||
| * | | | | | | | | jmol: 14.29.22 -> 14.29.26 | R. RyanTM | 2018-10-15 |
| |/ / / / / / / | |||
* | | | | | | | | cedille: init at 1.0.0 | Matthew Pickering | 2018-10-14 |
* | | | | | | | | verilator: 4.002 -> 4.004 | R. RyanTM | 2018-10-14 |
* | | | | | | | | alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4 | Moritz Kiefer | 2018-10-13 |
|/ / / / / / / | |||
* | | | | | | | gildas: 20181001_a -> 20181001_b (#48200) | Sebastien Maret | 2018-10-11 |
* | | | | | | | prooftree: cleaning | Vincent Laporte | 2018-10-11 |
* | | | | | | | camlp5_transitional: remove in favor of camlp5 (strict) | Théo Zimmermann | 2018-10-10 |
* | | | | | | | prooftree: 0.12 -> 0.13 | Théo Zimmermann | 2018-10-10 |
* | | | | | | | matita: remove broken package | Théo Zimmermann | 2018-10-09 |
* | | | | | | | ocamlPackages_3_11_2: remove | Théo Zimmermann | 2018-10-08 |
* | | | | | | | hol_light: 2017-07-06 -> 2018-09-30 | Marco Maggesi | 2018-10-06 |