Commit Graph

33962 Commits

Author SHA1 Message Date
Vagrant Cascadian 4e86e9d78e
gnu: electron-cash: Update to 3.3.5.
* gnu/packages/finance.scm (electron-cash): Update to 3.3.5.
[source]: Update uri.
2019-02-10 20:30:28 +01:00
Tobias Geerinckx-Rice b05bc3c487
gnu: java-xstream: Don't use unstable tarball.
* gnu/packages/xml.scm (java-xstream)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:41 +01:00
Tobias Geerinckx-Rice eed5e162ad
gnu: java-xom: Don't use unstable tarball.
* gnu/packages/xml.scm (java-xom)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add 'make-git-checkout-writable' phase.
2019-02-10 17:45:41 +01:00
Tobias Geerinckx-Rice a4b96726b5
gnu: java-jettison: Don't use unstable tarball.
* gnu/packages/xml.scm (java-jettison)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:41 +01:00
Tobias Geerinckx-Rice 4bad4fbdf8
gnu: tinyxml2: Don't use unstable tarball.
* gnu/packages/xml.scm (tinyxml2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:40 +01:00
Tobias Geerinckx-Rice 951bdf5adf
gnu: java-jdom2: Don't use unstable tarball.
* gnu/packages/xml.scm (java-jdom2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:40 +01:00
Tobias Geerinckx-Rice 00fc938983
gnu: java-kxml2: Don't use unstable tarball.
* gnu/packages/xml.scm (java-kxml2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add 'make-git-checkout-writable' phase.
2019-02-10 17:45:40 +01:00
Tobias Geerinckx-Rice 9d67052661
gnu: java-dom4j: Don't use unstable tarball.
* gnu/packages/xml.scm (java-dom4j)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:39 +01:00
Tobias Geerinckx-Rice ef6a5fcc30
gnu: java-groovy-bootstrap: Don't use unstable tarball.
* gnu/packages/groovy.scm (java-groovy-bootstrap)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:39 +01:00
Tobias Geerinckx-Rice 3047c7baae
gnu: xlsx2csv: Don't use unstable tarball.
* gnu/packages/xml.scm (xlsx2csv)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:39 +01:00
Tobias Geerinckx-Rice 3255fc3bfe
gnu: xlsx2csv: Update to 0.7.4.
* gnu/packages/xml.scm (xlsx2csv): Update to 0.7.4.
2019-02-10 17:45:39 +01:00
Tobias Geerinckx-Rice 99631313e2
gnu: clojure-tools-macro: Don't use unstable tarball.
* gnu/packages/clojure.scm (clojure-tools-macro)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:38 +01:00
Tobias Geerinckx-Rice 62dbf78b65
gnu: clojure-algo-monads: Don't use unstable tarball.
* gnu/packages/clojure.scm (clojure-algo-monads)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:38 +01:00
Tobias Geerinckx-Rice 85e0827d90
gnu: clojure-algo-generic: Don't use unstable tarball.
* gnu/packages/clojure.scm (clojure-algo-generic)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:38 +01:00
Tobias Geerinckx-Rice fba9a66095
gnu: xinetd: Don't use unstable tarball.
* gnu/packages/web.scm (xinetd)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:38 +01:00
Pierre Neidhardt 9ce09a7698
install: Use (gnu package certs) module for the nss-certs package.
* gnu/system/install.scm: Use (gnu package certs).
2019-02-10 15:30:35 +01:00
Pierre Neidhardt 0b767e3d5b
install: Add nss-certs to the image.
* gnu/system/install.scm (installation-os)[packages]: Add nss-certs.
2019-02-10 15:17:37 +01:00
Mark H Weaver 1d5be0b61c
gnu: linux-libre@4.4: Update to 4.4.174.
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.174.
2019-02-09 23:01:12 -05:00
Nicolas Goaziou 2becddeb0c
gnu: emacs-pdf-tools: Update to 0.90.
* gnu/packages/emacs-xyz.scm (emacs-pdf-tools): Update to 0.90.
[source]: Remove patch.
* gnu/packages/patches/emacs-pdf-tools-poppler.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove reference to deleted file.
2019-02-09 23:30:13 +01:00
Vagrant Cascadian 81d59f4425
gnu: electrum: Update to 3.3.3.
* gnu/packages/finance.scm (electrum): Update to 3.3.3.
  [inputs]: Add python-aiohttp, python-aiohttp-socks, python-aiorpcx and
    python-certifi.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-02-09 23:27:12 +01:00
Vagrant Cascadian 93d3360ab0
gnu: Add python-aiorpcx.
* gnu/packages/python-web.scm (python-aiorpcx): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-02-09 23:27:12 +01:00
Vagrant Cascadian 20310a7e92
gnu: Add python-aiohttp-socks.
* gnu/packages/python-web.scm (python-aiohttp-socks): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-02-09 23:27:12 +01:00
Rutger Helling 64b632f861
gnu: lookingglass: Build with spice-protocol@0.12.14.
* gnu/packages/virtualization.scm (lookingglass)[inputs]: Use
spice-protocol@0.12.14 instead of spice-protocol.
2019-02-09 22:23:14 +01:00
Rutger Helling 44ad1c16e2
gnu: Add spice-protocol@0.12.14.
* gnu/packages/spice.scm (spice-protocol@0.12.14): New variable.
2019-02-09 22:23:14 +01:00
Marius Bakke aefa29123f
gnu: python-pytest: Update home page.
* gnu/packages/check.scm (python-pytest)[home-page]: Follow redirects to
https://docs.pytest.org/en/latest/.
2019-02-09 21:07:37 +01:00
Marius Bakke 809f003f15
gnu: python-configparser: Update home page.
* gnu/packages/python-xyz.scm (python-configparser)[home-page]: Set to source
repository.
2019-02-09 21:07:37 +01:00
Marius Bakke 2c7a28ecce
gnu: notmuch: Update to 0.28.1.
* gnu/packages/mail.scm (notmuch): Update to 0.28.1.
2019-02-09 20:58:16 +01:00
Marius Bakke 44ed628466
gnu: tracker: Build against the regular SQLite.
FTS5 is enabled by default in the current version.

* gnu/packages/sqlite.scm (sqlite-with-fts5): Remove variable.
* gnu/packages/gnome.scm (tracker)[inputs]: Change from that to SQLITE.
2019-02-09 20:58:16 +01:00
Marius Bakke 9d51a97809
gnu: webkitgtk: Update to 2.22.6.
* gnu/packages/webkit.scm (webkitgtk-2.22): Update to 2.22.6.
2019-02-09 20:58:15 +01:00
Marius Bakke 037d591367
gnu: libvpx: Update to 1.8.0.
* gnu/packages/patches/gst-plugins-good-libvpx-compat.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/video.scm (libvpx): Update to 1.8.0.
[source](patches): Remove obsolete patch.
(libvpx-1.7): New public variable.
* gnu/packages/gnuzilla.scm (icecat)[inputs]: Use LIBVPX-1.7 instead of LIBVPX.
* gnu/packages/gstreamer.scm (gst-plugins-good)[source](patches): New field.
[arguments]: Add #:make-flags.
2019-02-09 20:58:15 +01:00
Marius Bakke 4a3436449b
gnu: offlineimap: Remove redundant wrapper.
* gnu/packages/mail.scm (offlineimap)[arguments]: Remove phase 'wrap-binary'.
2019-02-09 20:58:15 +01:00
Marius Bakke 0ea0452c0a
gnu: Add xbanish.
* gnu/packages/xdisorg.scm (xbanish): New public variable.
2019-02-09 20:58:15 +01:00
Ludovic Courtès 50a93adc05
Merge branch 'staging' 2019-02-09 15:14:59 +01:00
Arun Isaac 722ac64cd7
gnu: plantuml: Update to 1.2019.0.
* gnu/packages/uml.scm (plantuml): Update to 1.2019.0.
2019-02-09 13:40:12 +05:30
Eric Bavier 68a116bd56
gnu: cool-retro-term: Upgrade to 1.1.1.
* gnu/packages/terminals.scm (cool-retro-term)[source]: Upgrade to 1.1.1.
Remove patches.  Adjust filtering in snippet for added/removed fonts.
[arguments]: Return #t in 'add-alternate-name' phase.
* gnu/packages/patches/cool-retro-term-dont-check-uninit-member.patch,
  gnu/packages/patches/cool-retro-term-fix-array-size.patch,
  gnu/packages/patches/cool-retro-term-memory-leak-1.patch: Delete files.
* gnu/local.mk (dist_patch_DATA): Remove them.
2019-02-09 00:50:16 -06:00
Eric Bavier 41313acebf
gnu: openmpi: Upgrade to 4.0.0.
* gnu/packages/linux.scm (psm)[arguments]: Add 'patch-sysmacros phase to fix
"undefined reference to `minor'" errors while linking against
libinfinipath.so.
* gnu/packages/mpi.scm (openmpi): Upgrade to 4.0.0.
[inputs]: Add libevent.
[arguments]: Simplify configure-flags.  Use system libevent.  Adjust romio
version strings.
(%openmpi-setup): Use OMPI_MCA_rmaps_base_mapping_policy for oversubscription.
2019-02-09 00:50:16 -06:00
Tobias Geerinckx-Rice 1482531cd7
gnu: perl-io-compress: Update to 2.084.
* gnu/packages/perl-compression.scm (perl-io-compress): Update to 2.084.
2019-02-08 23:51:18 +01:00
Tobias Geerinckx-Rice b2993cb1e0
gnu: perl-compress-raw-zlib: Update to 2.084.
* gnu/packages/perl-compression.scm (perl-compress-raw-zlib): Update to 2.084.
2019-02-08 23:51:17 +01:00
Tobias Geerinckx-Rice a139501887
gnu: perl-compress-raw-bzip2: Update to 2.084.
* gnu/packages/perl-compression.scm (perl-compress-raw-bzip2): Update to 2.084.
2019-02-08 23:51:16 +01:00
Tobias Geerinckx-Rice 41eac1863a
gnu: gcab: Don't use NAME in source URI.
* gnu/packages/package-management.scm (gcab)[source]: Hard-code name.
2019-02-08 23:51:15 +01:00
Tobias Geerinckx-Rice a1785cfb6d
gnu: gcab: Update to 1.2.
* gnu/packages/package-management.scm (gcab): Update to 1.2.
[source]: Remove snippet.
2019-02-08 23:51:14 +01:00
Tobias Geerinckx-Rice 051ae68b7a
gnu: libraw: Update to 0.19.2.
* gnu/packages/photo.scm (libraw): Update to 0.19.2.
2019-02-08 23:51:14 +01:00
Tobias Geerinckx-Rice 7428d1693a
gnu: abiword: Don't use NAME in source URI.
* gnu/packages/abiword.scm (abiword)[source]: Hard-code name.
2019-02-08 23:51:13 +01:00
Tobias Geerinckx-Rice 64430c87b6
gnu: rdesktop: Don't use NAME in source URI.
* gnu/packages/rdesktop.scm (rdesktop)[source]: Hard-code name.
2019-02-08 23:51:12 +01:00
Tobias Geerinckx-Rice 9c2b56a377
gnu: compton: Don't use unstable tarball.
* gnu/packages/compton.scm (compton)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:12 +01:00
Tobias Geerinckx-Rice 782b1224ec
gnu: bspwm: Don't use unstable tarball.
* gnu/packages/wm.scm (bspwm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:10 +01:00
Tobias Geerinckx-Rice a4880a2735
gnu: microscheme: Don't use unstable tarball.
* gnu/packages/avr.scm (microscheme)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:10 +01:00
Tobias Geerinckx-Rice 39a7b72065
gnu: python-trezor-agent: Don't use unstable tarball.
* gnu/packages/finance.scm (python-trezor-agent)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:09 +01:00
Tobias Geerinckx-Rice 1fd71120a7
gnu: geierlein: Don't use unstable tarball.
* gnu/packages/finance.scm (geierlein)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:08 +01:00
Tobias Geerinckx-Rice 8b7ac58c16
gnu: ledger: Don't use unstable tarball.
* gnu/packages/finance.scm (ledger)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:08 +01:00
Tobias Geerinckx-Rice d8d910e6e1
gnu: cbatticon: Don't use unstable tarball.
* gnu/packages/admin.scm (cbatticon)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:07 +01:00
Tobias Geerinckx-Rice 807a30999d
gnu: interrobang: Use GIT-... helpers.
* gnu/packages/admin.scm (interrobang)[version]: Use GIT-VERSION.
[source]: Use GIT-FILE-NAME.
2019-02-08 23:51:06 +01:00
Tobias Geerinckx-Rice 7d6e8fda61
gnu: sedsed: Don't use unstable tarball.
* gnu/packages/admin.scm (sedsed)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:05 +01:00
Tobias Geerinckx-Rice 9bc96d13ce
gnu: fdupes: Don't use unstable tarball.
* gnu/packages/admin.scm (fdupes)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:04 +01:00
Tobias Geerinckx-Rice aa372292b3
gnu: cpulimit: Don't use unstable tarball.
* gnu/packages/admin.scm (cpulimit)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:03 +01:00
Tobias Geerinckx-Rice 4b6456ce3b
gnu: progress: Don't use unstable tarball.
* gnu/packages/admin.scm (progress)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:02 +01:00
Tobias Geerinckx-Rice fc204d24be
gnu: dstat: Don't use unstable tarball.
* gnu/packages/admin.scm (dstat)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:02 +01:00
Tobias Geerinckx-Rice 43eb601f76
gnu: sunxi-tools: Don't use unstable tarball.
* gnu/packages/admin.scm (sunxi-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:01 +01:00
Tobias Geerinckx-Rice ecb589227c
gnu: igt-gpu-tools: Don't use NAME in source URI.
* gnu/packages/admin.scm (igt-gpu-tools)[source]: Hard-code name.
2019-02-08 23:51:00 +01:00
Tobias Geerinckx-Rice 213114a7b1
gnu: daemontools: Don't assume sources match NAME.
* gnu/packages/admin.scm (daemontools)[source, argumenst]: Hard-code
name.
2019-02-08 23:50:59 +01:00
Tobias Geerinckx-Rice 16572d0e02
gnu: nnn: Don't use NAME in source URI.
* gnu/packages/admin.scm (nnn)[source]: Hard-code name.
2019-02-08 23:50:59 +01:00
Tobias Geerinckx-Rice a0c693e173
gnu: thefuck: Don't use unstable tarball.
* gnu/packages/admin.scm (thefuck)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:50:58 +01:00
Tobias Geerinckx-Rice e956d76ddb
gnu: masscan: Don't use unstable tarball.
* gnu/packages/admin.scm (masscan)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:50:57 +01:00
Tobias Geerinckx-Rice ab213bfd04
gnu: pam-krb5: Don't use NAME in source URI.
* gnu/packages/admin.scm (pam-krb5)[source]: Hard-code name.
2019-02-08 23:50:57 +01:00
Tobias Geerinckx-Rice fe2f01664f
gnu: audit: Don't use NAME in source URI.
* gnu/packages/admin.scm (audit)[source]: Hard-code name.
2019-02-08 23:50:56 +01:00
Tobias Geerinckx-Rice e20796dc7a
gnu: hungrycat: Don't use NAME in source URI.
* gnu/packages/admin.scm (hungrycat)[source]: Hard-code name.
2019-02-08 23:50:55 +01:00
Tobias Geerinckx-Rice 631249ddc0
gnu: avogadro: Don't use unstable tarball.
* gnu/packages/chemistry.scm (avogadro)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:50:55 +01:00
Tobias Geerinckx-Rice f44eca9468
gnu: launchmon: Don't use NAME in source URI.
* gnu/packages/admin.scm (launchmon)[source]: Hard-code name.
2019-02-08 23:50:54 +01:00
Tobias Geerinckx-Rice 1f6a970592
gnu: florence: Don't use NAME in source URI.
* gnu/packages/accessibility.scm (florence)[source]: Hard-code name.
2019-02-08 23:50:53 +01:00
Tobias Geerinckx-Rice d64e514777
gnu: i3blocks: Use GIT-FILE-NAME.
* gnu/packages/wm.scm (i3blocks)[source]: Use GIT-FILE-NAME.
2019-02-08 23:50:52 +01:00
Tobias Geerinckx-Rice 0fa63b8908
gnu: spice-protocol: Update to 0.12.15.
* gnu/packages/spice.scm (spice-protocol): Update to 0.12.15.
2019-02-08 23:50:52 +01:00
Tobias Geerinckx-Rice 15c661ec8e
gnu: torsocks: Update to 2.3.0.
* gnu/packages/tor.scm (torsocks): Update to 2.3.0.
[inputs]: Remove which.
[arguments]: Update 'absolutize' substitutions.
2019-02-08 23:50:51 +01:00
Tobias Geerinckx-Rice d77ade87fe
gnu: torsocks: Don't use NAME in source URI.
* gnu/packages/tor.scm (torsocks)[source]: Hard-code name.
2019-02-08 23:50:50 +01:00
Tobias Geerinckx-Rice c97a1c4297
gnu: sdl2-ttf: Update to 2.0.15.
* gnu/packages/sdl.scm (sdl2-ttf): Update to 2.0.15.
2019-02-08 23:50:50 +01:00
Ricardo Wurmus 307182d4f7
gnu: rcas-web: Update to 0.1.0.
* gnu/packages/bioinformatics.scm (rcas-web): Update to 0.1.0.
[inputs]: Replace guile2.2-redis with guile-redis.
2019-02-08 22:45:12 +01:00
Arun Isaac 4745f8d71d
gnu: swaks: Update to 20181104.0.
* gnu/packages/mail.scm (swaks): Update to 20181104.0.
2019-02-09 01:08:36 +05:30
Ricardo Wurmus 4714b00e7a
gnu: Add dune-pdelab.
* gnu/packages/maths.scm (dune-pdelab): New variable.
2019-02-08 19:15:03 +01:00
Ricardo Wurmus 85b9371cbe
gnu: Add dune-functions.
* gnu/packages/maths.scm (dune-functions): New variable.
2019-02-08 18:29:30 +01:00
Ricardo Wurmus 0e50630f15
gnu: Add dune-typetree.
* gnu/packages/maths.scm (dune-typetree): New variable.
2019-02-08 17:58:32 +01:00
Ricardo Wurmus ab03d899ca
gnu: Add dune-alugrid.
* gnu/packages/maths.scm (dune-alugrid): New variable.
2019-02-08 17:52:47 +01:00
Danny Milosavljevic fc80f54e29
gnu: Add usbmuxd.
* gnu/packages/libusb.scm (usbmuxd): New variable.
2019-02-08 16:44:51 +01:00
Danny Milosavljevic bc4e8d3e64
gnu: Add ifuse.
* gnu/packages/libusb.scm (ifuse): New variable.
2019-02-08 16:44:51 +01:00
Danny Milosavljevic 6d0b50f651
gnu: libimobiledevice: Propagate "libplist".
* gnu/packages/libusb.scm (libimobiledevice)[propagated-inputs]: Add
libplist.
[inputs]: Remove libplist.
2019-02-08 16:44:49 +01:00
Ricardo Wurmus f57bf15cd8
gnu: guile-redis: Update to 1.3.0.
* gnu/packages/guile-xyz.scm (guile-redis): Update to 1.3.0.
2019-02-08 16:26:20 +01:00
Ricardo Wurmus 5a70aa7d69
gnu: Add dune-localfunctions.
* gnu/packages/maths.scm (dune-localfunctions): New variable.
2019-02-08 16:26:20 +01:00
Ricardo Wurmus ea51d3578c
gnu: Add dune-istl.
* gnu/packages/maths.scm (dune-istl): New variable.
2019-02-08 16:26:20 +01:00
Ricardo Wurmus ef6e69fdec
gnu: Add dune-grid.
* gnu/packages/maths.scm (dune-grid): New variable.
2019-02-08 16:26:20 +01:00
Tobias Geerinckx-Rice 9d58e8819f
gnu: umoci: Update to 0.4.4.
* gnu/packages/virtualization.scm (umoci): Update to 0.4.4.
2019-02-08 12:09:58 +01:00
Christopher Baines 6fd72f7094
gnu: guile-squee: Fix the license.
The license originally specified in the package definition was incorrect. The
true license is the Lesser GNU General Public License.

* gnu/packages/guile-xyz.scm (guile-squee): Change license to license:lgpl3+.
2019-02-08 10:26:20 +00:00
Eric Bavier 7b84610e21
gnu: hdf5: Upgrade to 1.8.21.
* gnu/packages/maths.scm (hdf5): Upgrade to 1.8.21.
[source]: Make version manipulations more readable using match.
2019-02-07 21:20:47 -06:00
Eric Bavier 7fedc3fdfb
gnu: hdf5: Remove use of deprecated MPI1 symbols.
* gnu/packages/patches/hdf5-1.8-mpi-deprecations.patch,
  gnu/packages/patches/hdf5-mpi-deprecations.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (hdf5, hdf5-1.10)[source]: Use them.
2019-02-07 21:20:47 -06:00
Eric Bavier 2bdf26f1c8
gnu: superlu-dist: Remove use of deprecated MPI1 symbols.
* gnu/packages/patches/superlu-dist-fix-mpi-deprecations.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (superlu-dist)[source]: Use it.
2019-02-07 21:20:23 -06:00
Pierre Neidhardt 674d180cfa
gnu: emacs-fish-completion: Update to 1.0.
* gnu/packages/emacs-xyz.scm (emacs-fish-completion): Update to 1.0.
2019-02-07 23:10:05 +01:00
Tim Stahel 6f8ade6ee6
gnu: Add gpx.
* gnu/packages/engineering.scm (gpx): New variable.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2019-02-07 22:36:01 +01:00
Ricardo Wurmus 242dbd8e5d
gnu: Add dune-geometry.
* gnu/packages/maths.scm (dune-geometry): New variable.
2019-02-07 22:36:01 +01:00
Ricardo Wurmus 3847d1f22f
gnu: Add dune-common.
* gnu/packages/maths.scm (dune-common): New variable.
2019-02-07 22:36:01 +01:00
Dan Frumin 7d60df330a
gnu: Add coq-autosubst
* gnu/packages/coq.scm (coq-autosubst): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-07 22:30:32 +01:00
Mark H Weaver d5240bc09d
gnu: linux-libre: Update to 4.20.7.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.20.7.
(%linux-libre-hash): Update hash.
2019-02-07 13:56:44 -05:00
Mark H Weaver 43194fbe3c
gnu: linux-libre@4.19: Update to 4.19.20.
* gnu/packages/linux.scm (%linux-libre-4.19-version): Update to 4.19.20.
(%linux-libre-4.19-hash): Update hash.
2019-02-07 13:55:42 -05:00
Mark H Weaver 848e28aab5
gnu: linux-libre@4.14: Update to 4.14.98.
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.98.
(%linux-libre-4.14-hash): Update hash.
2019-02-07 13:54:19 -05:00