Kei Kebreau 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								8a0dd289c5 
								
							 
						 
						
							
							
								
								gnu: octave, octave-cli: Update to 5.2.0.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (octave, octave-cli): Update to 5.2.0.
[inputs]: Add bdb. 
							
						 
						
							2020-02-10 14:43:06 -05:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Eric Bavier 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								aa2e83cce2 
								
							 
						 
						
							
							
								
								gnu: superlu-dist: Update to 6.2.0.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (superlu-dist): Update to 6.2.0.
[source]: Update upstream url.  Remove mpi deprecations patch.
* gnu/packages/patches/superlu-dist-fix-mpi-deprecations.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it. 
							
						 
						
							2020-01-31 09:17:16 -06:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Eric Bavier 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								48fe5c36a2 
								
							 
						 
						
							
							
								
								gnu: superlu: Update upstream url.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (superlu)[source,home-page]: Update url. 
							
						 
						
							2020-01-31 09:13:57 -06:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Kei Kebreau 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								48446f0f94 
								
							 
						 
						
							
							
								
								gnu: wxmaxima: Update to 20.01.3.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (wxmaxima): Update to 20.01.3.
[home-page]: Update URL. 
							
						 
						
							2020-01-23 14:22:41 -05:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								1e05e837c7 
								
							 
						 
						
							
							
								
								gnu: elemental: Update home page.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (elemental)[home-page]: Use repository home
page. 
							
						 
						
							2020-01-19 17:57:09 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								2299d83e2f 
								
							 
						 
						
							
							
								
								gnu: petsc: Use HTTPS home page.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (petsc)[home-page, license]: Use HTTPS. 
							
						 
						
							2020-01-19 06:09:02 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								0a44f9c4e4 
								
							 
						 
						
							
							
								
								gnu: Use HTTPS for www.hdfgroup.org.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (hdf5)[home-page, license]: Use HTTPS.
(hdf-java, h5check)[source]: Likewise. 
							
						 
						
							2020-01-17 23:32:34 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								821aa687b4 
								
							 
						 
						
							
							
								
								gnu: netcdf: Use HTTPS home page.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (netcdf)[home-page]: Use HTTPS. 
							
						 
						
							2020-01-17 23:32:34 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								d5730000e2 
								
							 
						 
						
							
							
								
								gnu: scotch: Use HTTPS home page.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (scotch)[home-page]: Use HTTPS. 
							
						 
						
							2020-01-17 23:32:34 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Amin Bandali 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								a3143063ae 
								
							 
						 
						
							
							
								
								Update email address for Amin Bandali.  
							
							 
							
							... 
							
							
							
							* .mailmap: Add name and email addresses for Amin Bandali.
* gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm:
Update email address for Amin Bandali.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr> 
							
						 
						
							2020-01-17 18:30:33 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Paul Garlick 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								09bad3cd42 
								
							 
						 
						
							
							
								
								gnu: python-slepc4py: Update to 3.11.0.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (python-slepc4py): Update to 3.11.0. 
							
						 
						
							2020-01-14 17:24:11 +00:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Paul Garlick 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								f1cc312e15 
								
							 
						 
						
							
							
								
								gnu: python-petsc4py: Update to 3.11.0.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (python-petsc4py): Update to 3.11.0. 
							
						 
						
							2020-01-14 17:23:50 +00:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								cb169aae81 
								
							 
						 
						
							
							
								
								gnu: hdf5@1.10: Update to 1.10.6.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (hdf5-1.10): Update to 1.10.6. 
							
						 
						
							2020-01-10 23:47:28 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Konrad Hinsen 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								e6de152dc1 
								
							 
						 
						
							
							
								
								gnu: lapack: Update to 3.9.0.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (lapack): Update to 3.9.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org> 
							
						 
						
							2020-01-07 12:25:09 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Ludovic Courtès 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								94fea21b21 
								
							 
						 
						
							
							
								
								gnu: hdf5@1.10: Update to 1.10.5.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (hdf5-1.10): Update to 1.10.5.  Remove
