futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
89,239 Commits 3 Branches 0 Tags
Commit Graph

997 Commits

Author SHA1 Message Date
Guillaume Le Vaillant
361d4627ab
gnu: netcdf: Fix build. 
* gnu/packages/maths.scm (netcdf)[arguments]: Fix regexp in 'patch-settings'
  phase.
 2021-08-20 14:10:49 +02:00
Guillaume Le Vaillant
979611d4dd
gnu: hdf4: Fix compiling with gfortran 10. 
* gnu/packages/maths.scm (hdf4)[arguments]: Add 'allow-argument-mismatch' flag
  for gfortran in 'configure-flags'. Fix regexp in 'patch-settings' phase.
 2021-08-20 14:10:49 +02:00
Marius Bakke
c4133c43c7
Merge branch 'master' into core-updates-frozen 
Conflicts:
	gnu/packages/algebra.scm
	gnu/packages/games.scm
	gnu/packages/golang.scm
	gnu/packages/kerberos.scm
	gnu/packages/mail.scm
	gnu/packages/python.scm
	gnu/packages/ruby.scm
	gnu/packages/scheme.scm
	gnu/packages/tex.scm
	gnu/packages/tls.scm
	gnu/packages/version-control.scm
 2021-08-12 00:30:27 +02:00
Marius Bakke
d2e102d4e4
Merge branch 'master' into core-updates-frozen 2021-08-01 23:23:32 +02:00
Marius Bakke
b029be2ee0
Merge branch 'master' into core-updates-frozen 
Conflicts:
	gnu/packages/bioinformatics.scm
	gnu/packages/cmake.scm
	gnu/packages/curl.scm
	gnu/packages/emacs-xyz.scm
	gnu/packages/gpodder.scm
	gnu/packages/music.scm
	gnu/packages/patches/glibc-bootstrap-system.patch
	gnu/packages/python-xyz.scm
	gnu/packages/shells.scm
	gnu/packages/statistics.scm
 2021-07-29 22:34:57 +02:00
Jean-Baptiste Volatier
1978d716a9
gnu: openlibm: Fix cross-compiling. 
* gnu/packages/maths.scm (openlibm)[arguments]: Add configure-flag to
use cc-for-target.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2021-07-28 16:05:31 +03:00
Jean-Baptiste Volatier
4709b74bc8
gnu: openlibm: Update to 0.7.4. 
* gnu/packages/maths.scm (openlibm): Update to 0.7.4.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2021-07-28 16:05:31 +03:00
Ludovic Courtès
1daa662722
gnu: Add FP16. 
* gnu/packages/patches/fp16-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (fp16): New variable.
 2021-07-29 21:54:55 +02:00
Ludovic Courtès
a9bc8a25eb
gnu: Add FXDiv. 
* gnu/packages/maths.scm (fxdiv): New variable.
* gnu/packages/patches/fxdiv-system-libraries.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
 2021-07-29 21:54:54 +02:00
Paul A. Patience
06c11434c9
gnu: dealii-openmpi: Add Trilinos dependency. 
* gnu/packages/maths.scm (trilinos-for-dealii-openmpi): New variable.
(dealii-openmpi)[propagated-inputs]: Add trilinos-for-dealii-openmpi.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2021-08-10 17:32:18 +02:00
Paul Garlick
64d4bc089e
gnu: Add optizelle. 
* gnu/packages/maths.scm (optizelle): New variable.
 2021-08-05 09:29:59 +01:00
Guix Together
d3ede451cf
gnu: Add bitwise. 
* gnu/packages/maths.scm (bitwise): New variable.

Co-authored-by: jgart <jgart@dismail.de>
Co-authored-by: Julien Lepiller <julien@lepiller.eu>
Co-authored-by: Ryan Prior <rprior@protonmail.com>
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2021-08-04 10:56:07 +03:00
Tobias Geerinckx-Rice
781a2befee
gnu: gsegrafix: Update to 1.0.7.2. 
This keeps this ancient package on life support for now.

* gnu/packages/maths.scm (gsegrafix): Update to 1.0.7.2.
[source]: Download from gsegrafix-experimental's Savannah.
[arguments]: Drop obsolete LDFLAGS.  Disable static library build.
[inputs]: Remove libgnomecanvas, libbonoboui, libgnomeui,
libgnomeprintui, and popt.  Add glib and gtk+.
 2021-07-26 09:47:22 +02:00
