summaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2022-05-01gnu: ocamlformat: Update to 0.21.0....* gnu/packages/ocaml.scm (ocamlformat): Update to 0.21.0. Julien Lepiller
2022-05-01gnu: ocaml-cmdliner: Update to 1.1.0....Cmdliner changed its output format, so two packages need to be modified to accept the new format. The patch modifies ocaml 4.07 packages to ensure this patch results in the same derivations for these variants. * gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.1.0. (ocaml-alcotest, ocaml-mdx)[arguments]: Fix tests. (ocaml4.07-cmdliner): New variable. (ocaml4.07-alcotest): Do not fix tests. Julien Lepiller
2022-05-01gnu: ocaml-re: Update to 1.10.4....* gnu/packages/ocaml.scm (ocaml-re): Update to 1.10.4. Julien Lepiller
2022-05-01gnu: ocaml-spawn: Update to 0.15.1....* gnu/packages/ocaml.scm (ocaml-spawn): Update to 0.15.1. Julien Lepiller
2022-05-01gnu: ocaml-ppx-fields-conv: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-fields-conv): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-parsexp: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-parsexp): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-hash: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-hash): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-sexp-value: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-sexp-value): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-jst-config: Update to 0.15.1....* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.15.1. Julien Lepiller
2022-05-01gnu: ocaml-ppx-stable: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-stable): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-base: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-base): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-compare: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-compare): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-jane-street-headers: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-jane-street-headers): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-base-bigstring: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-base-bigstring): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-core: Update to 0.15.0....These packages cannot be updated individually. * gnu/packages/ocaml.scm (ocaml-ppx-inline-test, ocaml-sexplib0) (ocaml-sexplib, ocaml-base, ocaml-stdio, ocaml-ppx-sexp-conv) (ocaml-ppx-expect, ocaml-base-quickcheck, ocaml-core) (ocaml-core-kernel, ocaml-timezone): Update to 0.15.0. (ocaml-ppxlib): Fix tests. (ocaml-int-repr): New variable. Julien Lepiller
2022-05-01gnu: ocaml-ppxlib: Update to 0.25.0....* gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.25.0. Julien Lepiller
2022-05-01gnu: coq: Update to 8.15.1....* gnu/packages/coq.scm (coq): Update to 8.15.1. Julien Lepiller
2022-05-01gnu: ocaml-hex: Update to 1.5.0....* gnu/packages/ocaml.scm (ocaml-hex): Update to 1.5.0. Julien Lepiller
2022-05-01gnu: ocaml-easy-format: Update to 1.3.3....* gnu/packages/ocaml.scm (ocaml-easy-format): Update to 1.3.3. Julien Lepiller
2022-05-01gnu: ocaml-variantslib: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-variantslib): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-optcomp: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-optcomp): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-cstruct: Update to 6.1.0....* gnu/packages/ocaml.scm (ocaml-cstruct): Update to 6.1.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-bin-prot: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-bin-prot): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-jane: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-jane): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: Add ocaml-ppx-disable-unused-warnings....* gnu/packages/ocaml.scm (ocaml-ppx-disable-unused-warnings): New variable. Julien Lepiller
2022-05-01gnu: Add ocaml-ppx-log....* gnu/packages/ocaml.scm (ocaml-ppx-log): New variable. Julien Lepiller
2022-05-01gnu: Add ocaml-ppx-ignore-instrumentation....* gnu/packages/ocaml.scm (ocaml-ppx-ignore-instrumentation): New variable. Julien Lepiller
2022-05-01gnu: ocaml-opam-file-format: Update to 2.1.4....* gnu/packages/ocaml.scm (ocaml-opam-file-format): Update to 2.1.4. Julien Lepiller
2022-05-01gnu: ocaml-ctypes: Update to 0.20.1....* gnu/packages/ocaml.scm (ocaml-ctypes): Update to 0.20.1. Julien Lepiller
2022-05-01gnu: ocaml-integers: Update to 0.7.0....* gnu/packages/ocaml.scm (ocaml-integers): Update to 0.7.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-bench: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-bench): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: dune: Update to 3.1.1....* gnu/packages/ocaml.scm (dune): Update to 3.1.1. Julien Lepiller
2022-05-01gnu: ocaml-ppx-pipebang: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-pipebang): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-custom-printf: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-custom-printf): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-module-timer: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-module-timer): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-let: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-let): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-variants-conv: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-utop: Update to 2.9.1....* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.9.1. Julien Lepiller
2022-05-01gnu: ocaml-bisect-ppx: Update to 2.8.1....* gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 2.8.1. Julien Lepiller
2022-05-01gnu: ocaml-ppx-typerep-conv: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-typerep-conv): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-typerep: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-typerep): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-fieldslib: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-fieldslib): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-fixed-literal: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-fixed-literal): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-splittable-random: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-splittable-random): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-bigstringaf: Update to 0.9.0....* gnu/packages/ocaml.scm (ocaml-bigstringaf): Update to 0.9.0. Julien Lepiller
2022-05-01gnu: ocaml-markup: Update to 1.0.3....* gnu/packages/ocaml.scm (ocaml-markup): Update to 1.0.3. Julien Lepiller
2022-05-01gnu: ocaml-time-now: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-time-now): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-bin-prot: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-bin-prot): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-here: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-here): Update to 0.15.0. Julien Lepiller
2022-05-01gnu: ocaml-ppx-js-style: Update to 0.15.0....* gnu/packages/ocaml.scm (ocaml-ppx-js-style): Update to 0.15.0. Julien Lepiller