"hdf5-mpi-deprecations.patch".
* gnu/packages/patches/hdf5-mpi-deprecations.patch: Remove.
* gnu/local.mk (dist_patch_DATA): Remove it. 
							
						 
						
							2019-12-13 18:04:04 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Andreas Enge 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								0ffc2d537d 
								
							 
						 
						
							
							
								
								gnu: Add lrslib.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (lrslib): New variable. 
							
						 
						
							2019-12-06 22:56:02 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								33b59c1a3e 
								
							 
						 
						
							
							
								
								Merge branch 'staging'  
							
							 
							
							
							
						 
						
							2019-12-04 20:12:41 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								dbef037ff4 
								
							 
						 
						
							
							
								
								gnu: z3: Update to 4.8.7.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (z3): Update to 4.8.7. 
							
						 
						
							2019-12-01 00:49:15 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								1ff64c503a 
								
							 
						 
						
							
							
								
								gnu: nauty: Update to 2.6r12.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (nauty): Update to 2.6r12. 
							
						 
						
							2019-12-01 00:49:14 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								0897ad7fac 
								
							 
						 
						
							
							
								
								Merge branch 'master' into staging  
							
							 
							
							
							
						 
						
							2019-11-28 00:38:25 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Ricardo Wurmus 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								f3640e7395 
								
							 
						 
						
							
							
								
								gnu: Remove obsolete import of R build system module.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm: Remove import of (guix build-system r). 
							
						 
						
							2019-11-27 18:29:32 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									zimoun 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								ef7944b94f 
								
							 
						 
						
							
							
								
								gnu: r-subplex: Move to (gnu packages cran).  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (r-subplex): Move from here...
* gnu/packages/cran.scm (r-subplex): ...to here.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net> 
							
						 
						
							2019-11-27 18:15:34 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									zimoun 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								682768deb0 
								
							 
						 
						
							
							
								
								gnu: r-pracma: Move to (gnu packages cran).  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (r-pracma): Move from here...
* gnu/packages/cran.scm (r-pracma): ...to here.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net> 
							
						 
						
							2019-11-27 18:15:34 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									zimoun 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								9bd56b1a77 
								
							 
						 
						
							
							
								
								gnu: r-desolve: Move to (gnu packages cran).  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (r-desolve): Move from here...
* gnu/packages/cran.scm (r-desolve): ...to here.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net> 
							
						 
						
							2019-11-27 18:15:34 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									zimoun 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								0eb59d9eac 
								
							 
						 
						
							
							
								
								gnu: r-quadprog: Move to (gnu packages cran).  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (r-quadprog): Move from here...
* gnu/packages/cran.scm (r-quadprog): ...to here.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net> 
							
						 
						
							2019-11-27 18:15:34 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Kei Kebreau 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								1e8609f238 
								
							 
						 
						
							
							
								
								gnu: wxmaxima: Update to 19.11.1.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (wxmaxima): Update to 19.11.1. 
							
						 
						
							2019-11-23 15:33:14 -05:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								ec9a15c2eb 
								
							 
						 
						
							
							
								
								gnu: r-quadprog: Update to 1.5-8.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (r-quadprog): Update to 1.5-8. 
							
						 
						
							2019-11-23 02:00:40 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								3db9cbf676 
								
							 
						 
						
							
							
								
								gnu: r-desolve: Update to 1.25.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (r-desolve): Update to 1.25. 
							
						 
						
							2019-11-23 02:00:40 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								b60d2bfff9 
								
							 
						 
						
							
							
								
								Merge branch 'master' into staging  
							
							 
							
							
							
						 
						
							2019-11-21 22:44:15 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Robert Smith 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								3b7828cc7f 
								
							 
						 
						
							
							
								
								gnu: Add minisat.  
							
							 
							
							... 
							
							
							
							* gnu/packages/patches/minisat-friend-declaration.patch: New file.
* gnu/packages/patches/minisat-install.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add both files above.
* gnu/packages/maths.scm (minisat): New exported variable.
Signed-off-by: Mathieu Othacehe <m.othacehe@gmail.com> 
							
						 
						
							2019-11-19 17:27:58 +01:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								023522d3a1 
								
							 
						 
						
							
							
								
								Merge branch 'master' into staging  
							
							 
							
							
							
						 
						
							2019-10-21 00:33:43 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								9d731fb61d 
								
							 
						 
						
							
							
								
								gnu: vc: Update to 1.4.1.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (vc): Update to 1.4.1.
[native-inputs]: Add VIRTEST and a test data origin.
[arguments]: Add phase to copy test data. 
							
						 
						
							2019-10-20 00:31:15 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								b95d1b3289 
								
							 
						 
						
							
							
								
								Merge branch 'master' into staging  
							
							 
							
							
							
						 
						
							2019-10-18 18:10:47 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Maurice Brémond 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								06e1239502 
								
							 
						 
						
							
							
								
								gnu: mumps: Build and install shared libraries.  
							
							 
							
							... 
							
							
							
							* gnu/packages/patches/mumps-shared-libseq.patch,