Efraim Flashner
b8894e8065
gnu: openblas: Use dynamic arch support for aarch64-linux. 
* gnu/packages/maths.scm (openblas)[arguments]: Adjust make-flags to
build multiple architecture optimized versions for aarch64-linux.
 2021-07-25 10:29:07 +03:00
Ludovic Courtès
828cfdc47e
gnu: Use 'search-input-file' when looking for .jar files. 
* gnu/packages/bioinformatics.scm (java-picard-1.113): Use
'search-input-file' when looking for *.jar.
(fastqc): Likewise.
* gnu/packages/groovy.scm (groovy): Likewise.
* gnu/packages/java.scm (ant-bootstrap): Likewise.
(ecj-bootstrap): Likewise.
(java-cisd-base): Likewise.
(java-cisd-args4j): Likewise.
(java-cisd-jhdf5): Likewise.
(java-native-access): Likewise.
(java-native-access-platform): Likewise.
* gnu/packages/maths.scm (hdf-java): Likewise.
 2021-07-24 16:23:23 +02:00
Ludovic Courtès
bc64d9554b
gnu: Use 'search-input-file' when looking for executables. 
* gnu/packages/admin.scm (isc-dhcp): Use 'search-input-file' when
looking for executables.
* gnu/packages/audio.scm (ableton-link): Likewise.
* gnu/packages/benchmark.scm (fio): Likewise.
* gnu/packages/bioinformatics.scm (roary): Likewise.
(ngless): Likewise.
* gnu/packages/boost.scm (boost-for-irods): Likewise.
* gnu/packages/bootloaders.scm (grub): Likewise.
(grub-efi): Likewise.
* gnu/packages/chemistry.scm (inchi): Likewise.
* gnu/packages/dictionaries.scm (ding): Likewise.
* gnu/packages/dlang.scm (ldc): Likewise.
* gnu/packages/education.scm (childsplay): Likewise.
* gnu/packages/emacs-xyz.scm (emacs-hyperbole): Likewise.
(emacs-haskell-mode): Likewise.
(emacs-auctex): Likewise.
(emacs-ggtags): Likewise.
(emacs-graphviz-dot-mode): Likewise.
(emacs-flycheck-grammalecte): Likewise.
(emacs-counsel-notmuch): Likewise.
(emacspeak): Likewise.
(emacs-exwm): Likewise.
(emacs-exwm-x): Likewise.
(emacs-treemacs): Likewise.
(emacs-telega): Likewise.
(emacs-exiftool): Likewise.
* gnu/packages/emulators.scm (higan): Likewise.
* gnu/packages/engineering.scm (freehdl): Likewise.
(librepcb): Likewise.
* gnu/packages/entr.scm (entr): Likewise.
* gnu/packages/file-systems.scm (libeatmydata): Likewise.
(xfstests): Likewise.
(mergerfs): Likewise.
(mergerfs-tools): Likewise.
* gnu/packages/finance.scm (monero-gui): Likewise.
* gnu/packages/flashing-tools.scm (flashrom): Likewise.
* gnu/packages/fontutils.scm (fontforge): Likewise.
* gnu/packages/game-development.scm (python2-renpy): Likewise.
* gnu/packages/games.scm (opensurge): Likewise.
(xboard): Likewise.
(hyperrogue): Likewise.
(flare-game): Likewise.
(chessx): Likewise.
* gnu/packages/geo.scm (grass): Likewise.
* gnu/packages/glib.scm (glib): Likewise.
* gnu/packages/gnome.scm (mm-common): Likewise.
(network-manager-openvpn): Likewise.
(network-manager-vpnc): Likewise.
(network-manager-openconnect): Likewise.
(apostrophe): Likewise.
* gnu/packages/gnupg.scm (pius): Likewise.
(jetring): Likewise.
* gnu/packages/gnuzilla.scm (icedove): Likewise.
* gnu/packages/golang.scm (go-1.4): Likewise.
* gnu/packages/graphviz.scm (xdot): Likewise.
* gnu/packages/guile-xyz.scm (jupyter-guile-kernel): Likewise.
* gnu/packages/haskell-xyz.scm (ghc-hindent): Likewise.
* gnu/packages/ibus.scm (ibus): Likewise.
* gnu/packages/image.scm (phockup): Likewise.
* gnu/packages/irc.scm (quassel): Likewise.
* gnu/packages/java.scm (drip): Likewise.
(ant-bootstrap): Likewise.
(tla2tools): Likewise.
* gnu/packages/julia.scm (julia): Likewise.
* gnu/packages/less.scm (lesspipe): Likewise.
* gnu/packages/libreoffice.scm (libreoffice): Likewise.
* gnu/packages/linux.scm (fuse): Likewise.
(lm-sensors): Likewise.
(bluez): Likewise.
(fakeroot): Likewise.
(inputattach): Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-cl-diskspace): Likewise.
* gnu/packages/lisp.scm (lisp-repl-core-dumper): Likewise.
* gnu/packages/lua.scm (fennel): Likewise.
* gnu/packages/lxde.scm (spacefm): Likewise.
* gnu/packages/mail.scm (public-inbox): Likewise.
* gnu/packages/maths.scm (hdf-java): Likewise.
(maxima): Likewise.
(frama-c): Likewise.
* gnu/packages/messaging.scm (libgadu): Likewise.
* gnu/packages/music.scm (denemo): Likewise.
(curseradio): Likewise.
* gnu/packages/netpbm.scm (netpbm): Likewise.
* gnu/packages/networking.scm (blueman): Likewise.
(squid): Likewise.
(aircrack-ng): Likewise.
* gnu/packages/node.scm (node): Likewise.
(node-llparse-frontend-bootstrap): Likewise.
(node-llparse-bootstrap): Likewise.
(llhttp-bootstrap): Likewise.
(node-lts): Likewise.
* gnu/packages/ocaml.scm (ocaml-4.11): Likewise.
(opam): Likewise.
(ocaml-graph): Likewise.
* gnu/packages/orpheus.scm (orpheus): Likewise.
* gnu/packages/password-utils.scm (password-store): Likewise.
* gnu/packages/python.scm (pypy3): Likewise.
* gnu/packages/qt.scm (qt5ct): Likewise.
* gnu/packages/radio.scm (libosmo-dsp): Likewise.
* gnu/packages/ruby.scm (ruby-pandoc-ruby): Likewise.
* gnu/packages/rust.scm (rust-1.30): Likewise.
* gnu/packages/screen.scm (byobu): Likewise.
* gnu/packages/statistics.scm (r-with-tests): Likewise.
* gnu/packages/suckless.scm (surf): Likewise.
* gnu/packages/syndication.scm (gfeeds): Likewise.
* gnu/packages/telephony.scm (mumble): Likewise.
* gnu/packages/terminals.scm (alacritty): Likewise.
* gnu/packages/tex.scm (texlive-bin): Likewise.
* gnu/packages/uml.scm (plantuml): Likewise.
* gnu/packages/version-control.scm (python-git-multimail): Likewise.
(gitolite): Likewise.
(hg-commitsigs): Likewise.
(git-when-merged): Likewise.
(git-imerge): Likewise.
(gita): Likewise.
* gnu/packages/video.scm (you-get): Likewise.
* gnu/packages/vim.scm (eovim): Likewise.
* gnu/packages/virtualization.scm (qemu): Likewise.
(virt-manager): Likewise.
(criu): Likewise.
* gnu/packages/vpn.scm (strongswan): Likewise.
(xl2tpd): Likewise.
* gnu/packages/wm.scm (i3lock-fancy): Likewise.
* gnu/packages/wxwidgets.scm (python-wxpython): Likewise.
(python2-wxpython): Likewise.
* gnu/packages/xdisorg.scm (autorandr): Likewise.
* gnu/packages/xorg.scm (hackneyed-x11-cursors): Likewise.
(v86d): Likewise.
(mkfontdir): Likewise.
(xpra): Likewise.
 2021-07-24 16:23:23 +02:00
