jackhill/guix/guix.git
2 years agognu: guix-build-coordinator: Update to 0-34.76d129d.
Christopher Baines [Fri, 8 Oct 2021 20:34:19 +0000 (21:34 +0100)]
gnu: guix-build-coordinator: Update to 0-34.76d129d.

* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-34.76d129d.

2 years agoguix: self: Fix home modules in compiled-guix.
Oleg Pykhalov [Fri, 8 Oct 2021 18:17:06 +0000 (21:17 +0300)]
guix: self: Fix home modules in compiled-guix.

This commit follows ba8ddb348045f81f061a1c7f51c0f7c2b0024e71.

* guix/self.scm (compiled-guix): Update home modules location.

2 years agognu: tlp: Fix runtime error.
Alex Devaure [Fri, 8 Oct 2021 16:43:39 +0000 (18:43 +0200)]
gnu: tlp: Fix runtime error.

* gnu/packages/linux.scm (tlp)[arguments]<#:phases>: Also modify "bat.d"
location, to prevent "/usr/share/tlp/bat.d/[0-9][0-9]*[a-z]: No such file or
directory" error.

2 years agognu: terminology: Update to 1.10.0.
Efraim Flashner [Fri, 8 Oct 2021 14:32:06 +0000 (17:32 +0300)]
gnu: terminology: Update to 1.10.0.

* gnu/packages/enlightenment.scm (terminology): Update to 1.10.0.

2 years agognu: supertuxkart: Update to 1.3.
Efraim Flashner [Fri, 8 Oct 2021 13:58:08 +0000 (16:58 +0300)]
gnu: supertuxkart: Update to 1.3.

* gnu/packages/games.scm (supertuxkart): Update to 1.3.
[source]: Download from github. Update snippet to remove different
bundled libraries.
[arguments]: Adjust configure-flags for new version.
[inputs]: Add sqlite.

2 years agognu: Move (gnu home-services) to (gnu home services).
Oleg Pykhalov [Mon, 4 Oct 2021 23:09:41 +0000 (02:09 +0300)]
gnu: Move (gnu home-services) to (gnu home services).

* gnu/home-services/configuration.scm: Move the content ...
* gnu/home/services/configuration.scm: ... here.
* doc/guix.texi:
Replace (gnu home-services mcron) with (gnu home services mcron).
Replace (gnu home-services) with (gnu home services).
* gnu/home.scm:
Replace (gnu home-services fontutils) with (gnu services fontutils).
Replace (gnu home-services shells) with (gnu home services shells).
Replace (gnu home-services symlink-manager) with
(gnu home services symlink-manager).
Replace (gnu home-services xdg) with (gnu home services xdg).
* gnu/home-services/fontutils.scm: Rename to gnu/services/fontutils.scm.
* gnu/home-services/mcron.scm: Move to gnu/home/services/mcron.scm.
Replace (gnu home-services shepherd) with (gnu home services shepherd).
* gnu/home-services.scm (%service-type-path):
Search home services in "gnu/services".
* gnu/home-services/shells.scm: Replace (gnu home-services configuration) with
(gnu home services configuration).
Rename to gnu/home/services/shells.scm.
Replace (gnu home-services utils) with (gnu home services utils).
* gnu/home-services/shepherd.scm: Move to gnu/home/services/shepherd.scm.
* gnu/home-services/symlink-manager.scm:
Rename to gnu/home/services/symlink-manager.scm.
* gnu/home-services/utils.scm: Rename to gnu/home/services/utils.scm.
* gnu/home-services/xdg.scm: Rename to gnu/home/services/xdg.scm.
* guix/scripts/home/import.scm:
Replace (gnu home-services bash) with (gnu home services bash).
* gnu/home-services.scm: Update documentation string.
* doc/he-config-bare-bones.scm:
Apply new (gnu home-services ...) modules location.
* gnu/local.mk (GNU_SYSTEM_MODULES): Same.

2 years agognu: ocaml-bos: Update to 0.2.1.
Julien Lepiller [Fri, 8 Oct 2021 11:43:59 +0000 (13:43 +0200)]
gnu: ocaml-bos: Update to 0.2.1.

* gnu/packages/ocaml.scm (ocaml-bos): Update to 0.2.1.

2 years agognu: ocaml-parsexp: Update to 0.14.1.
Julien Lepiller [Fri, 8 Oct 2021 11:38:22 +0000 (13:38 +0200)]
gnu: ocaml-parsexp: Update to 0.14.1.

* gnu/packages/ocaml.scm (ocaml-parsexp): Update to 0.14.1.

