summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* import: stackage: Support input changes.Lars-Dominik Braun2021-10-08
| | | | | * guix/import/stackage.scm (latest-lts-release): Rename package to pkg to avoid name conflict and add input-changes.
* import: hackage: Update GHC’s standard libraries.Lars-Dominik Braun2021-10-08
| | | | | * guix/import/hackage.scm (ghc-standard-libraries): Add exceptions library.
* import: stackage: Update %default-lts-version to 18.10.Lars-Dominik Braun2021-10-08
| | | | * guix/import/stackage.scm (%default-lts-version): Update to 18.10.
* gnu: ghc-8: Update to 8.10.Lars-Dominik Braun2021-10-08
| | | | | | * gnu/packages/haskell.scm (ghc-8): Update to 8.10. (ghc-8.8): Rename to just ghc. (ghc-8.10): Dito.
* guix: haskell-build-system: Always pass -package-db option.John Kehayias2021-10-08
| | | | | | * guix/build/haskell-build-system.scm (run-setuphs): Pass -package-db option. Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
* gnu: ocaml-graphics: Update to 5.1.2.Julien Lepiller2021-10-08
| | | | * gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2.
* gnu: ocaml-version: Add upstream-name.Julien Lepiller2021-10-08
| | | | * gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name.
* gnu: ocaml-cairo2: Update to 0.6.2.Julien Lepiller2021-10-08
| | | | | | | * 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.
* gnu: ocaml-bisect-ppx: Add upstream-name.Julien Lepiller2021-10-08
| | | | | * gnu/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add upstream-name.
* gnu: ocaml-base64: Update to 3.5.0.Julien Lepiller2021-10-08
| | | | * gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0.
* gnu: frama-c: Update to 23.1.Julien Lepiller2021-10-08
| | | | * gnu/packages/maths.scm (frama-c): Update to 23.1.
* gnu: why3: Update to 1.4.0.Julien Lepiller2021-10-08
| | | | * gnu/packages/maths.scm (why3): Update to 1.4.0.
* gnu: camlzip: Update to 1.11.Julien Lepiller2021-10-08
| | | | * gnu/packages/ocaml.scm (camlzip): Update to 1.11.
* gnu: coq: Add upstream-name.Julien Lepiller2021-10-08
| | | | | | This prevents an error on inherited packages when running the updater. * gnu/packages/coq.scm (coq)[properties]: Add upstream-name.
* gnu: ocaml-ctypes: Update to 0.19.1.Xinglu Chen2021-10-08
| | | | | | | | | | * 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>
* gnu: ocaml-migrate-parsetree: Update to 2.2.0.Xinglu Chen2021-10-08
| | | | | | * gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 2.2.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-bigstringaf: Update to 0.8.0.Xinglu Chen2021-10-08
| | | | | | * gnu/packages/ocaml.scm (ocaml-bigstringaf): Update to 0.8.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-uuidm: Update to 0.9.7.Xinglu Chen2021-10-08
| | | | | | * gnu/packages/ocaml.scm (ocaml-uuidm): Update to 0.9.7. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-cppo: Update to 1.6.8.Xinglu Chen2021-10-08
| | | | | | * gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-extlib: Update to 1.7.8.Xinglu Chen2021-10-08
| | | | | | * gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-cmdliner: Update to 1.0.4.Xinglu Chen2021-10-08
| | | | | | | * gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.4. [source]: Use HTTPS URL. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-alcotest: Update to 1.4.0.Xinglu Chen2021-10-08
| | | | | | | * 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>
* gnu: caf: Update to 0.18.5.Greg Hogan2021-10-08
| | | | | | * gnu/packages/cpp.scm (caf): Update to 0.18.5. Signed-off-by: Marius Bakke <marius@gnu.org>
* gnu: pcg-cpp: Update to 0.98.1-ffd522e7.Greg Hogan2021-10-08
| | | | | | * gnu/packages/cpp.scm (pcg-cpp): Update to 0.98.1-ffd522e7. Signed-off-by: Marius Bakke <marius@gnu.org>
* gnu: folly: Update to 2021.10.04.00.Greg Hogan2021-10-08
| | | | | | * gnu/packages/cpp.scm (folly): Update to 2021.10.04.00. Signed-off-by: Marius Bakke <marius@gnu.org>
* gnu: ceph: Fix breaking change in snappy.Greg Hogan2021-10-08
| | | | | | | | * 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>
* gnu: Add erlang-covertool.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-covertool): New variable.
* gnu: Add erlang-rebar3-proper.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-rebar3-proper): New variable.
* gnu: Add erlang-rebar3-git-vsn.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-rebar3-git-vsn): New variable.
* gnu: Add erlang-rebar3-raw-deps.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-rebar3-raw-deps): New variable.
* gnu: Add erlang-proper.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-proper): New variable.
* gnu: Add erlang-jsone.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-jsone): New variable.
* gnu: Add erlang-edown.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-edown): New variable.
* gnu: Add rebar3.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (rebar3): New variable.
* gnu: Add erlang-relx.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-relx): New variable.
* gnu: Add erlang-ssl-verify-fun.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-ssl-verify-fun): New variable.
* gnu: Add erlang-hex-core.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-hex-core): New variable.
* gnu: Add erlang-parse-trans.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-parse-trans): New variable.
* gnu: Add erlang-providers.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-providers): New variable.
* gnu: Add erlang-eunit-formatters.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-eunit-formatters): New variable.
* gnu: Add erlang-getopt.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-getopt): New variable.
* gnu: Add erlang-bbmustache.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-bbmustache): New variable.
* gnu: Add erlang-cth-readable.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-cth-readable): New variable.
* gnu: Add erlang-erlware-commons.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-erlware-commons): New variable.
* gnu: Add erlang-certifi.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-certifi): New variable.
* gnu: Add erlang-cf.Hartmut Goebel2021-10-07
| | | | * gnu/packages/erlang.scm (erlang-cf): New variable.
* build-system: Add 'rebar3-build-system'.Hartmut Goebel2021-10-07
| | | | | * guix/build-system/rebar3.scm, guix/build/rebar3-build-system.scm: New files. * Makefile.am (MODULES): Add them.
* import: Add hex.pm importer.Hartmut Goebel2021-10-07
| | | | | | | | | | | | | 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.
* Add (guix extracting-download).Hartmut Goebel2021-10-07
| | | | | * guix/extracting-download.scm: New file * Makefile.am (MODULES): Add it.
* gnu: Add emacs-global-tags.Clément Lassieur2021-10-07
| | | | * gnu/packages/emacs-xyz.scm (emacs-global-tags): New variable.