| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
* gnu/packages/haskell.scm (ghc-8): Update to 8.10.
(ghc-8.8): Rename to just ghc.
(ghc-8.10): Dito.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name.
|
|
|
|
|
|
|
| |
* 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/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add
upstream-name.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0.
|
|
|
|
| |
* gnu/packages/maths.scm (frama-c): Update to 23.1.
|
|
|
|
| |
* gnu/packages/maths.scm (why3): Update to 1.4.0.
|
|
|
|
| |
* gnu/packages/ocaml.scm (camlzip): Update to 1.11.
|
|
|
|
|
|
| |
This prevents an error on inherited packages when running the updater.
* gnu/packages/coq.scm (coq)[properties]: Add upstream-name.
|
|
|
|
|
|
|
|
|
|
| |
* 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/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 2.2.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-bigstringaf): Update to 0.8.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-uuidm): Update to 0.9.7.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.8.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.8.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.4.
[source]: Use HTTPS URL.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
|
|
|
|
|
|
|
| |
* 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/packages/cpp.scm (caf): Update to 0.18.5.
Signed-off-by: Marius Bakke <marius@gnu.org>
|
|
|
|
|
|
| |
* gnu/packages/cpp.scm (pcg-cpp): Update to 0.98.1-ffd522e7.
Signed-off-by: Marius Bakke <marius@gnu.org>
|
|
|
|
|
|
| |
* gnu/packages/cpp.scm (folly): Update to 2021.10.04.00.
Signed-off-by: Marius Bakke <marius@gnu.org>
|
|
|
|
|
|
|
|
| |
* 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/packages/erlang.scm (erlang-covertool): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-rebar3-git-vsn): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-rebar3-raw-deps): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-proper): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-jsone): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-edown): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (rebar3): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-relx): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-ssl-verify-fun): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-hex-core): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-parse-trans): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-providers): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-eunit-formatters): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-getopt): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-bbmustache): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-cth-readable): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-erlware-commons): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-certifi): New variable.
|
|
|
|
| |
* gnu/packages/erlang.scm (erlang-cf): New variable.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-global-tags): New variable.
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (sbcl-cl-gserver)[source]: Specify commit
rather than rely on the tag.
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (sbcl-golden-utils)[home-page]: Update.
[source]: Update URL.
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
| |
Fixes <https://issues.guix.gnu.org/51074>.
* gnu/packages/maths.scm (mcrl2)[source]: Update hash.
|
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-find-file-in-project)[source]:
Specify commit rather than tag.
|
|
|
|
| |
* gnu/packages/education.scm (fet)[source]: Add "old/" URL.
|