aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* gnu: Add mcrl2-minimal.Jan Nieuwenhuizen2019-09-30
* gnu: mcrl2: Update to 201908.0.Jan Nieuwenhuizen2019-09-30
* gnu: z3: Update to 4.8.6.Tobias Geerinckx-Rice2019-09-28
* gnu: dealii: Update to 9.1.1.Eric Bavier2019-09-27
* gnu: glm: Update to 0.9.9.6.Tobias Geerinckx-Rice2019-09-24
* gnu: wxmaxima: Update to 19.09.0.Tobias Geerinckx-Rice2019-09-21
* gnu: octave: Use texlive-union.Ricardo Wurmus2019-09-20
* gnu: gmsh: Update home page.Paul Garlick2019-09-13
* gnu: openblas: Set 'NUM_THREADS'.Ludovic Courtès2019-09-13
* gnu: gmsh: Fetch source from Git.Paul Garlick2019-09-12
* gnu: hypre: Update texlive-union.Ricardo Wurmus2019-09-12
* gnu: hdf4: Update to 4.2.14.Marius Bakke2019-09-04
* gnu: Add speedcrunch.Steve Sprang2019-08-31
* gnu: python-cvxopt: Update to 1.2.3.Tobias Geerinckx-Rice2019-08-26
* gnu: wxmaxima: Update to 19.08.0.Kei Kebreau2019-08-20
* Merge branch 'master' into stagingMarius Bakke2019-08-08
|\
| * gnu: r-desolve: Update to 1.24.Ricardo Wurmus2019-08-06
* | gnu: double-conversion: Update to 3.1.5.Marius Bakke2019-08-04
|/
* gnu: Add opencascade-occt.Paul Garlick2019-07-16
* gnu: octave-cli: Sort inputs alphabetically.Efraim Flashner2019-07-02
* gnu: atlas: All phases return #t.Efraim Flashner2019-06-28
* gnu: gnuplot: Update to 5.2.7.Tobias Geerinckx-Rice2019-06-21
* gnu: Add ppl.Andreas Enge2019-06-20
* gnu: Move ratpoints into a different module.Nicolas Goaziou2019-06-20
* gnu: Add ratpoints.Nicolas Goaziou2019-06-19
* gnu: edge-addition-planarity-suite: Move to the (gnu packages graph) module.Andreas Enge2019-06-17
* gnu: Add edge-addition-planarity-suite.Andreas Enge2019-06-17
* gnu: units: Update to 2.19.Ludovic Courtès2019-06-15
* gnu: wxmaxima: Update to 19.05.7.Kei Kebreau2019-06-04
* gnu: maxima: Update to 5.43.0.Kei Kebreau2019-06-04
* gnu: dealii-openmpi: Add hdf5-parallel-openmpi input.Eric Bavier2019-05-31
* gnu: slepc: Update to 3.11.1.Eric Bavier2019-05-31
* gnu: petsc: Update to 3.11.2.Eric Bavier2019-05-31
* gnu: petsc-complex-mpi: Setup MPI for tests.Eric Bavier2019-05-31
* gnu: mumps: Fix typo "Gaussian".Vagrant Cascadian2019-05-22
* gnu: hdf5-parallel-openmpi: Fix typo "explicitly".Vagrant Cascadian2019-05-22
* gnu: mlucas: Update source hash.Tobias Geerinckx-Rice2019-05-17
* gnu: Add nauty.Nicolas Goaziou2019-05-16
* gnu: hdf5: Add dependency on Perl.Ludovic Courtès2019-05-14
* gnu: hdf5: Build a thread-safe library.Ludovic Courtès2019-05-14
* gnu: r-quadprog: Update to 1.5-7.Ricardo Wurmus2019-05-11
* gnu: hypre: Unconditionally return #T from build phases.Ricardo Wurmus2019-04-28
* gnu: jacal: Unconditionally return #T from configure phase.Ricardo Wurmus2019-04-28
* gnu: z3: Unconditionally return #T from build phases.Ricardo Wurmus2019-04-28
* gnu: atlas: Always return #T from build phases.Ricardo Wurmus2019-04-28
* gnu: make-blis: Always return #T from configure phase.Ricardo Wurmus2019-04-28
* Merge branch 'staging'Ludovic Courtès2019-04-28
|\
| * Merge branch 'master' into stagingMarius Bakke2019-04-23
| |\
| * \ Merge branch 'master' into stagingMarius Bakke2019-04-17
| |\ \
| * \ \ Merge branch 'master' into stagingLudovic Courtès2019-04-08
| |\ \ \