| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coq_8_16: init at 8.16+rc1 | Pierre Roux | 2022-06-08 |
| * | gpredict: pull upstream fix for -fno-common toolchains | Sergei Trofimovich | 2022-06-08 |
| * | Merge pull request #175961 from helsinki-systems/rem/broken | Rick van Schijndel | 2022-06-06 |
| |\ | |||
| | * | scilab: remove after being marked broken for over 18 months | ajs124 | 2022-06-02 |
| * | | alt-ergo: ensure compatibility with Menhir ≥ 20211215 | Vincent Laporte | 2022-06-05 |
| * | | Merge pull request #176278 from risicle/ris-jar-source-provenance | Robert Scott | 2022-06-05 |
| |\ \ | |||
| | * | | treewide: set sourceProvenance for packages containing downloaded jars | Robert Scott | 2022-06-04 |
| * | | | ngspice: 36 -> 37 | Luz | 2022-06-05 |
| |/ / | |||
| * | | gravit: pull fix pending upstream inclusion for -fno-common toolchains | Sergei Trofimovich | 2022-06-04 |
| * | | coq: 8.15.1 → 8.15.2 | Vincent Laporte | 2022-06-03 |
| * | | Merge pull request #175259 from trofi/workaround-fno-common-for-svaba | Sergei Trofimovich | 2022-06-03 |
| |\ \ | |/ |/| | |||
| | * | svaba: add -fcommon workaround | Sergei Trofimovich | 2022-05-29 |
| * | | Merge pull request #174881 from r-ryantm/auto-update/mavproxy | Bobby Rong | 2022-06-02 |
| |\ \ | |||
| | * | | mavproxy: 1.8.49 -> 1.8.50 | R. Ryantm | 2022-05-27 |
| * | | | snakemake: 7.8.0 -> 7.8.1 | R. Ryantm | 2022-06-02 |
| * | | | Merge pull request #175625 from collares/fpylll | Sandro | 2022-06-01 |
| |\ \ \ | |||
| | * | | | pari: mark as broken on aarch64-darwin | Mauricio Collares | 2022-05-31 |
| * | | | | Merge pull request #175700 from siraben/cvc4-darwin | Ben Siraphob | 2022-06-01 |
| |\ \ \ \ | |||
| | * | | | | cvc4: fix build on darwin | Ben Siraphob | 2022-05-31 |
| * | | | | | Merge pull request #164779 from collares/lean2 | Ben Siraphob | 2022-06-01 |
| |\ \ \ \ \ | |_|/ / / |/| | | | | |||
| | * | | | | lean2: 2017-07-22 -> 2018-10-01, unbreak | Mauricio Collares | 2022-05-21 |
| * | | | | | Merge pull request #174261 from LumiGuide/lumi-team | Sandro | 2022-05-31 |
| |\ \ \ \ \ | |||
| | * | | | | | picoscope, openrazer, it87, esptool: move maintainership to LumiGuide | Yorick van Pelt | 2022-05-24 |
| * | | | | | | Merge pull request #175477 from bzizou/astral | ckie | 2022-05-31 |
| |\ \ \ \ \ \ | |_|_|/ / / |/| | | | | | |||
| | * | | | | | astral: init at 5.7.1 | Bruno Bzeznik | 2022-05-31 |
| * | | | | | | snakemake: 7.7.0 -> 7.8.0 (#174592) | R. RyanTM | 2022-05-30 |
| * | | | | | | Merge pull request #173671 from Mindavi/treewide/broken-zhf | Janne Heß | 2022-05-30 |
| |\ \ \ \ \ \ | |/ / / / / |/| | | | | | |||
| | * | | | | | treewide: pkgs/applications: mark broken for aarch64-linux | Rick van Schijndel | 2022-05-30 |
| | * | | | | | speedcrunch: mark broken on darwin | Rick van Schijndel | 2022-05-30 |
| | * | | | | | treewide: pkgs/applications: mark broken for darwin | Rick van Schijndel | 2022-05-29 |
| | * | | | | | boinc: mark broken for aarch64 | Rick van Schijndel | 2022-05-29 |
| | * | | | | | aspino: mark broken for x86_64 Darwin | Rick van Schijndel | 2022-05-29 |
| * | | | | | | Merge pull request #173021 from trofi/fix-fno-common-for-gerbv | Sergei Trofimovich | 2022-05-29 |
| |\ \ \ \ \ \ | |/ / / / / |/| | | | | | |||
| | * | | | | | gerbv: pull fix pending upstream inclusion for -fno-common toolchains | Sergei Trofimovich | 2022-05-14 |
| * | | | | | | ocamlPackages: rename sedlex_2 into sedlex | Vincent Laporte | 2022-05-29 |
| * | | | | | | Merge pull request #175044 from collares/pari-2.13.4 | Anderson Torres | 2022-05-28 |
| |\ \ \ \ \ \ | |||
| | * | | | | | | pari: 2.13.3 -> 2.13.4 | Mauricio Collares | 2022-05-27 |
| * | | | | | | | Merge pull request #173867 from trofi/fix-fno-common-for-kssd | Rick van Schijndel | 2022-05-28 |
| |\ \ \ \ \ \ \ | |||
| | * | | | | | | | kssd: pull upstream fix for -fno-common tollchains | Sergei Trofimovich | 2022-05-21 |
| * | | | | | | | | Merge pull request #175041 from collares/nauty-2.7r3 | Timo Kaufmann | 2022-05-28 |
| |\ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ |/| | | | | | | | |||
| | * | | | | | | | nauty: 27r1 -> 2.7r3 | Mauricio Collares | 2022-05-27 |
| | | |/ / / / / | |/| | | | | | |||
| * | | | | | | | Merge pull request #174677 from r-ryantm/auto-update/gmsh | Mario Rodas | 2022-05-28 |
| |\ \ \ \ \ \ \ | |||
| | * | | | | | | | gmsh: 4.9.5 -> 4.10.2 | R. Ryantm | 2022-05-26 |
| | |/ / / / / / | |||
| * | | | | | | | Merge pull request #175039 from azahi/clingcon-fix | Robert Scott | 2022-05-28 |
| |\ \ \ \ \ \ \ | |||
| | * | | | | | | | clingcon: fix build | Azat Bahawi | 2022-05-28 |
| * | | | | | | | | Merge pull request #174552 from r-ryantm/auto-update/dcmtk | Bobby Rong | 2022-05-28 |
| |\ \ \ \ \ \ \ \ | |||
| | * | | | | | | | | dcmtk: 3.6.6 -> 3.6.7 | R. Ryantm | 2022-05-25 |
| * | | | | | | | | | Merge pull request #152437 from Mic92/picoscope | Jörg Thalheim | 2022-05-28 |
| |\ \ \ \ \ \ \ \ \ | |||
| | * | | | | | | | | | picoscope: fix sources | Jörg Thalheim | 2022-05-28 |
| | | |_|/ / / / / / | |/| | | | | | | | |||
| * | | | | | | | | | Merge pull request #174438 from r-ryantm/auto-update/clingo | 7c6f434c | 2022-05-28 |
| |\ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / |/| | | | | | | | | |||