| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge pull request #271114 from vbgl/why3-1.7.0 | Peder Bergebakken Sundt | 2023-12-02 |
| |\ | |||
| | * | why3: 1.6.0 → 1.7.0 | Vincent Laporte | 2023-11-30 |
| * | | Merge pull request #270695 from r-ryantm/auto-update/simgrid | Emily Trau | 2023-12-02 |
| |\ \ | |||
| | * | | simgrid: 3.34 -> 3.35 | R. Ryantm | 2023-11-28 |
| * | | | Merge pull request #269053 from r-ryantm/auto-update/wxmaxima | Doron Behar | 2023-12-01 |
| |\ \ \ | |||
| | * | | | wxmaxima: 23.10.0 -> 23.11.0 | R. Ryantm | 2023-11-21 |
| * | | | | Merge pull request #186462 from apraga/bio-bigfile-1.07 | Doron Behar | 2023-11-30 |
| |\ \ \ \ | |||
| | * | | | | perlPackages.BioBigFile: Addressing reviewer change | Alexis Praga | 2023-11-21 |
| | * | | | | perlPackages.BioBigfile: init at 1.07 | Alexis Praga | 2023-11-21 |
| | * | | | | kent: enable patches if needed. | Alexis Praga | 2023-11-12 |
| * | | | | | Merge pull request #271084 from marsam/update-lean4 | Mario Rodas | 2023-11-30 |
| |\ \ \ \ \ | |_|_|_|/ |/| | | | | |||
| | * | | | | lean4: 4.2.0 -> 4.3.0 | Mario Rodas | 2023-11-29 |
| * | | | | | acgtk: 1.5.4 → 2.0.0 | Vincent Laporte | 2023-11-30 |
| |/ / / / | |||
| * | | | | surelog: 1.76 -> 1.80 | Henner Zeller | 2023-11-29 |
| * | | | | uhdm: 1.77 -> 1.80 | Henner Zeller | 2023-11-29 |
| * | | | | Merge pull request #270312 from rafaelrc7/update-mathematica | Emily Trau | 2023-11-29 |
| |\ \ \ \ | |||
| | * | | | | mathematica: add rafaelrc to maintainers | rafaelrc7 | 2023-11-27 |
| | * | | | | mathematica: 13.3.0 -> 13.3.1 | rafaelrc7 | 2023-11-26 |
| * | | | | | mosdepth: build with a lockfile | Emery Hemingway | 2023-11-28 |
| * | | | | | Merge pull request #267703 from zimbatm/gromacs-plumed | markuskowa | 2023-11-28 |
| |\ \ \ \ \ | |_|_|_|/ |/| | | | | |||
| | * | | | | gromacs: add the plumed patches | zimbatm | 2023-11-15 |
| * | | | | | Merge pull request #269115 from r-ryantm/auto-update/phd2 | Pol Dellaiera | 2023-11-27 |
| |\ \ \ \ \ | |||
| | * | | | | | phd2: 2.6.11 -> 2.6.12 | R. Ryantm | 2023-11-22 |
| | | |_|_|/ | |/| | | | |||
| * | | | | | fahclient: 7.6.21 -> 8.1.18 (#246832) | Jonas Chevalier | 2023-11-27 |
| * | | | | | igv: Fix missing wrapGAppsHook causing causing GLib-GIO-ERROR | Stian Lågstad | 2023-11-26 |
| | |_|/ / |/| | | | |||
| * | | | | xearth: improve meta.license | MarcFontaine | 2023-11-26 |
| * | | | | Merge pull request #269034 from a-n-n-a-l-e-e/lp_solver-fix | Robert Scott | 2023-11-26 |
| |\ \ \ \ | |||
| | * | | | | lp_solve: ignore implicit int warnings, add x64 darwin ldflags | annalee | 2023-11-22 |
| | |/ / / | |||
| * | | | | magic-vlsi: 8.3.447 -> 8.3.449 | R. Ryantm | 2023-11-25 |
| * | | | | Merge pull request #258205 from evils/kicad | Peder Bergebakken Sundt | 2023-11-26 |
| |\ \ \ \ | |||
| | * | | | | kicad: 7.0.8 -> 7.0.9 | Evils | 2023-11-05 |
| | * | | | | kicad: 7.0.7 -> 7.0.8 | Evils | 2023-11-05 |
| * | | | | | Merge pull request #269700 from NixOS/pr/root_warning_fix | Pierre Bourdon | 2023-11-25 |
| |\ \ \ \ \ | |||
| | * | | | | | root: fix excessive build log size | Dmitry Kalinkin | 2023-11-24 |
| * | | | | | | Merge pull request #269640 from natsukium/dssp/update | OTABI Tomoya | 2023-11-25 |
| |\ \ \ \ \ \ | |||
| | * | | | | | | dssp: 4.4.4.1 -> 4.4.5 | natsukium | 2023-11-24 |
| * | | | | | | | lean4: fix build on darwin | Mario Rodas | 2023-11-23 |
| * | | | | | | | jmol: 16.1.43 -> 16.1.45 | R. Ryantm | 2023-11-22 |
| * | | | | | | | gama: 2.26 -> 2.27 | R. Ryantm | 2023-11-22 |
| * | | | | | | | Merge pull request #268779 from NixOS/update-xflr5 | Emily Trau | 2023-11-23 |
| |\ \ \ \ \ \ \ | |||
| | * | | | | | | | xflr5: 6.47 -> 6.61 | Andreas Rammhold | 2023-11-20 |
| | | |_|_|/ / / | |/| | | | | | |||
| * / | | | | | | cadical: 1.8.0 -> 1.9.0 | R. Ryantm | 2023-11-21 |
| |/ / / / / / | |||
| * | | | | | | Merge pull request #267114 from katexochen/maintainers/jfrankenau | ajs124 | 2023-11-20 |
| |\ \ \ \ \ \ | |||
| | * | | | | | | maintainers: remove jfrankenau | Paul Meyer | 2023-11-20 |
| * | | | | | | | easycrypt: fix runtest command | Vincent Laporte | 2023-11-20 |
| |/ / / / / / | |||
| * | | | | | | hol_light: 2023-07-21 → 2023-11-03 | Vincent Laporte | 2023-11-20 |
| * | | | | | | eigenmath: unstable-2023-10-26 -> unstable-2023-11-17 | R. Ryantm | 2023-11-18 |
| * | | | | | | update sources | TelepathicWalrus | 2023-11-18 |
| * | | | | | | treewide: s_targetPlatform_hostPlatform_ in non-compiler packages | Adam Joseph | 2023-11-17 |
| * | | | | | | eprover: update hash - target modified inplace | annalee | 2023-11-17 |