Ludovic Courtès
ae112039ac
gnu: Use 'search-input-file' when searching for Automake files. 
* gnu/packages/audio.scm (libsbsms)[arguments]: Use 'search-input-file'
when searching for Automake file.
* gnu/packages/maths.scm (hdf-java): Likewise.
 2021-07-24 16:23:22 +02:00
Marius Bakke
b51bb5bcdc
gnu: gsl: Update to 2.7. 
* gnu/packages/maths.scm (gsl): Update to 2.7.
[arguments]: Remove trailing #t's.
 2021-07-23 17:26:43 +02:00
Paul A. Patience
4a136a3b7f
gnu: dealii: Update to 9.3.1 and clean up. 
The cleanup notably:

* Builds and installs the documentation into a separate doc output (in
the process moving around some files erroneously installed into the root
directory); and
* Removes unnecessary inputs and moves some inputs into
propagated-inputs (the candidates of which were determined with a search
for "include.*LIBNAME" in include/deal.II).

* gnu/packages/maths.scm (dealii): Reword comments.
[version]: Update to 9.3.1.
[outputs]: New field including doc output.
[native-inputs]: New field.
[inputs]: Sort them. Remove p4est (deal.II interfaces with it only when
MPI is enabled). Move boost, suitesparse and tbb to...
[propagated-inputs]: ...here. New field including hdf5, which is
actually supported in deal.II without MPI.
[arguments]<#:tests?>: New argument. The tests were not being run before
anyway.
<#:configure-flags>[-DDEAL_II_COMPONENT_DOCUMENTATION]: New flag.
[-DDEAL_II_DOCREADME_RELDIR]: New flag. Prevents the LICENSE.md,
README.md, detailed.log and summary.log files from being installed in
the root directory (though note that the logs are removed in the new
remove-build-logs phase).
[-DDEAL_II_DOCHTML_RELDIR]: New flag.
[-DDEAL_II_COMPILE_EXAMPLES]: New flag.
[-DDEAL_II_EXAMPLES_RELDIR]: New flag. Prevents the examples directory
from being installed in the root directory.
[-DCMAKE_POSITION_INDEPENDENT_CODE]: Remove flag. The issue has been
resolved.
<#:phases>{remove-build-logs}: New phase.
[home-page]: Add trailing slash.
(dealii-openmpi): Use package/inherit.
[inputs]: Sort them. Remove mumps-metis-openmpi (deal.II no longer
interfaces with MUMPS). Move hdf5-parallel-openmpi, openmpi,
p4est-openmpi, petsc-openmpi and slepc-openmpi to...
[propagated-inputs]: ...here. New field.
[arguments]<#:configure-flags>: Rename cf variable to flags.
<#:phases>{mpi-setup}: Remove phase which is unused because the tests
are disabled.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2021-07-20 22:36:51 +02:00
Paul A. Patience
6bd1d4a18b
gnu: Add nomad-optimizer. 
* gnu/packages/maths.scm (nomad-optimizer): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2021-07-19 19:57:52 +02:00
Ludovic Courtès
0e47fcced4
Merge branch 'master' into core-updates 2021-07-18 19:50:01 +02:00
Ivan Gankevich
68ce40cad7
gnu: Add blitz. 
* gnu/packages/maths.scm (blitz): New variable.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
 2021-07-16 10:02:08 +05:30
