Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: Fix overrides having wrong versions | Patrick Hilhorst | 2018-11-06 |
* | Merge remote-tracking branch 'upstream/master' into HEAD | John Ericson | 2018-11-05 |
|\ | |||
| * | Merge pull request #49728 from vbgl/acgtk-1.5.0 | Jörg Thalheim | 2018-11-04 |
| |\ | |||
| | * | acgtk: 1.3.1 -> 1.5.0 | Vincent Laporte | 2018-11-04 |
* | | | Merge master into staging-next | Frederik Rietdijk | 2018-11-04 |
|\| | | |||
| * | | coq_8_9: init at 8.9+beta1 | Théo Zimmermann | 2018-11-04 |
| |/ | |||
| * | Merge pull request #49559 from ikarulus/librepcb | Renaud | 2018-11-03 |
| |\ | |||
| | * | librepcb-unstable: 2018-06-28 -> 2018-10-31 | Ikarulus | 2018-11-03 |
| * | | yices: 2.6.0 -> 2.6.1 | Kevin Quick | 2018-11-02 |
* | | | Merge pull request #49417 from matthewbauer/disallow-native-build-inputs | Matthew Bauer | 2018-11-02 |
|\| | | |||
| * | | Merge pull request #49560 from worldofpeace/eos-third-update | Jan Tojnar | 2018-11-02 |
| |\ \ | |||
| | * | | nasc: 0.4.7 -> 0.5.0 | worldofpeace | 2018-11-02 |
* | | | | Merge branch 'master' into staging | Austin Seipp | 2018-11-02 |
|\| | | | |||
| * | | | Merge pull request #49547 from fadenb/simgrid_3.21 | Michael Raskin | 2018-11-02 |
| |\ \ \ | |||
| | * | | | simgrid: 3.20 -> 3.21 | Tristan Helmich (omniIT) | 2018-11-02 |
| | | |/ | | |/| | |||
* | | | | Merge branch 'master' into staging | Vladimír Čunát | 2018-11-02 |
|\| | | | |||
| * | | | kicad 5.0.0 -> 5.0.1 (#49561) | ikarulus | 2018-11-02 |
| * | | | Merge pull request #49250 from royneary/nim-0.19 | Gabriel Ebner | 2018-11-02 |
| |\ \ \ | |||
| | * | | | mosdeph: fix compilation with nim 0.19 | royneary | 2018-10-31 |
| * | | | | Merge pull request #48579 from dtzWill/update/z3-4.8.1 | Will Dietz | 2018-11-02 |
| |\ \ \ \ | | |_|/ / | |/| | | | |||
| | * | | | z3: 4.7.1 -> 4.8.1 | Will Dietz | 2018-10-16 |
* | | | | | Merge staging-next into staging | Frederik Rietdijk | 2018-10-30 |
|\| | | | | |||
| * | | | | coq_8_4: remove | Jörg Thalheim | 2018-10-30 |
* | | | | | Merge remote-tracking branch 'upstream/master' into staging | Tuomas Tynkkynen | 2018-10-27 |
|\| | | | | |||
| * | | | | 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 |
* | | | | | pythonPackages.cython: 0.28.5 -> 0.29 | Timo Kaufmann | 2018-10-24 |
|/ / / / | |||
* | | | | 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 |