| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge branch 'master' into core-updates. | Maxim Cournoyer | 2023-04-14 |
| |\ | |||
| | * | gnu: Purge pre-1.3.0 deprecated packages. | Bruno Victal | 2023-04-12 |
| | * | gnu: Separate potassco packages into their own module. | Liliana Marie Prikler | 2023-04-12 |
| | * | Merge branch 'master' into staging | Maxim Cournoyer | 2023-03-31 |
| | |\ | |||
| | | * | gnu: Add scilab. | Nicolas Graves | 2023-03-30 |
| | | * | gnu: Add suitesparse-3. | Nicolas Graves | 2023-03-30 |
| | | * | gnu: matio: Add header file. | Nicolas Graves | 2023-03-30 |
| | * | | gnu: hdf5-1.8: Delete trailing #t. | Maxim Cournoyer | 2023-03-30 |
| | * | | gnu: Add hdf5@1.14. | Greg Hogan | 2023-03-30 |
| | * | | gnu: hdf5@1.12: Update to 1.12.2. | Greg Hogan | 2023-03-30 |
| | * | | gnu: hdf5@1.10: Update to 1.10.9. | Greg Hogan | 2023-03-30 |
| | * | | gnu: hdf5@1.8: Update to 1.8.23. | Greg Hogan | 2023-03-30 |
| | |/ | |||
| | * | gnu: gnuplot: Update to 5.4.6. | Philippe SWARTVAGHER | 2023-03-27 |
| | * | gnu: octave: Remove input labels. | Maxim Cournoyer | 2023-03-23 |
| | * | gnu: octave: Update to 8.1.0. | Greg Hogan | 2023-03-23 |
| | * | gnu: Add dozenal. | Jake Leporte | 2023-03-21 |
| * | | Merge remote-tracking branch 'origin/master' into core-updates | Andreas Enge | 2023-03-20 |
| |\| | |||
| | * | gnu: Add scasp. | Liliana Marie Prikler | 2023-03-12 |
| | * | gnu: Add java-smtinterpol. | Liliana Marie Prikler | 2023-03-05 |
| | * | gnu: Add boolector. | Liliana Marie Prikler | 2023-03-05 |
| | * | gnu: Add btor2tools. | Liliana Marie Prikler | 2023-03-05 |
| | * | gnu: Add yices. | Liliana Marie Prikler | 2023-03-05 |
| | * | gnu: Add libpoly. | Liliana Marie Prikler | 2023-03-05 |
| | * | gnu: Add cudd. | Liliana Marie Prikler | 2023-03-05 |
| * | | Merge remote-tracking branch 'savannah/master' into core-updates | Christopher Baines | 2023-03-02 |
| |\| | |||
| | * | gnu: Use HTTPS package home pages wherever possible. | Tobias Geerinckx-Rice | 2023-02-19 |
| | * | gnu: python-clingo: Fix invalid G-expression input. | Simon Tournier | 2023-02-21 |
| | * | gnu: Add python-clorm. | Liliana Marie Prikler | 2023-02-19 |
| | * | gnu: python-clingo: Install distribution information. | Liliana Marie Prikler | 2023-02-19 |
| | * | gnu: Make nothing depend on QtWebKit. | Leo Famulari | 2023-02-17 |
| | * | gnu: Remove opencascade-oce. | Vinicius Monego | 2023-02-11 |
| | * | gnu: wxmaxima: Update to 22.12.0. | Andy Tai | 2023-02-08 |
| * | | gnu: texlive-graphics: Use over deprecated texlive-latex-graphics. | Efraim Flashner | 2023-01-30 |
| * | | Merge remote-tracking branch 'origin/master' into core-updates | Efraim Flashner | 2023-01-30 |
| |\| | |||
| | * | gnu: octave: Update to 7.3.0. | Andy Tai | 2023-01-28 |
| | * | gnu: hypre: Mark as tunable. | Ludovic Courtès | 2023-01-27 |
| | * | gnu: veusz: Don't depend on QtWebKit. | Marius Bakke | 2023-01-03 |
| | * | gnu: netcdf: Update to 4.9.0. | Roman Scherer | 2022-12-23 |
| | * | gnu: Add python-telingo. | Liliana Marie Prikler | 2022-12-15 |
| | * | gnu: Add python-clingo. | Liliana Marie Prikler | 2022-12-15 |
| | * | gnu: clingo: Use G-Expressions. | Liliana Marie Prikler | 2022-12-15 |
| | * | gnu: clingo: Update to 5.6.2. | Liliana Marie Prikler | 2022-12-15 |
| | * | gnu: suitesparse: Skip building graphblas on riscv64-linux. | Efraim Flashner | 2022-12-08 |
| | * | gnu: julia: Update to 1.8.3. | Efraim Flashner | 2022-12-08 |
| | * | gnu: Add libblastrampoline. | Akira Kyle | 2022-12-08 |
| | * | gnu: Add libfixmath. | Ricardo Wurmus | 2022-11-27 |
| | * | gnu: Add cryptominisat. | Liliana Marie Prikler | 2022-11-26 |
| | * | gnu: Add louvain-community. | Liliana Marie Prikler | 2022-11-26 |
| | * | gnu: Add lingeling. | Liliana Marie Prikler | 2022-11-26 |
| | * | gnu: Add aiger. | Liliana Marie Prikler | 2022-11-26 |