Efraim Flashner
7a27129c82
gnu: gmsh: Sort inputs alphabetically. 
* gnu/packages/maths.scm (gmsh)[propagated-inputs]: Sort alphabetically.
 2021-07-13 15:44:02 +03:00
Efraim Flashner
c5cfa23b9c
gnu: gmsh: Simply downloading source logic. 
* gnu/packages/maths.scm (gmsh)[source]: Use string-replace-substring.
 2021-07-13 15:34:26 +03:00
Paul A. Patience
cb78595fe3
gnu: gmsh: Update to 4.8.4. 
* gnu/packages/maths.scm (gmsh): Update to 4.8.4.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
 2021-07-13 15:20:23 +03:00
Paul Garlick
b9fd7f9d5b
gnu: gmsh: Install Python API in standard directory. 
* gnu/packages/maths.scm (gmsh)[imported-modules]: New argument.
[modules]: New argument.
[phases]: New argument.
[inputs]: Add python.
 2021-07-12 16:19:46 +01:00
Jan (janneke) Nieuwenhuizen
9bd65f0583
gnu: mcrl2: Update to 202106.0. 
* gnu/packages/maths.scm (mcrl2): Update to 202106.0.
 2021-07-08 09:51:12 +02:00
Efraim Flashner
4b4d4d7bae
gnu: openblas: Fix building on powerpc64le-linux. 
* gnu/packages/maths.scm (openblas)[arguments]: Add make-flags to enable
building for powerpc64le-linux.
 2021-07-07 09:10:44 +03:00
Efraim Flashner
67ce43c0d3
gnu: openblas: Fix building on armhf-linux. 
* gnu/packages/maths.scm (openblas)[arguments]: Add make-flag to set
target architecture.
 2021-07-07 09:10:44 +03:00