2 years agognu: Add ocaml-ppx-tools.
Xinglu Chen [Thu, 12 Aug 2021 13:31:29 +0000 (15:31 +0200)]
gnu: Add ocaml-ppx-tools.

* gnu/packages/ocaml.scm (ocaml-ppx-tools): New variable.
(ocaml4.07-ppx-tools): Remove variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: Add ocaml-ppx-deriving.
Xinglu Chen [Thu, 12 Aug 2021 14:04:02 +0000 (16:04 +0200)]
gnu: Add ocaml-ppx-deriving.

* gnu/packages/ocaml.scm (ocaml-ppx-deriving): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: scummvm: Update to 2.5.0.
Nicolas Goaziou [Fri, 8 Oct 2021 10:26:33 +0000 (12:26 +0200)]
gnu: scummvm: Update to 2.5.0.

* gnu/packages/emulators.scm (scummvm): Update to 2.5.0.
[inputs]: Add glew and giflib.

2 years agognu: Add emacs-mint-mode.
jgart via Guix-patches via [Tue, 5 Oct 2021 22:24:30 +0000 (18:24 -0400)]
gnu: Add emacs-mint-mode.

* gnu/packages/emacs-xyz.scm (emacs-mint-mode): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2 years agognu: joycond: Small refactoring.
Nicolas Goaziou [Fri, 8 Oct 2021 10:14:42 +0000 (12:14 +0200)]
gnu: joycond: Small refactoring.

* gnu/packages/games.scm (joycond)[arguments]<#:phases>: Use (assoc-ref
outputs "out") instead of %output.

2 years agognu: Add joycond.
phodina via Guix-patches via [Tue, 5 Oct 2021 22:08:46 +0000 (22:08 +0000)]
gnu: Add joycond.

* gnu/packages/games.scm (joycond): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2 years agognu: plocate: Update to 1.1.12.
Nicolas Goaziou [Fri, 8 Oct 2021 10:08:43 +0000 (12:08 +0200)]
gnu: plocate: Update to 1.1.12.

* gnu/packages/search.scm (plocate): Update to 1.1.12.

2 years agognu: Add plocate.
Alexandr Vityazev [Mon, 4 Oct 2021 21:52:32 +0000 (21:52 +0000)]
gnu: Add plocate.

* gnu/packages/search.scm (plocate): New variable.

Add the required imports from (guix build-system meson) and
(gnu packages pkg-config).

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2 years agognu: Add emacs-skempo.
Alexandr Vityazev [Mon, 4 Oct 2021 15:17:56 +0000 (15:17 +0000)]
gnu: Add emacs-skempo.

* gnu/packages/emacs-xyz.scm (emacs-skempo): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2 years agognu: Add emacs-taxy.
Alexandr Vityazev [Mon, 4 Oct 2021 11:15:55 +0000 (11:15 +0000)]
gnu: Add emacs-taxy.

* gnu/packages/emacs-xyz.scm (emacs-taxy): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2 years agognu: julia-chainrulestestutils: Update to 1.2.3.
Efraim Flashner [Thu, 7 Oct 2021 13:10:35 +0000 (16:10 +0300)]
gnu: julia-chainrulestestutils: Update to 1.2.3.

* gnu/packages/julia-xyz.scm (julia-chainrulestestutils): Update to 1.2.3.

2 years agognu: julia-lazyarrays: Update to 0.22.2.
Efraim Flashner [Thu, 7 Oct 2021 12:02:05 +0000 (15:02 +0300)]
gnu: julia-lazyarrays: Update to 0.22.2.

* gnu/packages/julia-xyz.scm (julia-lazyarrays): Update to 0.22.2.

2 years agognu: julia-nnlib: Enable tests.
Efraim Flashner [Thu, 7 Oct 2021 11:24:05 +0000 (14:24 +0300)]
gnu: julia-nnlib: Enable tests.

* gnu/packages/julia-xyz.scm (julia-nnlib)[arguments]: Don't skip tests.
Rename drop-cuda-support phase to skip-cuda-tests and remove extra call
to cuda library.

2 years agognu: julia-nnlib: Update to 0.7.29.
Efraim Flashner [Thu, 7 Oct 2021 11:23:11 +0000 (14:23 +0300)]
gnu: julia-nnlib: Update to 0.7.29.

* gnu/packages/julia-xyz.scm (julia-nnlib): Update to 0.7.29.

