aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* gnu: Add java-smtinterpol.Liliana Marie Prikler2023-03-05
* gnu: Add boolector.Liliana Marie Prikler2023-03-05
* gnu: Add btor2tools.Liliana Marie Prikler2023-03-05
* gnu: Add yices.Liliana Marie Prikler2023-03-05
* gnu: Add libpoly.Liliana Marie Prikler2023-03-05
* gnu: Add cudd.Liliana Marie Prikler2023-03-05
* gnu: Use HTTPS package home pages wherever possible.Tobias Geerinckx-Rice2023-02-19
* gnu: python-clingo: Fix invalid G-expression input.Simon Tournier2023-02-21
* gnu: Add python-clorm.Liliana Marie Prikler2023-02-19
* gnu: python-clingo: Install distribution information.Liliana Marie Prikler2023-02-19
* gnu: Make nothing depend on QtWebKit.Leo Famulari2023-02-17
* gnu: Remove opencascade-oce.Vinicius Monego2023-02-11
* gnu: wxmaxima: Update to 22.12.0.Andy Tai2023-02-08
* gnu: octave: Update to 7.3.0.Andy Tai2023-01-28
* gnu: hypre: Mark as tunable.Ludovic Courtès2023-01-27
* gnu: veusz: Don't depend on QtWebKit.Marius Bakke2023-01-03
* gnu: netcdf: Update to 4.9.0.Roman Scherer2022-12-23
* gnu: Add python-telingo.Liliana Marie Prikler2022-12-15
* gnu: Add python-clingo.Liliana Marie Prikler2022-12-15
* gnu: clingo: Use G-Expressions.Liliana Marie Prikler2022-12-15
* gnu: clingo: Update to 5.6.2.Liliana Marie Prikler2022-12-15
* gnu: suitesparse: Skip building graphblas on riscv64-linux.Efraim Flashner2022-12-08
* gnu: julia: Update to 1.8.3.Efraim Flashner2022-12-08
* gnu: Add libblastrampoline.Akira Kyle2022-12-08
* gnu: Add libfixmath.Ricardo Wurmus2022-11-27
* gnu: Add cryptominisat.Liliana Marie Prikler2022-11-26
* gnu: Add louvain-community.Liliana Marie Prikler2022-11-26
* gnu: Add lingeling.Liliana Marie Prikler2022-11-26
* gnu: Add aiger.Liliana Marie Prikler2022-11-26
* gnu: clasp: Update to 3.3.9.jgart2022-11-24
* gnu: octave: Update to 7.2.0.Greg Hogan2022-11-22
* gnu: suitesparse: Update to 5.13.0.Greg Hogan2022-11-22
* gnu: dune-alugrid: Fix build failure.Marius Bakke2022-11-22
* gnu: arpack-ng: Remove 3.3.0.Marius Bakke2022-11-22
* gnu: opencascade-occt: Update to 7.6.2.Artyom V. Poptsov2022-11-21
* gnu: cddlib: Add source file-name.Efraim Flashner2022-11-14
* gnu: Various typo fixes.Vagrant Cascadian2022-10-24
* Merge branch 'staging'Marius Bakke2022-10-16
|\
| * Merge remote-tracking branch 'origin/master' into stagingEfraim Flashner2022-10-12
| |\
| * \ Merge branch 'master' into staging.Maxim Cournoyer2022-09-27
| |\ \
| * \ \ Merge branch 'master' into stagingMarius Bakke2022-08-27
| |\ \ \
| * \ \ \ Merge branch 'master' into stagingMarius Bakke2022-08-11
| |\ \ \ \
| * | | | | gnu: suitesparse: Update to 5.12.0.Greg Hogan2022-08-08
* | | | | | gnu: fp16: Fix build on i686-linux.Marius Bakke2022-10-15
| |_|_|_|/ |/| | | |
* | | | | gnu: units: Update to 2.22.Mike Swanson2022-10-02
| |_|_|/ |/| | |
* | | | gnu: lablgtk3: Update to 3.1.2.Julien Lepiller2022-09-22
| |_|/ |/| |
* | | gnu: Add kissat.Maximilian Heisinger2022-08-15
* | | gnu: itpp: Remove non-deterministic log file.Vagrant Cascadian2022-08-14
| |/ |/|
* | gnu: frama-c: Use lablgtk3.Julien Lepiller2022-08-10
* | gnu: maxima: Fix to find info files.Daniel Meißner2022-08-10