summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Collapse)Author
2020-08-04gnu: mcrl2: Update to 202006.0.Jan (janneke) Nieuwenhuizen
* gnu/packages/maths.scm (mcrl2): Update to 202006.0.
2020-07-23gnu: Add sleef.Vinicius Monego
* gnu/packages/maths.scm (sleef): New variable. Signed-off-by: Brett Gilio <brettg@gnu.org>
2020-07-17gnu: java-junit: Install from pom file.Julien Lepiller
* gnu/packages/java.scm (java-junit)[arguments]: Replace install phase. (java-hamcrest-core)[arguments]: Replace install phase. (java-hamcrest-library)[arguments]: Replace install phase. (java-cisd-jhdf5, java-commons-math3, java-commons-collections4) (java-commons-io, java-commons-exec-1.1, java-commons-exec) (java-commons-lang3, java-commons-codec, java-native-access) (java-native-access-platform, java-hamcrest-all): Change junit and hamcrest jar location accordingly. (java-hamcrest-all): Use old install phase of java-hamcrest-core. * gnu/packages/maths.scm (java-hdf): Change junit and hamcrest jar location accordingly.
2020-07-12gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès
Until now, 'lookup-origin' and thus 'lookup-origin-revision' in (guix swh) would sometimes return #f for these because the ".git" URLs are redirects to the non-".git" URLs. Consequently, 'guix lint -c archival' would keep saying "scheduled Software Heritage archival"; likewise, the fallback download code would fail. * gnu/packages/ada.scm, gnu/packages/admin.scm, gnu/packages/aidc.scm, gnu/packages/algebra.scm, gnu/packages/android.scm, gnu/packages/animation.scm, gnu/packages/arcan.scm, gnu/packages/assembly.scm, gnu/packages/audio.scm, gnu/packages/authentication.scm, gnu/packages/avr.scm, gnu/packages/axoloti.scm, gnu/packages/backup.scm, gnu/packages/bash.scm, gnu/packages/benchmark.scm, gnu/packages/bioconductor.scm, gnu/packages/bioinformatics.scm, gnu/packages/bittorrent.scm, gnu/packages/boost.scm, gnu/packages/build-tools.scm, gnu/packages/c.scm, gnu/packages/calendar.scm, gnu/packages/cdrom.scm, gnu/packages/check.scm, gnu/packages/chemistry.scm, gnu/packages/chez.scm, gnu/packages/clojure.scm, gnu/packages/code.scm, gnu/packages/compression.scm, gnu/packages/compton.scm, gnu/packages/coq.scm, gnu/packages/cpp.scm, gnu/packages/cran.scm, gnu/packages/crypto.scm, gnu/packages/curl.scm, gnu/packages/databases.scm, gnu/packages/datastructures.scm, gnu/packages/debug.scm, gnu/packages/disk.scm, gnu/packages/distributed.scm, gnu/packages/django.scm, gnu/packages/dlang.scm, gnu/packages/dns.scm, gnu/packages/docker.scm, gnu/packages/education.scm, gnu/packages/efi.scm, gnu/packages/elixir.scm, gnu/packages/emacs-xyz.scm, gnu/packages/embedded.scm, gnu/packages/emulators.scm, gnu/packages/engineering.scm, gnu/packages/erlang.scm, gnu/packages/fabric-management.scm, gnu/packages/file-systems.scm, gnu/packages/finance.scm, gnu/packages/firmware.scm, gnu/packages/flashing-tools.scm, gnu/packages/fonts.scm, gnu/packages/fontutils.scm, gnu/packages/fpga.scm, gnu/packages/game-development.scm, gnu/packages/games.scm, gnu/packages/genealogy.scm, gnu/packages/genimage.scm, gnu/packages/geo.scm, gnu/packages/gimp.scm, gnu/packages/gl.scm, gnu/packages/gnome-xyz.scm, gnu/packages/gnome.scm, gnu/packages/gnuzilla.scm, gnu/packages/golang.scm, gnu/packages/gpodder.scm, gnu/packages/graph.scm, gnu/packages/graphics.scm, gnu/packages/graphviz.scm, gnu/packages/groff.scm, gnu/packages/groovy.scm, gnu/packages/gtk.scm, gnu/packages/guile-xyz.scm, gnu/packages/guile.scm, gnu/packages/hardware.scm, gnu/packages/haskell-apps.scm, gnu/packages/haskell-xyz.scm, gnu/packages/hexedit.scm, gnu/packages/i2p.scm, gnu/packages/ibus.scm, gnu/packages/image-processing.scm, gnu/packages/image-viewers.scm, gnu/packages/image.scm, gnu/packages/ipfs.scm, gnu/packages/java-graphics.scm, gnu/packages/java-maths.scm, gnu/packages/java.scm, gnu/packages/javascript.scm, gnu/packages/jrnl.scm, gnu/packages/julia.scm, gnu/packages/jupyter.scm, gnu/packages/kodi.scm, gnu/packages/language.scm, gnu/packages/lego.scm, gnu/packages/less.scm, gnu/packages/libusb.scm, gnu/packages/linux.scm, gnu/packages/lirc.scm, gnu/packages/lisp-xyz.scm, gnu/packages/llvm.scm, gnu/packages/logging.scm, gnu/packages/lolcode.scm, gnu/packages/lua.scm, gnu/packages/lxde.scm, gnu/packages/lxqt.scm, gnu/packages/machine-learning.scm, gnu/packages/mail.scm, gnu/packages/markup.scm, gnu/packages/maths.scm, gnu/packages/maven.scm, gnu/packages/mes.scm, gnu/packages/messaging.scm, gnu/packages/monitoring.scm, gnu/packages/mpd.scm, gnu/packages/music.scm, gnu/packages/networking.scm, gnu/packages/node-xyz.scm, gnu/packages/ocaml.scm, gnu/packages/ocr.scm, gnu/packages/onc-rpc.scm, gnu/packages/opencl.scm, gnu/packages/opencog.scm, gnu/packages/pantheon.scm, gnu/packages/password-utils.scm, gnu/packages/patchutils.scm, gnu/packages/pdf.scm, gnu/packages/perl6.scm, gnu/packages/phabricator.scm, gnu/packages/popt.scm, gnu/packages/printers.scm, gnu/packages/prolog.scm, gnu/packages/protobuf.scm, gnu/packages/pulseaudio.scm, gnu/packages/python-crypto.scm, gnu/packages/python-web.scm, gnu/packages/python-xyz.scm, gnu/packages/qt.scm, gnu/packages/radio.scm, gnu/packages/rails.scm, gnu/packages/rdf.scm, gnu/packages/rednotebook.scm, gnu/packages/rpc.scm, gnu/packages/rsync.scm, gnu/packages/ruby.scm, gnu/packages/rust.scm, gnu/packages/scheme.scm, gnu/packages/screen.scm, gnu/packages/security-token.scm, gnu/packages/selinux.scm, gnu/packages/serialization.scm, gnu/packages/shells.scm, gnu/packages/shellutils.scm, gnu/packages/simh.scm, gnu/packages/sml.scm, gnu/packages/ssh.scm, gnu/packages/statistics.scm, gnu/packages/stenography.scm, gnu/packages/sync.scm, gnu/packages/syncthing.scm, gnu/packages/synergy.scm, gnu/packages/telephony.scm, gnu/packages/terminals.scm, gnu/packages/tex.scm, gnu/packages/texinfo.scm, gnu/packages/text-editors.scm, gnu/packages/textutils.scm, gnu/packages/time.scm, gnu/packages/tmux.scm, gnu/packages/tor.scm, gnu/packages/toys.scm, gnu/packages/version-control.scm, gnu/packages/video.scm, gnu/packages/vim.scm, gnu/packages/virtualization.scm, gnu/packages/vlang.scm, gnu/packages/vnc.scm, gnu/packages/vpn.scm, gnu/packages/web-browsers.scm, gnu/packages/web.scm, gnu/packages/wireservice.scm, gnu/packages/wm.scm, gnu/packages/wxwidgets.scm, gnu/packages/xdisorg.scm, gnu/packages/xml.scm, gnu/packages/xorg.scm, tests/lint.scm: Remove trailing ".git" from 'git-reference' URL.
2020-07-11gnu: ruby-asciimath: Update to 2.0.1.Maxim Cournoyer
* gnu/packages/maths.scm (ruby-asciimath): Update to 2.0.1. [arguments]: Remove. [native-inputs]: Remove bundler, add ruby-nokogiri.
2020-07-09gnu: qalculate-gtk: Fix typo in description.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (qalculate-gtk)[description]: Fix typo.
2020-07-07gnu: metamath: Update to 0.183.B. Wilson
* gnu/packages/maths.scm (metamath): Update to 0.183. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2020-07-01gnu: Add metamath.B. Wilson
* gnu/packages/maths.scm (metamath): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2020-06-30gnu: maxima: Update to 5.44.0.Kei Kebreau
* gnu/packages/maths.scm (maxima): Update to 5.44.0.
2020-06-23gnu: xaos: Add a source file-name.Efraim Flashner
* gnu/packages/maths.scm (xaos)[source]: Add file-name field.
2020-06-10gnu: ipopt: Fix source URI.Nicolas Goaziou
* gnu/packages/maths.scm (ipopt)[source]: Fix URI.
2020-06-10gnu: ipopt: Use HTTPS home page URI.Nicolas Goaziou
* gnu/packages/maths.scm (ipopt)[home-page]: Use HTTPS URI.
2020-05-29gnu: xaos: Update to 4.0.Kei Kebreau
* gnu/packages/maths.scm (xaos): Update to 4.0. [source]: Use git-fetch. [native-inputs]: Add qtbase and qttools. [arguments]: Remove #:make-flags options; replace 'configure' phase; add 'make-qt-deterministic' and 'install-data' phases. [home-page]: Update URL.
2020-05-29gnu: clp: Update to 1.17.6.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (clp): Update to 1.17.6.
2020-05-27gnu: hdf4: Provide an absolute reference to libjpeg.Marius Bakke
* gnu/packages/maths.scm (hdf4)[arguments]: Add phase 'provide-absolute-libjpeg-reference'.
2020-05-27gnu: nauty: Update to 2.7r1.Nicolas Goaziou
* gnu/packages/maths.scm (nauty): Update to 2.7r1. [arguments]: Prevent using "-march-native". Install new executable.
2020-05-25gnu: wxmaxima: Update to 20.04.0.Kei Kebreau
* gnu/packages/maths.scm (wxmaxima): Update to 20.04.0.
2020-05-25gnu: qhull: Update to 2019.1Ekaitz Zarraga
* gnu/packages/maths.scm (qhull): update to 2019.1 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-05-17gnu: gsl: Disable failing tests on powerpc.Efraim Flashner
* gnu/packages/maths.scm (gsl)[arguments]: Skip the same set of tests on powerpc as skipped on aarch64.
2020-05-16gnu: z3: Update to 4.8.8.Tobias Geerinckx-Rice
* gnu/packages/maths.scm (z3): Update to 4.8.8.
2020-05-13mailmap: Update entries for Nikita.nikita
* .mailmap: change email and name for Nikita. * Makefile.am, doc/guix.texi, etc/completion/fish/guix.fish, gnu/packages/accessibility.scm, gnu/packages/admin.scm, gnu/packages/audio.scm, gnu/packages/autotools.scm, gnu/packages/cdrom.scm, gnu/packages/check.scm, gnu/packages/cinnamon.scm, gnu/packages/compression.scm, gnu/packages/crypto.scm, gnu/packages/databases.scm, gnu/packages/django.scm, gnu/packages/dns.scm, gnu/packages/elixir.scm, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/enlightenment.scm, gnu/packages/erlang.scm, gnu/packages/fonts.scm, gnu/packages/fontutils.scm, gnu/packages/forth.scm, gnu/packages/fvwm.scm, gnu/packages/games.scm, gnu/packages/gl.scm, gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm, gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile-xyz.scm, gnu/packages/haskell-apps.scm, gnu/packages/haskell-check.scm, gnu/packages/haskell-crypto.scm, gnu/packages/haskell-xyz.scm, gnu/packages/haskell.scm, gnu/packages/image-viewers.scm, gnu/packages/image.scm, gnu/packages/irc.scm, gnu/packages/language.scm, gnu/packages/libcanberra.scm, gnu/packages/linux.scm, gnu/packages/lisp-xyz.scm, gnu/packages/lisp.scm, gnu/packages/lolcode.scm, gnu/packages/lxde.scm, gnu/packages/lxqt.scm, gnu/packages/mail.scm, gnu/packages/markup.scm, gnu/packages/mate.scm, gnu/packages/maths.scm, gnu/packages/mc.scm, gnu/packages/messaging.scm, gnu/packages/music.scm, gnu/packages/ncurses.scm, gnu/packages/networking.scm, gnu/packages/nickle.scm, gnu/packages/openbox.scm, gnu/packages/pdf.scm, gnu/packages/perl-check.scm, gnu/packages/perl.scm, gnu/packages/python-compression.scm, gnu/packages/python-crypto.scm, gnu/packages/python-web.scm, gnu/packages/python-xyz.scm, gnu/packages/python.scm, gnu/packages/qt.scm, gnu/packages/ruby.scm, gnu/packages/rust.scm, gnu/packages/scheme.scm, gnu/packages/serialization.scm, gnu/packages/shells.scm, gnu/packages/ssh.scm, gnu/packages/suckless.scm, gnu/packages/tbb.scm, gnu/packages/telephony.scm, gnu/packages/text-editors.scm, gnu/packages/textutils.scm, gnu/packages/time.scm, gnu/packages/tls.scm, gnu/packages/tor.scm, gnu/packages/version-control.scm, gnu/packages/video.scm, gnu/packages/vim.scm, gnu/packages/web.scm, gnu/packages/wm.scm, gnu/packages/xdisorg.scm, gnu/packages/xfce.scm, gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/services/certbot.scm, gnu/services/desktop.scm, gnu/services/version-control.scm, gnu/services/web.scm, guix/import/hackage.scm, guix/licenses.scm: Likewise. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-05-13gnu: glm: Update to 0.9.9.8.Marius Bakke
* gnu/packages/patches/glm-restore-install-target.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/maths.scm (glm): Update to 0.9.9.8. [arguments]: New field.
2020-05-10gnu: flann: Update to 1.9.1.Ludovic Courtès
* gnu/packages/maths.scm (flann): Update to 1.9.1. [source]: Use 'git-fetch'. [home-page]: Change to github.com.
2020-05-10gnu: flann: Remove "octave" output.Ludovic Courtès
Octave support currently fails to build and is not used by any other package in Guix. * gnu/packages/maths.scm (flann)[outputs]: Remove "octave" output. [inputs]: Remove OCTAVE-CLI. [arguments]: Remove 'set-octave-directory' phase.
2020-04-30Merge branch 'master' into core-updatesMarius Bakke
Conflicts: gnu/local.mk gnu/packages/backup.scm gnu/packages/emacs-xyz.scm gnu/packages/guile.scm gnu/packages/lisp.scm gnu/packages/openldap.scm gnu/packages/package-management.scm gnu/packages/web.scm gnu/packages/xorg.scm
2020-04-28gnu: Add hdf5-blosc.Ricardo Wurmus
* gnu/packages/maths.scm (hdf5-blosc): New variable.
2020-04-23Merge branch 'master' into core-updatesMarius Bakke
Conflicts: etc/news.scm gnu/local.mk gnu/packages/bootloaders.scm gnu/packages/linphone.scm gnu/packages/linux.scm gnu/packages/tls.scm gnu/system.scm
2020-04-22gnu: maths: dune-*: Update to version 2.7Felix Gruber
* gnu/packages/maths.scm (dune-*): Update to version 2.7. (dune-uggrid)[source] Download from Git, as no release tarball for version 2.7 exists. (dune-alugrid,dune-subgrid,dune-pdelab)[source] Use commit hashes as no tags for version 2.7 exist (yet?). (dune-istl)[source](patches) Add patch required to build version 2.7 without openmpi. * gnu/packages/patches/dune-istl-2.7-fix-non-mpi-tests.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-04-20gnu: libqalculate: Fix libcurl gnutls CA cert bundle file.R Veera Kumar
* gnu/packages/patches/libqalculate-3.8.0-libcurl-ssl-fix.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/maths.scm (libqalculate)[source]: Use it. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2020-04-14gnu: dune-localfunctions: Fix build failure.Marius Bakke
* gnu/packages/maths.scm (dune-localfunctions)[arguments]: Add phase 'hide-gfortran'.
2020-04-14gnu: dune-istl: Fix build failure.Marius Bakke
* gnu/packages/maths.scm (dune-istl)[arguments]: Add phase 'hide-gfortran'.
2020-04-13Merge branch 'master' into core-updatesMarius Bakke
2020-04-12gnu: dune-subgrid: Fix grammar of "allows to mark" to "marks".Vagrant Cascadian
* gnu/packages/maths (dune-subgrid): Fix grammar.
2020-04-12gnu: libqalculate: Fix spelling of "uncertainty".Vagrant Cascadian
* gnu/packages/maths (libqalculate): Fix typo.
2020-04-08Merge branch 'master' into core-updatesMarius Bakke
Conflicts: etc/news.scm gnu/local.mk gnu/packages/check.scm gnu/packages/cross-base.scm gnu/packages/gimp.scm gnu/packages/java.scm gnu/packages/mail.scm gnu/packages/sdl.scm gnu/packages/texinfo.scm gnu/packages/tls.scm gnu/packages/version-control.scm
2020-04-07gnu: Add dsfmt.Nicolò Balzarotti
* gnu/packages/maths.scm (dsfmt): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-04-05gnu: octave-cli: Fix build.Marius Bakke
* gnu/packages/maths.scm (octave-cli)[inputs]: Add LIBJPEG-TURBO. [arguments]: Add "--enable-link-all-dependencies" in #:configure-flags.
2020-04-04gnu: scotch: Make some inputs native.Vincent Legoll
* gnu/packages/math.scm (scotch)[inputs]: Move flex & bison from here... [native-inputs]: ...to this new field. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2020-04-03gnu: GSL: Remove unnecessary (%current-system) call.Marius Bakke
* gnu/packages/maths.scm (gsl)[arguments]: Use the let-bound SYSTEM variable instead of %CURRENT-SYSTEM.
2020-04-03gnu: Add qalculate-gtk.R Veera Kumar
* gnu/packages/maths.scm (qalculate-gtk): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-04-03gnu: Add libqalculate.R Veera Kumar
* gnu/packages/maths.scm (libqalculate): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-04-03gnu: GSL: Disable failing tests on i686-linux and aarch64-linux.Marius Bakke
This follows up commit 7ad3c81240b366b99f29c4ac5f7c42173c91f38a, which enabled tests that were previously disabled on i686, and takes into account new tests with similar issues. While at it, selectively disable tests on aarch64 instead of disabling all tests. * gnu/packages/maths.scm (gsl)[arguments]: On i686 and aarch64, add #:phases.
2020-03-30Merge branch 'master' into core-updatesMarius Bakke
Conflicts: gnu/packages/admin.scm gnu/packages/commencement.scm gnu/packages/guile.scm gnu/packages/linux.scm gnu/packages/package-management.scm gnu/packages/pulseaudio.scm gnu/packages/web.scm
2020-03-29gnu: z3: Fix build determinism.Jakub Kądziołka
* gnu/packages/maths.scm (z3)[arguments]: Add a phase to set PYTHONHASHSEED=0.
2020-03-29gnu: Remove more packages deprecated for over almost a year.Tobias Geerinckx-Rice
* gnu/packages/games.scm (armagetron-advanced) (cataclysm-dark-days-ahead, gnubackgammon, l-abbaye-des-morts) (the-battle-for-wesnoth, the-battle-for-wesnoth-server) (project-starfighter, kiki-the-nano-bot, fish-fillets-ng) (dungeon-crawl-stone-soup): Let's forget this ever happened. * gnu/packages/emacs-xyz.scm (geiser, paredit, git-modes/old-name) (magit, magit-svn, haskell-mode, emacs-emms-player-mpv, bbdb) (ert-runner, groovy-emacs-modes): Remove variable. * gnu/packages/engineering.scm (emacs-emms-player-simple-mpv) (emacs-evil-ediff, emacs-evil-mu4e, emacs-wgrep-helm, ao): Likewise. * gnu/packages/finance.scm (monero-core): Likewise. * gnu/packages/gnome.scm (dungeon-crawl-stone-soup-tiles) (tales-of-maj-eyal, battle-tanks, the-legend-of-edgar) (gnome-tweak-tool): Likewise. * gnu/packages/gnuzilla.scm (conkeror): Likewise. * gnu/packages/guile-xyz.scm (mcron2): Likewise. * gnu/packages/image.scm (pngcrunch): Likewise. * gnu/packages/linux.scm (eudev-with-hwdb): Likewise. * gnu/packages/maths.scm (qtoctave): Likewise. * gnu/packages/package-management.scm (guile2.0-guix): Likewise. * gnu/packages/php.scm (php-with-bcmath): Likewise. * gnu/packages/python-xyz.scm (python-kivy-next, python2-kivy-next): Likewise. * gnu/packages/video.scm (livestreamer): Likewise. * gnu/packages/virtualization.scm (lookingglass): Likewise. * gnu/packages/vulkan.scm (vulkan-icd-loader): Likewise. * gnu/packages/syndication.scm (newsbeuter): Likewise. (newsboat)[description]: Remove historical footnote.
2020-03-28Update email address and Savannah handle for Amin Bandali.Amin Bandali
* .mailmap, gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fonts.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm, gnu/packages/pulseaudio.scm: Update my email address. * build-aux/git-authenticate.scm: Update my Savannah handle.
2020-03-28gnu: armadillo: Fix typo in description.Nicolas Goaziou
* gnu/packages/maths.scm (armadillo): Fix spaces after "eg.".
2020-03-27Merge branch 'master' into core-updatesMarius Bakke
Conflicts: gnu/packages/icu4c.scm gnu/packages/man.scm gnu/packages/python-xyz.scm guix/scripts/environment.scm guix/scripts/pack.scm guix/scripts/package.scm guix/scripts/pull.scm guix/store.scm
2020-03-22gnu: wxmaxima: Update to 20.03.1.Kei Kebreau
* gnu/packages/maths.scm (wxmaxima): Update to 20.03.1.
2020-03-21Merge branch 'master' into core-updatesMarius Bakke
generated by cgit v1.2.3 (git 2.45.2) at 2024-07-23 02:38:01 +0000