2 years agognu: julia-staticarrays: Update to 1.2.13.
Efraim Flashner [Thu, 7 Oct 2021 09:00:35 +0000 (12:00 +0300)]
gnu: julia-staticarrays: Update to 1.2.13.

* gnu/packages/julia-xyz.scm (julia-staticarrays): Update to 1.2.13.

2 years agognu: julia-reexport: Update to 1.2.2.
Efraim Flashner [Thu, 7 Oct 2021 07:05:40 +0000 (10:05 +0300)]
gnu: julia-reexport: Update to 1.2.2.

* gnu/packages/julia-xyz.scm (julia-reexport): Update to 1.2.2.

2 years agognu: pigx-scrnaseq: Remove dependency on pandoc-citeproc.
Lars-Dominik Braun [Wed, 6 Oct 2021 12:11:15 +0000 (14:11 +0200)]
gnu: pigx-scrnaseq: Remove dependency on pandoc-citeproc.

* gnu/packages/patches/pigx-scrnaseq-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-scrnaseq)[source]: Use it.
[native-inputs]: Add automake/autoconf.

2 years agognu: pigx-rnaseq: Remove dependency on pandoc-citeproc.
Lars-Dominik Braun [Wed, 6 Oct 2021 12:10:18 +0000 (14:10 +0200)]
gnu: pigx-rnaseq: Remove dependency on pandoc-citeproc.

* gnu/packages/patches/pigx-rnaseq-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-rnaseq)[source]: Use it.
[native-inputs]: Add automake/autoconf.

2 years agognu: pigx-chipseq: Remove dependency on pandoc-citeproc.
Lars-Dominik Braun [Wed, 6 Oct 2021 12:08:53 +0000 (14:08 +0200)]
gnu: pigx-chipseq: Remove dependency on pandoc-citeproc.

* gnu/packages/patches/pigx-chipseq-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-chipseq)[source]: Use it.
[native-inputs]: Add automake/autoconf.

2 years agognu: pigx-sars-cov2-ww: Remove dependency on pandoc-citeproc.
Lars-Dominik Braun [Tue, 5 Oct 2021 17:08:36 +0000 (19:08 +0200)]
gnu: pigx-sars-cov2-ww: Remove dependency on pandoc-citeproc.

* gnu/packages/patches/pigx-sars-cov2-ww-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-sars-cov2-ww)[source]: Use it.
[native-inputs]: Add automake/autoconf.

2 years agognu: pigx-bsseq: Remove dependency on pandoc-citeproc.
Lars-Dominik Braun [Tue, 5 Oct 2021 13:42:38 +0000 (15:42 +0200)]
gnu: pigx-bsseq: Remove dependency on pandoc-citeproc.

* gnu/packages/patches/pigx-bsseq-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-bsseq)[source]: Use it.
[native-inputs]: Add automake/autoconf.

2 years agognu: ghc-haskeline: Remove version postfix from variable name.
Lars-Dominik Braun [Tue, 5 Oct 2021 13:37:21 +0000 (15:37 +0200)]
gnu: ghc-haskeline: Remove version postfix from variable name.

* gnu/packages/haskell-xyz.scm (ghc-haskeline-0.8): Rename to…
(ghc-haskeline): …this.

2 years agognu: ghc-repline: Remove version 0.2.0.0.
Lars-Dominik Braun [Tue, 5 Oct 2021 13:34:26 +0000 (15:34 +0200)]
gnu: ghc-repline: Remove version 0.2.0.0.

Not required by any package in the tree.

* gnu/packages/haskell-xyz.scm (ghc-repline-0.3): Merge into…
(ghc-repline): …this.
* gnu/packages/dhall.scm (dhall): Use ghc-repline.

2 years agognu: python-pypandoc: Upgrade to 1.6.4.
Lars-Dominik Braun [Tue, 5 Oct 2021 12:13:57 +0000 (14:13 +0200)]
gnu: python-pypandoc: Upgrade to 1.6.4.

Required for the updated pandoc.

* gnu/packages/python-xyz.scm (python-pypandoc): Upgrade to 1.6.4.
[native-inputs]: Add texlive-iftex.

2 years agognu: ngless: Fix build.
Lars-Dominik Braun [Tue, 5 Oct 2021 11:51:04 +0000 (13:51 +0200)]
gnu: ngless: Fix build.

Apply upstream patch to restore compatibility with current Stackage.

* gnu/packages/patches/ngless-unliftio.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/bioinformatics.scm (ngless): Use it.

2 years agognu: idris: Fix build.
Xinglu Chen [Sat, 2 Oct 2021 15:58:32 +0000 (17:58 +0200)]
gnu: idris: Fix build.

