| Commit message (Expand) | Author | Age | Files | Lines |
* | 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.
| Efraim Flashner | 2021-10-08 | 1 | -4/+4 |
* | gnu: julia-nnlib: Update to 0.7.29.•••* gnu/packages/julia-xyz.scm (julia-nnlib): Update to 0.7.29.
| Efraim Flashner | 2021-10-08 | 1 | -2/+2 |
* | gnu: julia-staticarrays: Update to 1.2.13.•••* gnu/packages/julia-xyz.scm (julia-staticarrays): Update to 1.2.13.
| Efraim Flashner | 2021-10-08 | 1 | -2/+2 |
* | gnu: julia-reexport: Update to 1.2.2.•••* gnu/packages/julia-xyz.scm (julia-reexport): Update to 1.2.2.
| Efraim Flashner | 2021-10-08 | 1 | -2/+2 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 2 | -1/+44 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 2 | -2/+41 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 2 | -4/+45 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 2 | -1/+44 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 2 | -2/+41 |
* | gnu: ghc-haskeline: Remove version postfix from variable name.•••* gnu/packages/haskell-xyz.scm (ghc-haskeline-0.8): Rename to…
(ghc-haskeline): …this.
| Lars-Dominik Braun | 2021-10-08 | 1 | -2/+2 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 2 | -22/+7 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 1 | -2/+3 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 2 | -1/+68 |
* | 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>
| Xinglu Chen | 2021-10-08 | 3 | -1/+115 |
* | gnu: ghc-silently: Remove unused input.•••Plus it’s commented out anyway.
* gnu/packages/haskell-xyz.scm (ghc-silently): Remove commented out
inputs.
| Lars-Dominik Braun | 2021-10-08 | 1 | -2/+0 |
* | gnu: ruby-pandoc-ruby: Disable tests.•••* gnu/packages/ruby.scm (ruby-pandoc-ruby) [arguments]: Disable tests,
remove obsolete phase.
| Lars-Dominik Braun | 2021-10-08 | 1 | -11/+3 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 2 | -0/+151 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 3 | -0/+425 |
* | 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>
| Lars-Dominik Braun | 2021-10-08 | 24 | -2251/+3016 |
* | 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.
| Lars-Dominik Braun | 2021-10-08 | 1 | -8/+8 |
* | gnu: ocaml-graphics: Update to 5.1.2.•••* gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2.
| Julien Lepiller | 2021-10-08 | 1 | -2/+2 |
* | gnu: ocaml-version: Add upstream-name.•••* gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name.
| Julien Lepiller | 2021-10-08 | 1 | -0/+1 |
* | 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.
| Julien Lepiller | 2021-10-08 | 2 | -76/+2 |
* | gnu: ocaml-bisect-ppx: Add upstream-name.•••* gnu/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add
upstream-name.
| Julien Lepiller | 2021-10-08 | 1 | -0/+1 |
* | gnu: ocaml-base64: Update to 3.5.0.•••* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0.
| Julien Lepiller | 2021-10-08 | 1 | -13/+2 |
* | gnu: frama-c: Update to 23.1.•••* gnu/packages/maths.scm (frama-c): Update to 23.1.
| Julien Lepiller | 2021-10-08 | 1 | -3/+3 |
* | gnu: why3: Update to 1.4.0.•••* gnu/packages/maths.scm (why3): Update to 1.4.0.
| Julien Lepiller | 2021-10-08 | 1 | -7/+13 |
* | gnu: camlzip: Update to 1.11.•••* gnu/packages/ocaml.scm (camlzip): Update to 1.11.
| Julien Lepiller | 2021-10-08 | 1 | -18/+10 |
* | 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.
| Julien Lepiller | 2021-10-08 | 1 | -0/+1 |
* | 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>
| Xinglu Chen | 2021-10-08 | 1 | -16/+9 |
* | 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>
| Xinglu Chen | 2021-10-08 | 1 | -2/+2 |
* | 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>
| Xinglu Chen | 2021-10-08 | 1 | -2/+2 |
* | 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>
| Xinglu Chen | 2021-10-08 | 1 | -2/+2 |
* | 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>
| Xinglu Chen | 2021-10-08 | 1 | -2/+2 |
* | 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>
| Xinglu Chen | 2021-10-08 | 1 | -2/+2 |
* | 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>
| Xinglu Chen | 2021-10-08 | 1 | -3/+3 |
* | 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>
| Xinglu Chen | 2021-10-08 | 1 | -6/+8 |
* | 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>
| Greg Hogan | 2021-10-08 | 1 | -2/+2 |
* | 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>
| Greg Hogan | 2021-10-08 | 1 | -3/+3 |
* | 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>
| Greg Hogan | 2021-10-08 | 1 | -2/+2 |
* | 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>
| Greg Hogan | 2021-10-08 | 2 | -1/+17 |
* | gnu: Add erlang-covertool.•••* gnu/packages/erlang.scm (erlang-covertool): New variable.
| Hartmut Goebel | 2021-10-07 | 1 | -0/+20 |
* | gnu: Add erlang-rebar3-proper.•••* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable.
| Hartmut Goebel | 2021-10-07 | 1 | -0/+17 |
* | gnu: Add erlang-rebar3-git-vsn.•••* gnu/packages/erlang.scm (erlang-rebar3-git-vsn): New variable.
| Hartmut Goebel | 2021-10-07 | 1 | -0/+32 |
* | gnu: Add erlang-rebar3-raw-deps.•••* gnu/packages/erlang.scm (erlang-rebar3-raw-deps): New variable.
| Hartmut Goebel | 2021-10-07 | 1 | -0/+17 |
* | gnu: Add erlang-proper.•••* gnu/packages/erlang.scm (erlang-proper): New variable.
| Hartmut Goebel | 2021-10-07 | 1 | -0/+26 |
* | gnu: Add erlang-jsone.•••* gnu/packages/erlang.scm (erlang-jsone): New variable.
| Hartmut Goebel | 2021-10-07 | 1 | -0/+23 |
* | gnu: Add erlang-edown.•••* gnu/packages/erlang.scm (erlang-edown): New variable.
| Hartmut Goebel | 2021-10-07 | 1 | -0/+17 |
* | gnu: Add rebar3.•••* gnu/packages/erlang.scm (rebar3): New variable.
| Hartmut Goebel | 2021-10-07 | 1 | -0/+74 |
* | gnu: Add erlang-relx.•••* gnu/packages/erlang.scm (erlang-relx): New variable.
| Hartmut Goebel | 2021-10-07 | 1 | -0/+26 |