index
:
guix
koszko
koszko-scripts
Wojtek's customized Guix
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
maths.scm
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
[next]