Backport some commits from upstream.

* gnu/packages/patches/idris-build-with-haskeline-0.8.patch:
* gnu/packages/patches/idris-build-with-megaparsec-9.patch: New patches
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/idris.scm (idris): Use them.

Signed-off-by: Lars-Dominik Braun <lars@6xq.net>
2 years agognu: ghc-silently: Remove unused input.
Lars-Dominik Braun [Sat, 2 Oct 2021 09:42:26 +0000 (11:42 +0200)]
gnu: ghc-silently: Remove unused input.

Plus it’s commented out anyway.

* gnu/packages/haskell-xyz.scm (ghc-silently): Remove commented out
inputs.

2 years agognu: ruby-pandoc-ruby: Disable tests.
Lars-Dominik Braun [Thu, 30 Sep 2021 07:29:51 +0000 (09:29 +0200)]
gnu: ruby-pandoc-ruby: Disable tests.

* gnu/packages/ruby.scm (ruby-pandoc-ruby) [arguments]: Disable tests,
remove obsolete phase.

2 years agognu: hedgewars: Fix build.
Lars-Dominik Braun [Wed, 29 Sep 2021 11:35:42 +0000 (13:35 +0200)]
gnu: hedgewars: Fix build.

* gnu/packages/patches/hedgewars-network-bsd.patch: Import upstream patch.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/games.scm (hedgewars): Use it.

2 years agognu: cabal-install: Build with GHC 8.10.
Lars-Dominik Braun [Tue, 28 Sep 2021 12:22:34 +0000 (14:22 +0200)]
gnu: cabal-install: Build with GHC 8.10.

* gnu/packages/patches/cabal-install-base16-bytestring1.0.patch: New patch.
* gnu/packages/patches/cabal-install-ghc8.10.patch: Ditto.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/haskell-apps.scm (cabal-install) [source]: Use them.

2 years agognu: Update Haskell ecosystem.
Lars-Dominik Braun [Mon, 20 Sep 2021 08:49:34 +0000 (10:49 +0200)]
gnu: Update Haskell ecosystem.

Bump packages’ versions to the lastest Stackage or Hackage
release. Since packages are interdependent, do so in a single commit.

525 packages have been updated.

These packages have been removed, because they fail to build, have no
newer version available and no dependencies:

corrode
ghc-easytest
ghc-edisonapi
ghc-edisoncore
ghc-pandoc-types
ghc-regex-tdfa-text

These have been removed, because they are no longer required:

ghc-happy-1.19.9
ghc-prettyprinter-1.6
ghc-protolude-0.3

ghc-pandoc-citeproc and pandoc-citeproc have been removed, because pandoc
does not use them any more.

Co-authored-by: Xinglu Chen <public@yoctocell.xyz>
2 years agobuild-system/haskell: Explain failure.
Lars-Dominik Braun [Sun, 19 Sep 2021 09:10:16 +0000 (11:10 +0200)]
build-system/haskell: Explain failure.

Provide human-readable failure message and explain how to fix it.

* guix/build/haskell-build-system.scm (register): Raise error if source
file does not exist.

2 years agoimport: hackage: Support mirror:// URLs
Lars-Dominik Braun [Fri, 17 Sep 2021 09:09:04 +0000 (11:09 +0200)]
import: hackage: Support mirror:// URLs

* guix/import/hackage.scm (guix-package->hackage-name): Support
mirror://-style URI’s.
(hackage-package?): Ditto.

2 years agobuild-system/haskell: Accept line breaks in config files.
Lars-Dominik Braun [Fri, 17 Sep 2021 08:17:33 +0000 (10:17 +0200)]
build-system/haskell: Accept line breaks in config files.

Long id’s will break to the next line.

* guix/build/haskell-build-system.scm (grep): Remove.
(register): Modify regular expression to account for newlines between
key and value, fail if package id is empty.

2 years agobuild-system/haskell: Do not rely on compiler name.
Lars-Dominik Braun [Fri, 17 Sep 2021 06:55:08 +0000 (08:55 +0200)]
build-system/haskell: Do not rely on compiler name.

We’ve been relying on the compiler name matching its package
subdir. Since we effectively only support GHC we can hard-code this and
avoid issues with “ghc-next”.

* guix/build/haskell-build-system.scm (make-ghc-package-database):
Use GHC_PACKAGE_PATH.
(register): Hard-code ghc prefix.

2 years agoimport: stackage: Support input changes.
Lars-Dominik Braun [Thu, 16 Sep 2021 06:12:17 +0000 (08:12 +0200)]
import: stackage: Support input changes.

