guix - Guix

	Commit message (Expand)	Author	Age
*	gnu: opencascade-occt: Use TBB 2020.	Ricardo Wurmus	2021-11-22
*	Merge branch 'master' into core-updates-frozen	Ludovic Courtès	2021-11-17
\|\
\| *	gnu: Add julia-sundials-jull	Jean-Baptiste Volatier	2021-11-16
* \|	gnu: openblas: Do not build static library.	Maxim Cournoyer	2021-11-11
* \|	gnu: openblas: Add support for older x86 processors.	Maxim Cournoyer	2021-11-11
* \|	gnu: openblas: Update to 0.3.18.	Maxim Cournoyer	2021-11-11
* \|	Merge remote-tracking branch 'origin/master' into core-updates-frozen	Efraim Flashner	2021-10-31
\|\\|
\| *	gnu: Add ocaml-z3.	Julien Lepiller	2021-10-28
\| *	gnu: Add clingo.	Liliana Marie Prikler	2021-10-24
\| *	gnu: Add clasp.	Liliana Marie Prikler	2021-10-24
\| *	gnu: Add libpotassco.	Liliana Marie Prikler	2021-10-24
\| *	gnu: hdf5@1.12: Update to 1.12.1.	Tobias Geerinckx-Rice	2021-10-18
* \|	gnu: hdf-java: Look for jars in the right place.	Ludovic Courtès	2021-10-23
* \|	gnu: Use 'search-input-file' some more.	Ludovic Courtès	2021-10-23
* \|	Merge remote-tracking branch 'origin/master' into core-updates-frozen.	Mathieu Othacehe	2021-10-12
\|\\|
\| *	gnu: frama-c: Update to 23.1.	Julien Lepiller	2021-10-08
\| *	gnu: why3: Update to 1.4.0.	Julien Lepiller	2021-10-08
\| *	gnu: mcrl2: Update hash of modified-in-place tarball.	Ludovic Courtès	2021-10-07
\| *	gnu: Add minizinc.	Liliana Marie Prikler	2021-09-25
\| *	gnu: Add gecode.	Liliana Marie Prikler	2021-09-25
\| *	gnu: fp16: Install Python files in the site directory.	Ludovic Courtès	2021-09-24
* \|	Merge branch 'master' into core-updates-frozen	Marius Bakke	2021-09-17
\|\\|
\| *	gnu: nauty: Update to 2.7r3.	Nicolas Goaziou	2021-09-11
* \|	gnu: aris: Fix build.	Guillaume Le Vaillant	2021-09-16
* \|	gnu: gsl: Comment out more tests that fail on i686-linux.	Ludovic Courtès	2021-09-14
* \|	gnu: netcdf-parallel-openmpi: Allow compilation with GCC 10.	Ludovic Courtès	2021-09-11
* \|	Merge branch 'master' into core-updates-frozen	Ludovic Courtès	2021-09-07
\|\\|
\| *	gnu: vc: Update to 1.4.2.	Tobias Geerinckx-Rice	2021-09-04
\| *	gnu: nauty: Update to 2.7r2.	Nicolas Goaziou	2021-09-04
* \|	gnu: Use the non-deprecated TeX packages.	Ludovic Courtès	2021-09-06
* \|	gnu: maxima: Fix build.	Guillaume Le Vaillant	2021-08-23
* \|	gnu: netcdf-fortran: Fix compiling with gfortran 10.	Guillaume Le Vaillant	2021-08-20
* \|	gnu: netcdf: Fix build.	Guillaume Le Vaillant	2021-08-20
* \|	gnu: hdf4: Fix compiling with gfortran 10.	Guillaume Le Vaillant	2021-08-20
* \|	Merge branch 'master' into core-updates-frozen	Marius Bakke	2021-08-12
\|\\|
\| *	gnu: dealii-openmpi: Add Trilinos dependency.	Paul A. Patience	2021-08-10
\| *	gnu: Add optizelle.	Paul Garlick	2021-08-05
\| *	gnu: Add bitwise.	Guix Together	2021-08-04
* \|	Merge branch 'master' into core-updates-frozen	Marius Bakke	2021-08-01
\|\\|
\| *	gnu: Add FP16.	Ludovic Courtès	2021-07-29
\| *	gnu: Add FXDiv.	Ludovic Courtès	2021-07-29
* \|	Merge branch 'master' into core-updates-frozen	Marius Bakke	2021-07-29
\|\\|
\| *	gnu: openlibm: Fix cross-compiling.	Jean-Baptiste Volatier	2021-07-28
\| *	gnu: openlibm: Update to 0.7.4.	Jean-Baptiste Volatier	2021-07-28
\| *	gnu: gsegrafix: Update to 1.0.7.2.	Tobias Geerinckx-Rice	2021-07-26
\| *	gnu: dealii: Update to 9.3.1 and clean up.	Paul A. Patience	2021-07-20
\| *	gnu: Add nomad-optimizer.	Paul A. Patience	2021-07-19
* \|	gnu: openblas: Use dynamic arch support for aarch64-linux.	Efraim Flashner	2021-07-25
* \|	gnu: Use 'search-input-file' when looking for .jar files.	Ludovic Courtès	2021-07-24
* \|	gnu: Use 'search-input-file' when looking for executables.	Ludovic Courtès	2021-07-24