Tobias Geerinckx-Rice
b9aab8e89c
gnu: atlas: Extend build time-out. 
* gnu/packages/maths.scm (atlas)[properties]: Quadruple the timeout.
 2021-07-02 20:51:43 +02:00
Tobias Geerinckx-Rice
25631d6fef
gnu: gnuplot: Update to 5.4.2. 
* gnu/packages/maths.scm (gnuplot): Update to 5.4.2.
 2021-07-02 16:56:12 +02:00
Ludovic Courtès
94bae22204
gnu: scotch: Update to 6.1.1. 
* gnu/packages/maths.scm (scotch): Update to 6.1.1.
[native-inputs]: Add GFORTRAN.
[arguments]: Set 'FC' in 'Makefile.in'.
(scotch32)[arguments]: Likewise.
(scotch-shared)[arguments]: Likewise.
 2021-06-29 12:37:31 +02:00
Ludovic Courtès
a09d69f68f
gnu: scotch: Add 'release-monitoring-url' property. 
* gnu/packages/maths.scm (scotch)[properties]: New field.
 2021-06-29 00:00:13 +02:00
Ludovic Courtès
9931d2779f
gnu: suitesparse: Update to 5.10.1. 
* gnu/packages/maths.scm (suitesparse): Update to 5.10.1.
 2021-06-25 15:12:05 +02:00
Ludovic Courtès
285f9d5e95
gnu: suitesparse: Link against OpenBLAS rather than LAPACK. 
* gnu/packages/maths.scm (suitesparse)[inputs]: Replace LAPACK with
OPENBLAS.
[arguments]: Add "BLAS"and "LAPACK" to #:make-flags.
 2021-06-25 15:12:05 +02:00
Kei Kebreau
6dafd60b33
gnu: maxima: Update to 5.45.1. 
* gnu/packages/maths.scm (maxima): Update to 5.45.1.
[home-page]: Follow redirect.
 2021-06-24 14:41:44 -04:00
Tobias Geerinckx-Rice
9dea3f101f
Merge branch 'master' into core-updates 
Conflicts:
	gnu/packages/cups.scm
	gnu/packages/python-web.scm
	gnu/packages/web.scm
	guix/build/maven/pom.scm
 2021-06-23 18:45:21 +02:00
Ludovic Courtès
c7a5c3e0bb
gnu: petsc: Link against OpenBLAS rather than LAPACK. 
OpenBLAS performs better than LAPACK, the reference implementation.
This is also consistent with the choice of BLAS/LAPACK implementations
made in most other packages.

* gnu/packages/maths.scm (petsc)[inputs]: Replace LAPACK by OPENBLAS.
[arguments]: Pass "--with-openblas=1".
 2021-06-22 17:55:05 +02:00
Julien Lepiller
6e6769dde0
gnu: why3: Update to 1.3.3. 
* gnu/packages/maths.scm (why3): Update to 1.3.3.
[arguments]: Adjust for newer ocaml-num.
 2021-06-20 13:13:56 +02:00
Marius Bakke
6f9a80b331
Merge branch 'master' into core-updates 
Note: this merge actually changes the 'curl' and 'python-attrs' derivations,
as part of solving caf4a7a2770ef4d05a6e18f40d602e51da749ddc and
12964df69a99de6190422c752fef65ef813f3b6b respectively.

4604d43c0e (gnu: gnutls@3.6.16: Fix cross-compilation.) was ignored because it
cannot currently be tested.

 Conflicts:
	gnu/local.mk
	gnu/packages/aidc.scm
	gnu/packages/boost.scm
	gnu/packages/curl.scm
	gnu/packages/nettle.scm
	gnu/packages/networking.scm
	gnu/packages/python-xyz.scm
	gnu/packages/tls.scm
 2021-06-19 17:38:47 +02:00
Kei Kebreau
e84a710b57
gnu: wxmaxima: Update to 21.05.2. 
* gnu/packages/maths.scm (wxmaxima): Update to 21.05.2.
 2021-06-14 13:02:50 -04:00
Kei Kebreau
a029cb5e5c
gnu: maxima: Update to 5.45.0. 
* gnu/packages/maths.scm (maxima): Update to 5.45.0.
 2021-06-14 13:02:50 -04:00
Maxim Cournoyer
ea0a51071e
gnu: Rename qtbase to qtbase-5. 
This change was automated via the following command:

