guix - Guix

	Commit message (Expand)	Author	Age
*	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
* \|	gnu: Use 'search-input-file' when searching for Automake files.	Ludovic Courtès	2021-07-24
* \|	gnu: gsl: Update to 2.7.	Marius Bakke	2021-07-23
* \|	Merge branch 'master' into core-updates	Ludovic Courtès	2021-07-18
\|\\|
\| *	gnu: Add blitz.	Ivan Gankevich	2021-07-16
\| *	gnu: gmsh: Sort inputs alphabetically.	Efraim Flashner	2021-07-13
\| *	gnu: gmsh: Simply downloading source logic.	Efraim Flashner	2021-07-13
\| *	gnu: gmsh: Update to 4.8.4.	Paul A. Patience	2021-07-13
\| *	gnu: gmsh: Install Python API in standard directory.	Paul Garlick	2021-07-12
\| *	gnu: mcrl2: Update to 202106.0.	Jan (janneke) Nieuwenhuizen	2021-07-08
\| *	gnu: openblas: Fix building on powerpc64le-linux.	Efraim Flashner	2021-07-07
\| *	gnu: openblas: Fix building on armhf-linux.	Efraim Flashner	2021-07-07
\| *	gnu: atlas: Extend build time-out.	Tobias Geerinckx-Rice	2021-07-02
\| *	gnu: gnuplot: Update to 5.4.2.	Tobias Geerinckx-Rice	2021-07-02
\| *	gnu: scotch: Update to 6.1.1.	Ludovic Courtès	2021-06-29