| Age | Commit message (Expand) | Author |
|---|
| 2023-04-07 | gnu: Purge pre-1.3.0 deprecated packages. | Bruno Victal |
| 2023-04-02 | gnu: Separate potassco packages into their own module. | Liliana Marie Prikler |
| 2023-03-30 | 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-27 | gnu: gnuplot: Update to 5.4.6. | Philippe SWARTVAGHER |
| 2023-03-23 | gnu: octave: Remove input labels. | Maxim Cournoyer |
| 2023-03-23 | gnu: octave: Update to 8.1.0. | Greg Hogan |
| 2023-03-21 | gnu: Add dozenal. | Jake Leporte |
| 2023-03-12 | gnu: Add scasp. | Liliana Marie Prikler |
| 2023-03-05 | 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-02-19 | gnu: Use HTTPS package home pages wherever possible. | Tobias Geerinckx-Rice |
| 2023-02-21 | gnu: python-clingo: Fix invalid G-expression input. | Simon Tournier |
| 2023-02-19 | gnu: Add python-clorm. | Liliana Marie Prikler |
| 2023-02-19 | gnu: python-clingo: Install distribution information. | Liliana Marie Prikler |
| 2023-02-17 | gnu: Make nothing depend on QtWebKit. | Leo Famulari |
| 2023-02-11 | gnu: Remove opencascade-oce. | Vinicius Monego |
| 2023-02-08 | gnu: wxmaxima: Update to 22.12.0. | Andy Tai |
| 2023-01-28 | gnu: octave: Update to 7.3.0. | Andy Tai |
| 2023-01-27 | gnu: hypre: Mark as tunable. | Ludovic Courtès |
| 2023-01-03 | gnu: veusz: Don't depend on QtWebKit. | Marius Bakke |
| 2022-12-23 | gnu: netcdf: Update to 4.9.0. | Roman Scherer |
| 2022-12-15 | 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-08 | 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-11-27 | gnu: Add libfixmath. | Ricardo Wurmus |
| 2022-11-26 | 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-24 | gnu: clasp: Update to 3.3.9. | jgart |
| 2022-11-22 | gnu: octave: Update to 7.2.0. | Greg Hogan |
| 2022-11-22 | gnu: suitesparse: Update to 5.13.0. | Greg Hogan |
| 2022-11-22 | gnu: dune-alugrid: Fix build failure. | Marius Bakke |
| 2022-11-22 | gnu: arpack-ng: Remove 3.3.0. | Marius Bakke |
| 2022-11-21 | gnu: opencascade-occt: Update to 7.6.2. | Artyom V. Poptsov |
| 2022-11-14 | gnu: cddlib: Add source file-name. | Efraim Flashner |
| 2022-10-24 | gnu: Various typo fixes. | Vagrant Cascadian |
| 2022-10-16 | Merge branch 'staging' | Marius Bakke |
| 2022-10-15 | gnu: fp16: Fix build on i686-linux. | Marius Bakke |
| 2022-10-12 | Merge remote-tracking branch 'origin/master' into staging | Efraim Flashner |
