summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2023-04-14Merge branch 'master' into core-updates....Maxim Cournoyer
2023-04-12gnu: Purge pre-1.3.0 deprecated packages....Bruno Victal
2023-04-12gnu: Separate potassco packages into their own module....Liliana Marie Prikler
2023-03-31Merge branch 'master' into stagingMaxim Cournoyer
2023-03-30gnu: hdf5-1.8: Delete trailing #t....Maxim Cournoyer
2023-03-30gnu: Add hdf5@1.14....Greg Hogan
2023-03-30gnu: hdf5@1.12: Update to 1.12.2....Greg Hogan
2023-03-30gnu: hdf5@1.10: Update to 1.10.9....Greg Hogan
2023-03-30gnu: hdf5@1.8: Update to 1.8.23....Greg Hogan
2023-03-30gnu: Add scilab....Nicolas Graves
2023-03-30gnu: Add suitesparse-3....Nicolas Graves
2023-03-30gnu: matio: Add header file....Nicolas Graves
2023-03-27gnu: gnuplot: Update to 5.4.6....Philippe SWARTVAGHER
2023-03-23gnu: octave: Remove input labels....Maxim Cournoyer
2023-03-23gnu: octave: Update to 8.1.0....Greg Hogan
2023-03-21gnu: Add dozenal....Jake Leporte
2023-03-20Merge remote-tracking branch 'origin/master' into core-updatesAndreas Enge
2023-03-12gnu: Add scasp....Liliana Marie Prikler
2023-03-02Merge remote-tracking branch 'savannah/master' into core-updates...Christopher Baines
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-30gnu: texlive-graphics: Use over deprecated texlive-latex-graphics....Efraim Flashner
2023-01-30Merge remote-tracking branch 'origin/master' into core-updates...Efraim Flashner
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