guix - Guix

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