Age | Commit message (Expand) | Author |
---|---|---|
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 |
2022-10-02 | gnu: units: Update to 2.22.... | Mike Swanson |