gnu/packages/patches/mumps-shared-mumps.patch,
gnu/packages/patches/mumps-shared-pord.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (mumps)[source](patches): Add them.
[arguments]: In 'configure' phase, adjust "Makefile.inc" for shared
library support.  In 'install' phase, install libmpiseq.so when it
exists.
Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr> 
							
						 
						
							2019-10-14 18:25:31 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Maurice Brémond 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								5dbc79eb60 
								
							 
						 
						
							
							
								
								gnu: mumps: Update to 5.2.1.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (mumps): Update to 5.2.1.
Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr> 
							
						 
						
							2019-10-14 18:25:31 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								378ebc048c 
								
							 
						 
						
							
							
								
								Merge branch 'master' into staging  
							
							 
							
							
							
						 
						
							2019-10-13 23:04:06 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Jan Nieuwenhuizen 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								185152e39e 
								
							 
						 
						
							
							
								
								gnu: mcrl2: Update source url.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (mcrl2): Update source url. 
							
						 
						
							2019-10-08 23:25:51 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								2ea095300a 
								
							 
						 
						
							
							
								
								gnu: OpenBLAS: Update to 0.3.7.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (openblas): Update to 0.3.7. 
							
						 
						
							2019-10-08 21:23:06 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								a4384dc970 
								
							 
						 
						
							
							
								
								gnu: OpenBLAS: Incorporate grafted changes.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (openblas)[replacement]: Remove.
[arguments]: Add NUM_THREADS in #:make-flags.
(openblas/fixed-num-threads): Remove variable. 
							
						 
						
							2019-10-08 21:23:06 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Ludovic Courtès 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								cf3d1763ed 
								
							 
						 
						
							
							
								
								Merge branch 'core-updates'  
							
							 
							
							
							
						 
						
							2019-10-08 11:37:07 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								0be9038c95 
								
							 
						 
						
							
							
								
								gnu: maxflow: Use HTTPS home page.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (maxflow)[home-page]: Use HTTPS. 
							
						 
						
							2019-10-08 05:29:29 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								0af12a1367 
								
							 
						 
						
							
							
								
								gnu: maxflow: Correct version to 3.0.5.  
							
							 
							
							... 
							
							
							
							This won't be picked up by ‘guix package -u’, but the code is identical
anyway.  By changing this now, fewer installations will fail to upgrade
at all if upstream ever release a new <3.4.
* gnu/packages/maths.scm (maxflow)[version]: Change to 3.0.5.
[source]: Use version tag instead of raw matching commit. 
							
						 
						
							2019-10-08 05:29:29 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								2dc0a6cf36 
								
							 
						 
						
							
							
								
								gnu: maxflow: Use GIT-FILE-NAME.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (maxflow)[source]: Use GIT-FILE-NAME. 
							
						 
						
							2019-10-08 05:29:28 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Ludovic Courtès 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								0cf2b6f2db 
								
							 
						 
						
							
							
								
								Merge branch 'master' into core-updates  
							
							 
							
							
							
						 
						
							2019-10-01 12:06:00 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Jan Nieuwenhuizen 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								e03b912600 
								
							 
						 
						
							
							
								
								gnu: Add mcrl2-minimal.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (mcrl2-minimal): New variable. 
							
						 
						
							2019-09-30 21:26:56 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Jan Nieuwenhuizen 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								3bc74090d9 
								
							 
						 
						
							
							
								
								gnu: mcrl2: Update to 201908.0.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (mcrl2): Update to 201908.0. 
							
						 
						
							2019-09-30 21:26:19 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Tobias Geerinckx-Rice 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								d49375c722 
								
							 
						 
						
							
							
								
								gnu: z3: Update to 4.8.6.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (z3): Update to 4.8.6. 
							
						 
						
							2019-09-28 05:36:12 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Eric Bavier 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								ba567cae97 
								
							 
						 
						
							
							
								
								gnu: dealii: Update to 9.1.1.  
							
							 
							
							... 
							
							
							
							* gnu/packages/maths.scm (dealii): Update to 9.1.1.
[source]: Remove patch no longer needed.
* gnu/local.mk (dist_patch_DATA): ditto.
* gnu/packages/patches/dealii-mpi-deprecations.patch: Delete it. 
							
						 
						
							2019-09-27 22:23:44 -05:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Marius Bakke 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								e7f62a41b2 
								
							 
						 
						
							
							
								
								Merge branch 'master' into core-updates  
							
							 
							
							
							
						 
						
							2019-09-27 19:11:27 +02:00  
						
						
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
								
								
									 
									Ludovic Courtès 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								11da634a6e 
								
							 
						 
						
							
							
								
								Merge branch 'master' into core-updates  
							
							 
							
							
							
						 
						
							2019-09-24 10:11:38 +02:00