Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | | finalfusion-utils: 0.13.2 -> 0.14.1 | R. RyanTM | 2022-01-12 | |
|/ / | ||||
* | | isabelle: patch jni libs for nitpick | 1000teslas | 2022-01-11 | |
* | | isabelle: patch zipperposition binary | 1000teslas | 2022-01-11 | |
|/ | ||||
* | cp2k: 8.2.0 -> 9.1.0 | Phillip Seeber | 2022-01-10 | |
* | Merge pull request #154084 from NickCao/astrolog | Bernardo Meurer | 2022-01-09 | |
|\ | ||||
| * | astrolog: fix cross compilation | Nick Cao | 2022-01-09 | |
* | | Merge pull request #154077 from fabaff/bump-nextinspace | Fabian Affolter | 2022-01-09 | |
|\ \ | |/ |/| | ||||
| * | nextinspace: 1.0.6 -> 2.0.3 | Fabian Affolter | 2022-01-09 | |
* | | Merge pull request #153014 from numinit/add-klee | Renaud | 2022-01-09 | |
|\ \ | |/ |/| | ||||
| * | klee: init at 2.2 | Morgan Jones | 2022-01-08 | |
* | | gmsh: 4.9.0 -> 4.9.2 | R. RyanTM | 2022-01-08 | |
* | | lean: 3.36.0 -> 3.37.0 | Mauricio Collares | 2022-01-07 | |
* | | Merge pull request #152326 from kmein/feature/astrolog | Lassulus | 2022-01-04 | |
|\ \ | ||||
| * | | astrolog: switches for using optional ephemeris/atlas files | Kierán Meinhardt | 2021-12-28 | |
* | | | lean: 3.35.1 -> 3.36.0 | Mauricio Collares | 2022-01-04 | |
* | | | Merge pull request #153337 from collares/lean-3.35.1 | Gabriel Ebner | 2022-01-03 | |
|\ \ \ | ||||
| * | | | lean: 3.35.0 -> 3.35.1 | Mauricio Collares | 2022-01-03 | |
* | | | | Merge pull request #152801 from r-ryantm/auto-update/messer-slim | markuskowa | 2022-01-03 | |
|\ \ \ \ | ||||
| * | | | | messer-slim: 3.6 -> 3.7 | R. Ryantm | 2021-12-30 | |
* | | | | | Merge pull request #153190 from jvanbruegge/isabelle-vampire | Gabriel Ebner | 2022-01-02 | |
|\ \ \ \ \ | ||||
| * | | | | | isabelle: Use vampire and eprover from nixpkgs | Jan van Brügge | 2022-01-02 | |
| * | | | | | eprover: Add option to enable LFHOL reasoning | Jan van Brügge | 2022-01-02 | |
| * | | | | | vampire: 4.5.1 -> 4.6.1 | Jan van Brügge | 2022-01-01 | |
* | | | | | | z3: 4.8.12 -> 4.8.14 | Sergei Trofimovich | 2022-01-02 | |
* | | | | | | stacks: 2.59 -> 2.60 | R. RyanTM | 2022-01-02 | |
* | | | | | | libpoly: 0.1.10 -> 0.1.11 | R. RyanTM | 2022-01-02 | |
* | | | | | | yices: 2.6.2 -> 2.6.4 | R. RyanTM | 2022-01-02 | |
* | | | | | | Merge pull request #152907 from dotlambda/python2-remove | Martin Weinelt | 2022-01-02 | |
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | ||||
| * | | | | | python3Packages.xenomapper: move to top-level | Martin Weinelt | 2022-01-01 | |
* | | | | | | Merge pull request #147367 from TilCreator/package-inav-configurator | Sandro | 2022-01-01 | |
|\ \ \ \ \ \ | ||||
| * | | | | | | inav-configurator: init at 3.0.2 | tilcreator | 2021-11-30 | |
* | | | | | | | Merge pull request #152921 from jvanbruegge/isabelle-2021-1 | Gabriel Ebner | 2022-01-01 | |
|\ \ \ \ \ \ \ | ||||
| * | | | | | | | isabelle: 2021 -> 2021-1 | Jan van Brügge | 2021-12-31 | |
| * | | | | | | | verit: 2016 -> 2021.06.2 | Jan van Brügge | 2021-12-31 | |
| | |_|/ / / / | |/| | | | | | ||||
* | | | | | | | Merge pull request #149135 from r-ryantm/auto-update/finalfusion-utils | Bobby Rong | 2022-01-01 | |
|\ \ \ \ \ \ \ | |_|_|/ / / / |/| | | | | | | ||||
| * | | | | | | finalfusion-utils: 0.13.0 -> 0.13.2 | R. Ryantm | 2022-01-01 | |
* | | | | | | | Merge pull request #150333 from piegamesde/update-streamlit | Martin Weinelt | 2021-12-31 | |
|\ \ \ \ \ \ \ | ||||
| * | | | | | | | pythonPackages.streamlit: 0.50.2 -> 1.2.0 | piegames | 2021-12-31 | |
* | | | | | | | | Merge pull request #152932 from r-ryantm/auto-update/calc | Ben Siraphob | 2021-12-31 | |
|\ \ \ \ \ \ \ \ | ||||
| * | | | | | | | | calc: 2.14.0.8 -> 2.14.0.13 | R. Ryantm | 2021-12-31 | |
| | |_|/ / / / / | |/| | | | | | | ||||
* | | | | | | | | Merge pull request #152605 from j0hax/speedcrunch-fixups | Gabriel Ebner | 2021-12-31 | |
|\ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ |/| | | | | | | | ||||
| * | | | | | | | speedcrunch: 0.12.0 -> unstable-2021-10-09 | Johannes Arnold | 2021-12-31 | |
| * | | | | | | | speedcrunch: use proper fetcher | Johannes Arnold | 2021-12-29 | |
* | | | | | | | | Merge pull request #152811 from r-ryantm/auto-update/jmol | Bobby Rong | 2021-12-31 | |
|\ \ \ \ \ \ \ \ | ||||
| * | | | | | | | | jmol: 14.32.2 -> 14.32.6 | R. Ryantm | 2021-12-30 | |
| | |/ / / / / / | |/| | | | | | | ||||
* | | | | | | | | Merge pull request #152106 from Ma27/bump-stellarium | Maximilian Bosch | 2021-12-30 | |
|\ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / |/| | | | | | | | ||||
| * | | | | | | | stellarium: 0.21.2 -> 0.21.3 | Maximilian Bosch | 2021-12-25 | |
* | | | | | | | | Merge pull request #152409 from collares/singular-maxprocess | 7c6f434c | 2021-12-30 | |
|\ \ \ \ \ \ \ \ | |_|/ / / / / / |/| | | | | | | | ||||
| * | | | | | | | singular: backport patch to fix docbuilding with >= 64 cpus | Mauricio Collares | 2021-12-27 | |
* | | | | | | | | treewide: fix homepages with permanent redirect to https | Ben Siraphob | 2021-12-29 | |
| |_|/ / / / / |/| | | | | | |