summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2019-02-10gnu: OpenBLAS: Update to 0.3.5....Marius Bakke
2019-02-09Merge branch 'staging'Ludovic Courtès
2019-02-08gnu: Add dune-pdelab....Ricardo Wurmus
2019-02-08gnu: Add dune-functions....Ricardo Wurmus
2019-02-08gnu: Add dune-typetree....Ricardo Wurmus
2019-02-08gnu: Add dune-alugrid....Ricardo Wurmus
2019-02-08gnu: Add dune-localfunctions....Ricardo Wurmus
2019-02-08gnu: Add dune-istl....Ricardo Wurmus
2019-02-08gnu: Add dune-grid....Ricardo Wurmus
2019-02-07gnu: hdf5: Upgrade to 1.8.21....Eric Bavier
2019-02-07gnu: hdf5: Remove use of deprecated MPI1 symbols....Eric Bavier
2019-02-07gnu: superlu-dist: Remove use of deprecated MPI1 symbols....Eric Bavier
2019-02-07gnu: Add dune-geometry....Ricardo Wurmus
2019-02-07gnu: Add dune-common....Ricardo Wurmus
2019-02-06gnu: wxmaxima: Update to 19.01.3....Kei Kebreau
2019-02-06gnu: maxima: Update to 5.42.2....Kei Kebreau
2019-01-31Merge branch 'master' into stagingMarius Bakke
2019-01-26gnu: maxima: Patch hardcoded paths....Kei Kebreau
2019-01-25gnu: dealii-openmpi: Setup MPI for tests....Eric Bavier
2019-01-25superlu-dist: Upgrade to 6.1.0....Eric Bavier
2019-01-25scotch: Upgrade to 6.0.6....Eric Bavier
2019-01-25gnu: Add Combinatorial BLAS....Eric Bavier
2019-01-20Merge branch 'master' into stagingLudovic Courtès
2019-01-18gnu: z3: Update to 4.8.4....Amin Bandali
2019-01-15gnu: Separate Python core packages from the rest....Ricardo Wurmus
2019-01-13Merge branch 'master' into stagingMarius Bakke
2019-01-12gnu: r-pracma: Update to 2.2.2....Ricardo Wurmus
2019-01-09Merge remote-tracking branch 'origin/master' into stagingEfraim Flashner
2019-01-07gnu: Move OCaml packages away from maths.scm....Ludovic Courtès
2019-01-05gnu: octave: Fix makeinfo path configuration....Arun Isaac
2018-12-23Merge branch 'master' into stagingMarius Bakke
2018-12-23gnu: z3: Update to 4.8.3 and provide python3 bindings...Amin Bandali
2018-12-22Merge branch 'master' into stagingMarius Bakke
2018-12-17gnu: elemental: Don't use unstable tarball....Efraim Flashner
2018-12-17gnu: elemental: Fix indentation....Efraim Flashner
2018-12-17gnu: z3: Fix building on non-Intel machines....Efraim Flashner
2018-12-17gnu: z3: Declare source-file-name....Efraim Flashner
2018-12-14gnu: hypre: Replace texlive input with minimal texlive-union....Pierre Neidhardt
2018-12-12Merge branch 'master' into stagingMarius Bakke
2018-12-10gnu: petsc-openmpi: Ensure compatibility of SCOTCH dependency....Paul Garlick
2018-12-09Merge branch 'master' into stagingMarius Bakke
2018-12-08gnu: Rename "qtoctave" to "octave"....Kei Kebreau
2018-12-08gnu: Rename "octave" to "octave-cli"....Kei Kebreau
2018-12-04gnu: OpenBLAS: Update to 0.3.4....Marius Bakke
2018-12-04gnu: petsc-openmpi: Configure with support for HYPRE preconditioner....Paul Garlick
2018-11-29Merge branch 'master' into core-updatesMarius Bakke
2018-11-28gnu: maxima: Update to 5.42.1....Kei Kebreau
2018-11-27gnu: wxmaxima: Update to 18.11.4....Kei Kebreau
2018-11-24Merge branch 'master' into core-updatesMarius Bakke
2018-11-23gnu: python-slepc4py: Update to 3.10.0....Paul Garlick