$ git ls-files | xargs sed -i 's/,qtbase)/,qtbase-5)/g'
$ git ls-files | xargs sed -i 's/inherit qtbase)/inherit qtbase-5)/g'
$ git ls-files | xargs sed -i 's/package-version qtbase)/package-version qtbase-5)/g'
$ git checkout etc    # to clear some spurious changes

This is done so the qtbase package can be upgraded to version 6 in the
following commit.
 2021-06-14 00:24:42 -04:00
Jack Hill
b736334732
gnu: qalculate-gtk: Update to 3.19.0. 
* gnu/packages/maths.scm (qalculate-gtk): Update to 3.19.0.
[phases]: Remove 'add-pot-file.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2021-06-12 22:58:10 +02:00
Jack Hill
ea1778ebd4
gnu: libqalculate: Update to 3.19.0. 
* gnu/packages/maths (libqalculate): Update to 3.19.0.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2021-06-12 22:57:54 +02:00
Marius Bakke
8d59c262ad
Merge branch 'master' into core-updates 
Conflicts:
	gnu/local.mk
	gnu/packages/algebra.scm
	gnu/packages/bioinformatics.scm
	gnu/packages/curl.scm
	gnu/packages/docbook.scm
	gnu/packages/emacs-xyz.scm
	gnu/packages/maths.scm
	gnu/packages/plotutils.scm
	gnu/packages/python-web.scm
	gnu/packages/python-xyz.scm
	gnu/packages/radio.scm
	gnu/packages/readline.scm
	gnu/packages/tls.scm
	gnu/packages/xml.scm
	gnu/packages/xorg.scm
 2021-06-06 21:16:32 +02:00
Marius Bakke
f72a1253a1
gnu: hypre: Update to 2020.0. 
* gnu/packages/maths.scm (hypre): Update to 2020.0.
[source](modules, snippet): Remove.
[native-inputs]: Remove PERL, NETPBM and GHOSTSCRIPT.  Add PYTHON,
PYTHON-SPHINX and PYTHON-BREATHE.  Add TEXLIVE-ADJUSTBOX, TEXLIVE-AMSFONTS,
TEXLIVE-CAPTION, TEXLIVE-ETOOLBOX, TEXLIVE-JKNAPPEN, TEXLIVE-SECTSTY,
TEXLIVE-TEX-GYRE, TEXLIVE-WASY, TEXLIVE-XCOLOR, TEXLIVE-GENERIC-LISTOFITEMS,
TEXLIVE-GENERIC-ULEM, TEXLIVE-LATEX-CAPT-OF, TEXLIVE-LATEX-CMAP,
TEXLIVE-LATEX-COLORTBL, TEXLIVE-LATEX-ETOC, TEXLIVE-LATEX-FANCYHDR,
TEXLIVE-LATEX-FANCYVRB, TEXLIVE-LATEX-FLOAT, TEXLIVE-LATEX-FNCYCHAP,
TEXLIVE-LATEX-FRAMED, TEXLIVE-LATEX-GEOMETRY, TEXLIVE-LATEX-HANGING,
TEXLIVE-LATEX-MULTIROW, TEXLIVE-LATEX-NATBIB, TEXLIVE-LATEX-NEEDSPACE,
TEXLIVE-LATEX-NEWUNICODECHAR, TEXLIVE-LATEX-PARSKIP,
TEXLIVE-LATEX-STACKENGINE, TEXLIVE-LATEX-TABULARY, TEXLIVE-LATEX-TITLESEC,
TEXLIVE-LATEX-TOCLOFT, TEXLIVE-LATEX-UPQUOTE, TEXLIVE-LATEX-VARWIDTH,
TEXLIVE-LATEX-WASYSYM, and TEXLIVE-LATEX-WRAPFIG to TEXLIVE-UPDMAP.CFG.
[arguments]: Adjust doc build target and installation phase.  Remove trailing
 #t's.
 2021-06-06 00:12:53 +02:00
Julien Lepiller
b94bc3ea30
gnu: Add frama-c. 
* gnu/packages/maths.scm (frama-c): New variable.
 2021-06-02 03:10:12 +02:00
Julien Lepiller
c9b3627d56
gnu: Add why3. 
* gnu/packages/maths.scm (why3): New variable.
 2021-06-02 03:10:04 +02:00
Eric Brown
30713c2c2a
gnu: ipopt: Update to 3.13.4 
* gnu/packages/maths.scm (ipopt): Update to 3.13.4, update URL.
[license]: Change to LICENSE:EPL2.0.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
 2021-05-28 23:04:43 +02:00