| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | gnu: Purge pre-1.3.0 deprecated packages. | Bruno Victal | 2023-04-07 |
| * | gnu: Separate potassco packages into their own module. | Liliana Marie Prikler | 2023-04-02 |
| * | 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: 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 |
| * | 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 |
| * | 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: 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 |
| * | gnu: clasp: Update to 3.3.9. | jgart | 2022-11-24 |
| * | 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-22 |
| * | gnu: opencascade-occt: Update to 7.6.2. | Artyom V. Poptsov | 2022-11-21 |
| * | gnu: cddlib: Add source file-name. | Efraim Flashner | 2022-11-14 |
| * | gnu: Various typo fixes. | Vagrant Cascadian | 2022-10-24 |
| * | Merge branch 'staging' | Marius Bakke | 2022-10-16 |
| |\ | |||
| | * | Merge remote-tracking branch 'origin/master' into staging | Efraim Flashner | 2022-10-12 |
| | |\ | |||
| | * \ | Merge branch 'master' into staging. | Maxim Cournoyer | 2022-09-27 |
| | |\ \ | |||