* guix/import/stackage.scm (latest-lts-release): Rename package to pkg
to avoid name conflict and add input-changes.

2 years agoimport: hackage: Update GHC’s standard libraries.
Lars-Dominik Braun [Tue, 14 Sep 2021 11:15:07 +0000 (13:15 +0200)]
import: hackage: Update GHC’s standard libraries.

* guix/import/hackage.scm (ghc-standard-libraries): Add exceptions
library.

2 years agoimport: stackage: Update %default-lts-version to 18.10.
Lars-Dominik Braun [Tue, 14 Sep 2021 09:43:37 +0000 (11:43 +0200)]
import: stackage: Update %default-lts-version to 18.10.

* guix/import/stackage.scm (%default-lts-version): Update to 18.10.

2 years agognu: ghc-8: Update to 8.10.
Lars-Dominik Braun [Wed, 15 Sep 2021 11:26:40 +0000 (13:26 +0200)]
gnu: ghc-8: Update to 8.10.

* gnu/packages/haskell.scm (ghc-8): Update to 8.10.
(ghc-8.8): Rename to just ghc.
(ghc-8.10): Dito.

2 years agoguix: haskell-build-system: Always pass -package-db option.
John Kehayias [Tue, 20 Jul 2021 22:20:29 +0000 (00:20 +0200)]
guix: haskell-build-system: Always pass -package-db option.

* guix/build/haskell-build-system.scm (run-setuphs): Pass -package-db option.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2 years agognu: ocaml-graphics: Update to 5.1.2.
Julien Lepiller [Fri, 8 Oct 2021 02:32:04 +0000 (04:32 +0200)]
gnu: ocaml-graphics: Update to 5.1.2.

* gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2.

2 years agognu: ocaml-version: Add upstream-name.
Julien Lepiller [Fri, 8 Oct 2021 02:30:47 +0000 (04:30 +0200)]
gnu: ocaml-version: Add upstream-name.

* gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name.

2 years agognu: ocaml-cairo2: Update to 0.6.2.
Julien Lepiller [Fri, 8 Oct 2021 01:58:29 +0000 (03:58 +0200)]
gnu: ocaml-cairo2: Update to 0.6.2.

* gnu/packages/ocaml.scm (ocaml-cairo2): Update to 0.6.2.
* gnu/packages/patches/ocaml-cairo2-caml_ba_array-fix.patch: Remove
file.
* gnu/local.scm (dist_patch_DATA): Remove it.

2 years agognu: ocaml-bisect-ppx: Add upstream-name.
Julien Lepiller [Fri, 8 Oct 2021 01:54:06 +0000 (03:54 +0200)]
gnu: ocaml-bisect-ppx: Add upstream-name.

* gnu/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add
upstream-name.

2 years agognu: ocaml-base64: Update to 3.5.0.
Julien Lepiller [Fri, 8 Oct 2021 01:53:09 +0000 (03:53 +0200)]
gnu: ocaml-base64: Update to 3.5.0.

* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0.

2 years agognu: frama-c: Update to 23.1.
Julien Lepiller [Fri, 8 Oct 2021 01:48:35 +0000 (03:48 +0200)]
gnu: frama-c: Update to 23.1.

* gnu/packages/maths.scm (frama-c): Update to 23.1.

2 years agognu: why3: Update to 1.4.0.
Julien Lepiller [Fri, 8 Oct 2021 01:47:21 +0000 (03:47 +0200)]
gnu: why3: Update to 1.4.0.

* gnu/packages/maths.scm (why3): Update to 1.4.0.

2 years agognu: camlzip: Update to 1.11.
Julien Lepiller [Fri, 8 Oct 2021 02:09:55 +0000 (04:09 +0200)]
gnu: camlzip: Update to 1.11.

* gnu/packages/ocaml.scm (camlzip): Update to 1.11.

2 years agognu: coq: Add upstream-name.
Julien Lepiller [Fri, 8 Oct 2021 01:42:40 +0000 (03:42 +0200)]
gnu: coq: Add upstream-name.

This prevents an error on inherited packages when running the updater.

* gnu/packages/coq.scm (coq)[properties]: Add upstream-name.

2 years agognu: ocaml-ctypes: Update to 0.19.1.
Xinglu Chen [Tue, 28 Sep 2021 19:18:32 +0000 (21:18 +0200)]
gnu: ocaml-ctypes: Update to 0.19.1.

