Age | Commit message (Expand) | Author |
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 |
2022-09-27 | Merge branch 'master' into staging. | Maxim Cournoyer |
2022-09-22 | gnu: lablgtk3: Update to 3.1.2. | Julien Lepiller |
2022-08-27 | Merge branch 'master' into staging | Marius Bakke |
2022-08-15 | gnu: Add kissat. | Maximilian Heisinger |
2022-08-14 | gnu: itpp: Remove non-deterministic log file. | Vagrant Cascadian |
2022-08-11 | Merge branch 'master' into staging | Marius Bakke |
2022-08-08 | gnu: suitesparse: Update to 5.12.0. | Greg Hogan |
2022-08-10 | gnu: frama-c: Use lablgtk3. | Julien Lepiller |