summary refs log tree commit diff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2023-03-05gnu: Add java-smtinterpol.Liliana Marie Prikler
2023-03-05gnu: Add boolector.Liliana Marie Prikler
2023-03-05gnu: Add btor2tools.Liliana Marie Prikler
2023-03-05gnu: Add yices.Liliana Marie Prikler
2023-03-05gnu: Add libpoly.Liliana Marie Prikler
2023-03-05gnu: Add cudd.Liliana Marie Prikler
2023-02-19gnu: Use HTTPS package home pages wherever possible.Tobias Geerinckx-Rice
2023-02-21gnu: python-clingo: Fix invalid G-expression input.Simon Tournier
2023-02-19gnu: Add python-clorm.Liliana Marie Prikler
2023-02-19gnu: python-clingo: Install distribution information.Liliana Marie Prikler
2023-02-17gnu: Make nothing depend on QtWebKit.Leo Famulari
2023-02-11gnu: Remove opencascade-oce.Vinicius Monego
2023-02-08gnu: wxmaxima: Update to 22.12.0.Andy Tai
2023-01-28gnu: octave: Update to 7.3.0.Andy Tai
2023-01-27gnu: hypre: Mark as tunable.Ludovic Courtès
2023-01-03gnu: veusz: Don't depend on QtWebKit.Marius Bakke
2022-12-23gnu: netcdf: Update to 4.9.0.Roman Scherer
2022-12-15gnu: Add python-telingo.Liliana Marie Prikler
2022-12-15gnu: Add python-clingo.Liliana Marie Prikler
2022-12-15gnu: clingo: Use G-Expressions.Liliana Marie Prikler
2022-12-15gnu: clingo: Update to 5.6.2.Liliana Marie Prikler
2022-12-08gnu: suitesparse: Skip building graphblas on riscv64-linux.Efraim Flashner
2022-12-08gnu: julia: Update to 1.8.3.Efraim Flashner
2022-12-08gnu: Add libblastrampoline.Akira Kyle
2022-11-27gnu: Add libfixmath.Ricardo Wurmus
2022-11-26gnu: Add cryptominisat.Liliana Marie Prikler
2022-11-26gnu: Add louvain-community.Liliana Marie Prikler
2022-11-26gnu: Add lingeling.Liliana Marie Prikler
2022-11-26gnu: Add aiger.Liliana Marie Prikler
2022-11-24gnu: clasp: Update to 3.3.9.jgart
2022-11-22gnu: octave: Update to 7.2.0.Greg Hogan
2022-11-22gnu: suitesparse: Update to 5.13.0.Greg Hogan
2022-11-22gnu: dune-alugrid: Fix build failure.Marius Bakke
2022-11-22gnu: arpack-ng: Remove 3.3.0.Marius Bakke
2022-11-21gnu: opencascade-occt: Update to 7.6.2.Artyom V. Poptsov
2022-11-14gnu: cddlib: Add source file-name.Efraim Flashner
2022-10-24gnu: Various typo fixes.Vagrant Cascadian
2022-10-16Merge branch 'staging'Marius Bakke
2022-10-15gnu: fp16: Fix build on i686-linux.Marius Bakke
2022-10-12Merge remote-tracking branch 'origin/master' into stagingEfraim Flashner
2022-10-02gnu: units: Update to 2.22.Mike Swanson
2022-09-27Merge branch 'master' into staging.Maxim Cournoyer
2022-09-22gnu: lablgtk3: Update to 3.1.2.Julien Lepiller
2022-08-27Merge branch 'master' into stagingMarius Bakke
2022-08-15gnu: Add kissat.Maximilian Heisinger
2022-08-14gnu: itpp: Remove non-deterministic log file.Vagrant Cascadian
2022-08-11Merge branch 'master' into stagingMarius Bakke
2022-08-08gnu: suitesparse: Update to 5.12.0.Greg Hogan
2022-08-10gnu: frama-c: Use lablgtk3.Julien Lepiller
2022-08-10gnu: maxima: Fix to find info files.Daniel Meißner
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 09:15:49 +0000