* gnu/packages/ocaml.scm (ocaml-ctypes): Update to 0.19.1.
[arguments]<#:tests?>: Enable.
<#phases>{make-writable}: Simplify.
[inputs]: Remove ocaml-topkg and opam.  Move ocaml-ounit and ocaml-lwt to ...
[native-inputs]: ... here.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: ocaml-migrate-parsetree: Update to 2.2.0.
Xinglu Chen [Tue, 28 Sep 2021 19:18:05 +0000 (21:18 +0200)]
gnu: ocaml-migrate-parsetree: Update to 2.2.0.

* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 2.2.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: ocaml-bigstringaf: Update to 0.8.0.
Xinglu Chen [Sun, 26 Sep 2021 17:02:56 +0000 (19:02 +0200)]
gnu: ocaml-bigstringaf: Update to 0.8.0.

* gnu/packages/ocaml.scm (ocaml-bigstringaf): Update to 0.8.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: ocaml-uuidm: Update to 0.9.7.
Xinglu Chen [Sun, 26 Sep 2021 16:59:55 +0000 (18:59 +0200)]
gnu: ocaml-uuidm: Update to 0.9.7.

* gnu/packages/ocaml.scm (ocaml-uuidm): Update to 0.9.7.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: ocaml-cppo: Update to 1.6.8.
Xinglu Chen [Sun, 26 Sep 2021 16:26:20 +0000 (18:26 +0200)]
gnu: ocaml-cppo: Update to 1.6.8.

* gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.8.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: ocaml-extlib: Update to 1.7.8.
Xinglu Chen [Sun, 26 Sep 2021 16:01:09 +0000 (18:01 +0200)]
gnu: ocaml-extlib: Update to 1.7.8.

* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.8.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: ocaml-cmdliner: Update to 1.0.4.
Xinglu Chen [Sun, 26 Sep 2021 15:30:27 +0000 (17:30 +0200)]
gnu: ocaml-cmdliner: Update to 1.0.4.

* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.4.
[source]: Use HTTPS URL.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: ocaml-alcotest: Update to 1.4.0.
Xinglu Chen [Sun, 26 Sep 2021 15:24:31 +0000 (17:24 +0200)]
gnu: ocaml-alcotest: Update to 1.4.0.

* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.4.0.
[source]: Use Git repo instead of GitHub tarball.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2 years agognu: caf: Update to 0.18.5.
Greg Hogan [Fri, 19 Mar 2021 15:28:33 +0000 (15:28 +0000)]
gnu: caf: Update to 0.18.5.

* gnu/packages/cpp.scm (caf): Update to 0.18.5.

Signed-off-by: Marius Bakke <marius@gnu.org>
2 years agognu: pcg-cpp: Update to 0.98.1-ffd522e7.
Greg Hogan [Wed, 30 Jun 2021 13:43:48 +0000 (13:43 +0000)]
gnu: pcg-cpp: Update to 0.98.1-ffd522e7.

* gnu/packages/cpp.scm (pcg-cpp): Update to 0.98.1-ffd522e7.

Signed-off-by: Marius Bakke <marius@gnu.org>
2 years agognu: folly: Update to 2021.10.04.00.
Greg Hogan [Fri, 21 May 2021 19:11:23 +0000 (19:11 +0000)]
gnu: folly: Update to 2021.10.04.00.

* gnu/packages/cpp.scm (folly): Update to 2021.10.04.00.

Signed-off-by: Marius Bakke <marius@gnu.org>
2 years agognu: ceph: Fix breaking change in snappy.
Greg Hogan [Tue, 5 Oct 2021 17:55:04 +0000 (17:55 +0000)]
gnu: ceph: Fix breaking change in snappy.

* gnu/packages/storage.scm (ceph)[source]: Add patch.
* gnu/packages/patches/ceph-fix-snappy-breaking-change.patch: New file.
* gnu/local.mk: Add it.

Signed-off-by: Marius Bakke <marius@gnu.org>
2 years agognu: Add erlang-covertool.
Hartmut Goebel [Wed, 6 Oct 2021 08:50:25 +0000 (10:50 +0200)]
gnu: Add erlang-covertool.

* gnu/packages/erlang.scm (erlang-covertool): New variable.

2 years agognu: Add erlang-rebar3-proper.
Hartmut Goebel [Fri, 3 Jul 2020 17:03:51 +0000 (19:03 +0200)]
gnu: Add erlang-rebar3-proper.

* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable.

2 years agognu: Add erlang-rebar3-git-vsn.
Hartmut Goebel [Fri, 3 Jul 2020 16:31:35 +0000 (18:31 +0200)]
gnu: Add erlang-rebar3-git-vsn.

