Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |
| |\ \ | |||
| * \ \ | Merge branch 'master' into staging | Marius Bakke | 2022-08-27 |
| |\ \ \ | |||
| * \ \ \ | Merge branch 'master' into staging | Marius Bakke | 2022-08-11 |
| |\ \ \ \ | |||
| * | | | | | gnu: suitesparse: Update to 5.12.0. | Greg Hogan | 2022-08-08 |
* | | | | | | gnu: fp16: Fix build on i686-linux. | Marius Bakke | 2022-10-15 |
| |_|_|_|/ |/| | | | | |||
* | | | | | gnu: units: Update to 2.22. | Mike Swanson | 2022-10-02 |
| |_|_|/ |/| | | | |||
* | | | | gnu: lablgtk3: Update to 3.1.2. | Julien Lepiller | 2022-09-22 |
| |_|/ |/| | | |||
* | | | gnu: Add kissat. | Maximilian Heisinger | 2022-08-15 |
* | | | gnu: itpp: Remove non-deterministic log file. | Vagrant Cascadian | 2022-08-14 |
| |/ |/| | |||
* | | gnu: frama-c: Use lablgtk3. | Julien Lepiller | 2022-08-10 |
* | | gnu: maxima: Fix to find info files. | Daniel Meißner | 2022-08-10 |