Commit message (Expand) | Author | Age | |
---|---|---|---|
* | sage: update test expectations | Mauricio Collares | 2022-04-21 |
* | giac: 1.6.0-47 -> 1.9.0-5 | Mauricio Collares | 2022-04-21 |
* | isabelle: Make closer to upstream | Jan van Brügge | 2022-04-20 |
* | naproche: 0.1.0.0 -> 2022-04-19 | Jan van Brügge | 2022-04-20 |
* | Merge pull request #168973 from veprbl/pr/root5_glibc_fix | veprbl | 2022-04-19 |
|\ | |||
| * | root5: fix for glibc | Dmitry Kalinkin | 2022-04-16 |
* | | Merge pull request #165341 from r-ryantm/auto-update/verilator | ajs124 | 2022-04-19 |
|\ \ | |||
| * | | verilator: 4.218 -> 4.220 | R. Ryantm | 2022-03-22 |
* | | | Merge pull request #168969 from SuperSandro2000/staging-next-sandro | Sandro | 2022-04-17 |
|\ \ \ | |||
| * | | | fast-downward: substitute version, fix buildInputs, minor cleanup | Sandro Jäckel | 2022-04-16 |
* | | | | Merge remote-tracking branch 'origin/master' into staging-next | Martin Weinelt | 2022-04-16 |
|\ \ \ \ | |/ / / |/| | / | | |/ | |/| | |||
| * | | Merge pull request #168733 from veprbl/pr/xfitter_2_2_0 | veprbl | 2022-04-16 |
| |\ \ | |||
| | * | | xfitter: 2.0.1 -> 2.2.0 | Dmitry Kalinkin | 2022-04-15 |
* | | | | fityk: add `-std=c++11` flag for gcc11 and later | Fabián Heredia Montiel | 2022-04-16 |
* | | | | fast-downward: 19.12 → 21.12.0 | Fabián Heredia Montiel | 2022-04-16 |
* | | | | cmtk: add `-std=c++11` to fix build on gcc11 | Fabián Heredia Montiel | 2022-04-15 |
* | | | | Merge remote-tracking branch 'origin/master' into staging-next | Martin Weinelt | 2022-04-15 |
|\| | | | |||
| * | | | Merge pull request #166865 from malob/treewide-mainProgram | Lassulus | 2022-04-15 |
| |\ \ \ | | |/ / | |/| | | |||
| | * | | treewide: add meta.mainProgram to many packages | Malo Bourgon | 2022-04-14 |
* | | | | Merge branch 'staging-next' into staging | Vladimír Čunát | 2022-04-14 |
|\| | | | |||
| * | | | elan: 1.3.1 -> 1.4.0 | R. Ryantm | 2022-04-13 |
| |/ / | |||
| * | | abc-verifier: 2022.03.04 -> 2022.03.22 | Luflosi | 2022-04-12 |
| * | | Merge pull request #162172 from grnnja/init-jflap | Lassulus | 2022-04-12 |
| |\ \ | |||
| | * | | jflap: init at 7.1 | grnnja | 2022-02-28 |
| * | | | Merge pull request #164699 from r-ryantm/auto-update/mavproxy | ajs124 | 2022-04-11 |
| |\ \ \ | |||
| | * | | | mavproxy: 1.8.46 -> 1.8.48 | R. Ryantm | 2022-03-18 |
| * | | | | Merge pull request #166909 from fedeinthemix/wolfram-engine-2 | Sandro | 2022-04-11 |
| |\ \ \ \ | |||
| | * | | | | wolfram-for-jupyter-kernel: init at 0.9.2 | Federico Beffa | 2022-04-11 |
| | * | | | | wolfram-engine: init at 13.0.1 | Federico Beffa | 2022-04-11 |
| * | | | | | Merge pull request #167729 from yuuyins/brmodelo | Sandro | 2022-04-10 |
| |\ \ \ \ \ | |||
| | * | | | | | brmodelo: init at 3.31 | yuu | 2022-04-08 |
| * | | | | | | Merge pull request #168132 from r-ryantm/auto-update/calc | Fabian Affolter | 2022-04-10 |
| |\ \ \ \ \ \ | |||
| | * | | | | | | calc: 2.14.0.14 -> 2.14.1.0 | R. Ryantm | 2022-04-10 |
* | | | | | | | | Merge staging-next into staging | github-actions[bot] | 2022-04-10 |
|\| | | | | | | | |||
| * | | | | | | | Merge pull request #168130 from alyaeanyx/qalculate-gtk-4.1.1 | Doron Behar | 2022-04-10 |
| |\ \ \ \ \ \ \ | |||
| | * | | | | | | | qalculate-gtk: 4.1.0 -> 4.1.1 | alyaeanyx | 2022-04-10 |
| * | | | | | | | | Merge pull request #162300 from r-ryantm/auto-update/cwltool | Lassulus | 2022-04-10 |
| |\ \ \ \ \ \ \ \ | |||
| | * | | | | | | | | cwltool: 3.1.20220221074232 -> 3.1.20220224085855 | R. Ryantm | 2022-03-01 |
* | | | | | | | | | | Merge branch 'staging-next' into staging | Vladimír Čunát | 2022-04-10 |
|\| | | | | | | | | | |||
| * | | | | | | | | | Merge pull request #164722 from armeenm/bump-eggnog-mapper | Artturi | 2022-04-10 |
| |\ \ \ \ \ \ \ \ \ | |||
| | * | | | | | | | | | eggnog-mapper: 1.0.3 -> 2.1.7 | Armeen Mahdian | 2022-03-18 |
| * | | | | | | | | | | xmedcon: 0.21.2 -> 0.22.0 | R. Ryantm | 2022-04-10 |
| | |_|_|/ / / / / / | |/| | | | | | | | | |||
* | | | | | | | | | | Merge staging-next into staging | github-actions[bot] | 2022-04-10 |
|\| | | | | | | | | | |||
| * | | | | | | | | | Merge pull request #166740 from shadaj/init-cvc5-symfpu | Thiago Kenji Okada | 2022-04-09 |
| |\ \ \ \ \ \ \ \ \ | |||
| | * | | | | | | | | | cvc5: init at 1.0.0 | Shadaj Laddad | 2022-04-06 |
| | * | | | | | | | | | symfpu: init at unstable-2019-05-17 | Shadaj Laddad | 2022-04-04 |
| | | |_|_|_|/ / / / | | |/| | | | | | | | |||
* | | | | | | | | | | Merge staging-next into staging | github-actions[bot] | 2022-04-09 |
|\| | | | | | | | | | |||
| * | | | | | | | | | cudaPackages: overhaul of how we package cuda packages | Frederik Rietdijk | 2022-04-09 |
| | |_|_|/ / / / / | |/| | | | | | | | |||
* | | | | | | | | | Merge staging-next into staging | github-actions[bot] | 2022-04-08 |
|\| | | | | | | | | |||
| * | | | | | | | | Merge pull request #167679 from collares/sage-networkx27 | Artturi | 2022-04-07 |
| |\ \ \ \ \ \ \ \ | | |_|_|_|/ / / / | |/| | | | | | | |