summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2022-11-27gnu: Add libfixmath....* gnu/packages/maths.scm (libfixmath): New variable. Ricardo Wurmus
2022-11-26gnu: Add cryptominisat....* gnu/packages/maths.scm (cryptominisat): New variable. Co-authored-by: Maximilian Heisinger <mail@maxheisinger.at> Liliana Marie Prikler
2022-11-26gnu: Add louvain-community....* gnu/packages/maths.scm (louvain-community): New variable. Liliana Marie Prikler
2022-11-26gnu: Add lingeling....* gnu/packages/maths.scm (lingeling): New variable. Liliana Marie Prikler
2022-11-26gnu: Add aiger....* gnu/packages/maths.scm (aiger): New variable. Liliana Marie Prikler
2022-11-24gnu: clasp: Update to 3.3.9....* gnu/packages/maths.scm (clasp): Update to 3.3.9. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> jgart
2022-11-22gnu: octave: Update to 7.2.0....* gnu/packages/maths.scm (octave): Update to 7.2.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Greg Hogan
2022-11-22gnu: suitesparse: Update to 5.13.0....* gnu/packages/maths.scm (suitesparse): Update to 5.13.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Greg Hogan
2022-11-22gnu: dune-alugrid: Fix build failure....* gnu/packages/maths.scm (dune-alugrid)[arguments]: Provide the INPUTS key in build-tests phase. Marius Bakke
2022-11-22gnu: arpack-ng: Remove 3.3.0....This package fails to build and has no users in Guix. * gnu/packages/maths.scm (arpack-ng-3.3.0): Remove variable. Marius Bakke
2022-11-21gnu: opencascade-occt: Update to 7.6.2....* gnu/packages/maths.scm (opencascade-occt): Update to 7.6.2. Signed-off-by: Guillaume Le Vaillant <glv@posteo.net> Artyom V. Poptsov
2022-11-14gnu: cddlib: Add source file-name....* gnu/packages/maths.scm (cddlib)[source]: Add file-name field. Efraim Flashner
2022-10-24gnu: Various typo fixes....* gnu/packages/emacs-xyz.scm (emacs-popup-kill-ring)[description]: Fix very sneaky "This packages" variant. Thanks to nckhexen! * gnu/packages/bioinformatics.scm (r-icellnet)[description]: Fix use of "allows to". * gnu/packages/check.scm (python-pytest-freezegun)[description]: Ditto. * gnu/packages/linux.scm (tp-smapi-module)[description]: Ditto. * gnu/packages/mail.scm (procmail): Ditto. * gnu/packages/maths.scm (maxima): Ditto. * gnu/packages/samba.scm (wsdd)[description]: Ditto. * gnu/packages/ssh.scm (openssh): Ditto. Vagrant Cascadian
2022-10-16Merge branch 'staging'Marius Bakke
2022-10-15gnu: fp16: Fix build on i686-linux....* gnu/packages/patches/fp16-implicit-double.patch: New file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/maths.scm (fp16)[source](patches): Add it. Marius Bakke
2022-10-12Merge remote-tracking branch 'origin/master' into staging...Conflicts: gnu/packages/gnuzilla.scm gnu/packages/graphics.scm gnu/packages/gstreamer.scm gnu/packages/gtk.scm gnu/packages/kde-frameworks.scm gnu/packages/video.scm Efraim Flashner
2022-10-02gnu: units: Update to 2.22....* gnu/packages/maths.scm (units): Update to 2.22. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Mike Swanson
2022-09-27Merge branch 'master' into staging....With resolved conflicts in: gnu/local.mk gnu/packages/crates-io.scm Maxim Cournoyer
2022-09-22gnu: lablgtk3: Update to 3.1.2....* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2. [arguments]: Do not build extensions anymore (missing dependency) * gnu/packages/games.scm (laby)[inputs]: Use `ocaml-lablgtk3-sourceview3'. * gnu/packages/maths.scm (frama-c)[inputs]: Use `ocaml-lablgtk3-sourceview3'. * gnu/packages/coq.scm (coq-ide)[inputs]: Use `ocaml-lablgtk3-sourceview3'. Julien Lepiller
2022-08-27Merge branch 'master' into stagingMarius Bakke
2022-08-15gnu: Add kissat....* gnu/packages/maths.scm (kissat): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com> Maximilian Heisinger
2022-08-14gnu: itpp: Remove non-deterministic log file....* gnu/packages/maths.scm (itpp)[arguments]: Add 'delete-formulas-log phase. Vagrant Cascadian
2022-08-11Merge branch 'master' into stagingMarius Bakke
2022-08-08gnu: suitesparse: Update to 5.12.0....* gnu/packages/maths.scm (suitesparse): Update to 5.12.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Greg Hogan
2022-08-10gnu: frama-c: Use lablgtk3....* gnu/packages/maths.scm (frama-c): Build the graphical interface. Julien Lepiller
2022-08-10gnu: maxima: Fix to find info files....The Maxima command ‘describe’ allows to pick the relevant portions from Maxima’s Texinfo docs. However it does not support reading gzipped info files. * gnu/packages/maths.scm (maxima)[arguments]<phases>: Delete 'compress-documentation phase. Signed-off-by: 宋文武 <iyzsong@member.fsf.org> Daniel Meißner
2022-08-09gnu: cddlib: Update to 0.94m....* gnu/packages/maths.scm (cddlib): Update to 0.94m. [source]: Move to git, following the upstream decision. [native-inputs]: New field. [arguments]: New field to have docdir include the version number. Co-authored-by: Andreas Enge <andreas@enge.fr> vicvbcun
2022-08-09gnu: wxmaxima: Update to 22.05.0....* gnu/packages/maths.scm (wxmaxima): Update to 22.05.0. Andreas Enge
2022-08-09gnu: maxima: Update to 5.46.0....* gnu/packages/maths.scm (maxima): Update to 5.46.0. Andreas Enge
2022-08-05gnu: mumps: Add alternate source code URL....* gnu/packages/maths.scm (mumps)[source]: Add alternate URL. Ludovic Courtès
2022-08-05gnu: mumps: Update to 5.5.1...* gnu/packages/maths.scm (mumps): Update to 5.5.1. Stop applying patches as the build configuration has been updated upstream. Allow for further optimized BLR compression by specifying the -DBLR_MT build option. * gnu/packages/patches/mumps-build-parallelism.patch: File removed. * gnu/packages/patches/mumps-shared-libseq.patch: File removed. * gnu/packages/patches/mumps-shared-mumps.patch: File removed. * gnu/packages/patches/mumps-shared-pord.patch: File removed. Signed-off-by: Ludovic Courtès <ludo@gnu.org> FELŠÖCI Marek
2022-08-05gnu: veusz: Fix build....* gnu/packages/maths.scm (veusz)[arguments] Fix lookup of qtsvg path in wrap-executable phase. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Felix Gruber
2022-08-04gnu: Add itex2mml....* gnu/packages/maths.scm (itex2mml): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Philip McGrath
2022-08-02gnu: gnuplot: Update to 5.4.4....* gnu/packages/maths.scm (gnuplot): Update to 5.4.4. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Paul A. Patience
2022-08-02gnu: gnuplot: Use G-expressions....* gnu/packages/maths.scm (gnuplot)[arguments]: Use G-expressions. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Paul A. Patience
2022-08-02gnu: gnuplot: Remove input labels....* gnu/packages/maths.scm (gnuplot)[inputs]: Move below native-inputs and sort. [native-inputs]: Remove labels. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Paul A. Patience
2022-08-02gnu: wcalc: Remove pre-generated files....* gnu/packages/maths.scm (wcalc)[source]: Add snippet to remove files generated by bison and flex. [native-inputs]: Add bison, flex. Efraim Flashner
2022-08-01gnu: trilinos-for-dealii-openmpi: Use G-expressions....* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[arguments]: Use G-expressions. <#:phases>: Remove trailing boolean. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Paul A. Patience
2022-08-01gnu: trilinos-for-dealii-openmpi: Remove input labels....* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[native-inputs, inputs, propagated-inputs]: Remove labels. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Paul A. Patience
2022-08-01gnu: dealii: Update to 9.4.0....* gnu/packages/maths.scm (dealii): Update to 9.4.0. [propagated-inputs]: Replace sundials-5 with sundials. (dealii-openmpi)[propagated-inputs]: Replace sundials-openmpi-5 with sundials-openmpi. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Paul A. Patience
2022-08-01gnu: dealii: Use G-expressions....* gnu/packages/maths.scm (dealii)[snippet, arguments]: Use G-expressions. (dealii-openmpi)[arguments]: Same. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Paul A. Patience
2022-08-01gnu: trilinos-for-dealii-openmpi: Fix build....* gnu/packages/maths.scm (trilinos-for-dealii-openmpi)[native-inputs]: Add gcc-7 to fix the failing build with newer versions of gcc. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Paul A. Patience
2022-08-01gnu: hdf5-1.8: Add missing comma to linker flag....* gnu/packages/maths.scm (hdf5-1.8)[arguments]<#:phases>: Add missing comma to linker flag. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Paul A. Patience
2022-07-31gnu: qttools: Rename to qttools-5....Automated with: git grep -l qttools | xargs sed 's/\bqttools\b/\0-5/g' -i git checkout NEWS Maxim Cournoyer
2022-07-31gnu: qtsvg: Rename variable to qtsvg-5....This is in preparation of the qtsvg update to version 6. This change was automated via the following command: git grep -l '\bqtsvg\b' | xargs sed 's/qtsvg/qtsvg-5/g' -i Maxim Cournoyer
2022-07-15gnu: gmsh: Update to 4.10.5....* gnu/packages/maths.scm (gmsh): Update to 4.10.5. [source]: Reindent. Signed-off-by: Christopher Baines <mail@cbaines.net> Paul A. Patience
2022-07-15gnu: gmsh: Remove trailing booleans....* gnu/packages/maths.scm (gmsh)[snippet, arguments]: Remove trailing booleans. Signed-off-by: Christopher Baines <mail@cbaines.net> Paul A. Patience
2022-07-15gnu: gmsh: Remove input labels....* gnu/packages/maths.scm (gmsh)[inputs]: Remove labels. Signed-off-by: Christopher Baines <mail@cbaines.net> Paul A. Patience
2022-07-13gnu: elpa: Update source URL....Fixes <https://issues.guix.gnu.org/46460>. * gnu/packages/maths.scm (elpa): Update source URL. Reported-by: Danny Milosavljevic <dannym@scratchpost.org> Maxim Cournoyer
2022-07-04gnu: nauty: Update package style....* gnu/packages/maths.scm (nauty)[arguments]: Use G-expressions. Remove trailing #T. Nicolas Goaziou