* gnu/packages/erlang.scm (erlang-rebar3-git-vsn): New variable.

2 years agognu: Add erlang-rebar3-raw-deps.
Hartmut Goebel [Fri, 3 Jul 2020 14:01:37 +0000 (16:01 +0200)]
gnu: Add erlang-rebar3-raw-deps.

* gnu/packages/erlang.scm (erlang-rebar3-raw-deps): New variable.

2 years agognu: Add erlang-proper.
Hartmut Goebel [Fri, 3 Jul 2020 17:03:09 +0000 (19:03 +0200)]
gnu: Add erlang-proper.

* gnu/packages/erlang.scm (erlang-proper): New variable.

2 years agognu: Add erlang-jsone.
Hartmut Goebel [Fri, 3 Jul 2020 14:22:43 +0000 (16:22 +0200)]
gnu: Add erlang-jsone.

* gnu/packages/erlang.scm (erlang-jsone): New variable.

2 years agognu: Add erlang-edown.
Hartmut Goebel [Fri, 3 Jul 2020 14:43:01 +0000 (16:43 +0200)]
gnu: Add erlang-edown.

* gnu/packages/erlang.scm (erlang-edown): New variable.

2 years agognu: Add rebar3.
Hartmut Goebel [Sat, 23 May 2020 20:06:22 +0000 (22:06 +0200)]
gnu: Add rebar3.

* gnu/packages/erlang.scm (rebar3): New variable.

2 years agognu: Add erlang-relx.
Hartmut Goebel [Sat, 23 May 2020 21:18:41 +0000 (23:18 +0200)]
gnu: Add erlang-relx.

* gnu/packages/erlang.scm (erlang-relx): New variable.

2 years agognu: Add erlang-ssl-verify-fun.
Hartmut Goebel [Sat, 23 May 2020 21:08:53 +0000 (23:08 +0200)]
gnu: Add erlang-ssl-verify-fun.

* gnu/packages/erlang.scm (erlang-ssl-verify-fun): New variable.

2 years agognu: Add erlang-hex-core.
Hartmut Goebel [Sat, 23 May 2020 21:26:05 +0000 (23:26 +0200)]
gnu: Add erlang-hex-core.

* gnu/packages/erlang.scm (erlang-hex-core): New variable.

2 years agognu: Add erlang-parse-trans.
Hartmut Goebel [Sat, 23 May 2020 20:42:01 +0000 (22:42 +0200)]
gnu: Add erlang-parse-trans.

* gnu/packages/erlang.scm (erlang-parse-trans): New variable.

2 years agognu: Add erlang-providers.
Hartmut Goebel [Sat, 23 May 2020 20:06:02 +0000 (22:06 +0200)]
gnu: Add erlang-providers.

* gnu/packages/erlang.scm (erlang-providers): New variable.

2 years agognu: Add erlang-eunit-formatters.
Hartmut Goebel [Sat, 23 May 2020 21:22:46 +0000 (23:22 +0200)]
gnu: Add erlang-eunit-formatters.

* gnu/packages/erlang.scm (erlang-eunit-formatters): New variable.

2 years agognu: Add erlang-getopt.
Hartmut Goebel [Sat, 23 May 2020 20:05:11 +0000 (22:05 +0200)]
gnu: Add erlang-getopt.

* gnu/packages/erlang.scm (erlang-getopt): New variable.

2 years agognu: Add erlang-bbmustache.
Hartmut Goebel [Sat, 23 May 2020 20:57:13 +0000 (22:57 +0200)]
gnu: Add erlang-bbmustache.

* gnu/packages/erlang.scm (erlang-bbmustache): New variable.

2 years agognu: Add erlang-cth-readable.
Hartmut Goebel [Sat, 23 May 2020 21:18:32 +0000 (23:18 +0200)]
gnu: Add erlang-cth-readable.

* gnu/packages/erlang.scm (erlang-cth-readable): New variable.

2 years agognu: Add erlang-erlware-commons.
Hartmut Goebel [Sat, 23 May 2020 20:02:46 +0000 (22:02 +0200)]
gnu: Add erlang-erlware-commons.

* gnu/packages/erlang.scm (erlang-erlware-commons): New variable.

2 years agognu: Add erlang-certifi.
Hartmut Goebel [Sat, 23 May 2020 20:48:26 +0000 (22:48 +0200)]
gnu: Add erlang-certifi.

* gnu/packages/erlang.scm (erlang-certifi): New variable.

2 years agognu: Add erlang-cf.
Hartmut Goebel [Sat, 23 May 2020 20:01:28 +0000 (22:01 +0200)]
gnu: Add erlang-cf.

* gnu/packages/erlang.scm (erlang-cf): New variable.

2 years agobuild-system: Add 'rebar3-build-system'.
Hartmut Goebel [Thu, 28 May 2020 20:15:32 +0000 (22:15 +0200)]
build-system: Add 'rebar3-build-system'.

* guix/build-system/rebar3.scm, guix/build/rebar3-build-system.scm: New files.
* Makefile.am (MODULES): Add them.

2 years agoimport: Add hex.pm importer.
Hartmut Goebel [Sun, 24 May 2020 20:17:30 +0000 (22:17 +0200)]
import: Add hex.pm importer.

hex.pm is a package repository for Erlang and Elixir.

* guix/scripts/import.scm (importers): Add "hexpm".
* guix/scripts/import/hexpm.scm, guix/import/hexpm.scm,
  guix/hexpm-download.scm: New files.
* guix/import/utils.scm (source-spec->object): Add "hexpm-fetch" to list of
  fetch methods.
* guix/upstream.scm (package-update/hexpm-fetch): New function.
  (%method-updates) Add it.
* Makefile.am: Add them.

2 years agoAdd (guix extracting-download).
Hartmut Goebel [Sun, 21 Jun 2020 20:25:30 +0000 (22:25 +0200)]
Add (guix extracting-download).

* guix/extracting-download.scm: New file
* Makefile.am (MODULES): Add it.

2 years agognu: Add emacs-global-tags.
Clément Lassieur [Thu, 7 Oct 2021 16:08:01 +0000 (18:08 +0200)]
gnu: Add emacs-global-tags.

* gnu/packages/emacs-xyz.scm (emacs-global-tags): New variable.

2 years agognu: sbcl-cl-gserver: Update Git reference.
Ludovic Courtès [Thu, 7 Oct 2021 12:44:42 +0000 (14:44 +0200)]
gnu: sbcl-cl-gserver: Update Git reference.

* gnu/packages/lisp-xyz.scm (sbcl-cl-gserver)[source]: Specify commit
rather than rely on the tag.

2 years agognu: sbcl-golden-utils: Update source URL.
Ludovic Courtès [Thu, 7 Oct 2021 12:21:37 +0000 (14:21 +0200)]
gnu: sbcl-golden-utils: Update source URL.

* gnu/packages/lisp-xyz.scm (sbcl-golden-utils)[home-page]: Update.
[source]: Update URL.

2 years agognu: emacs-danneskjold-theme: Fix source hash.
Ludovic Courtès [Thu, 7 Oct 2021 11:17:44 +0000 (13:17 +0200)]
gnu: emacs-danneskjold-theme: Fix source hash.

Commit e12ba46c4c0686271a7e420d10fdda2b427bcf4d erroneously kept the
content hash unchanged, even though it changed the commit.

* gnu/packages/emacs-xyz.scm (emacs-danneskjold-theme)[source]: Update
hash.

2 years agognu: font-canada1500: Update hash of source file.
Ludovic Courtès [Thu, 7 Oct 2021 11:12:14 +0000 (13:12 +0200)]
gnu: font-canada1500: Update hash of source file.

The original source is nowhere to be found so it might have been
modified upstream right after the package was added, or it might have
been a mistake.

* gnu/packages/fonts.scm (font-canada1500)[source]: Update hash.

2 years agognu: mcrl2: Update hash of modified-in-place tarball.
Ludovic Courtès [Thu, 7 Oct 2021 10:52:44 +0000 (12:52 +0200)]
gnu: mcrl2: Update hash of modified-in-place tarball.

Fixes <https://issues.guix.gnu.org/51074>.

* gnu/packages/maths.scm (mcrl2)[source]: Update hash.

2 years agognu: emacs-find-file-in-project: Update Git reference.
Ludovic Courtès [Thu, 7 Oct 2021 10:25:17 +0000 (12:25 +0200)]
gnu: emacs-find-file-in-project: Update Git reference.

* gnu/packages/emacs-xyz.scm (emacs-find-file-in-project)[source]:
Specify commit rather than tag.

2 years agognu: fet: Add alternative URL for older source tarballs.
Ludovic Courtès [Thu, 7 Oct 2021 10:16:32 +0000 (12:16 +0200)]
gnu: fet: Add alternative URL for older source tarballs.

* gnu/packages/education.scm (fet)[source]: Add "old/" URL.