summary refs log tree commit diff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Collapse)Author
2022-10-03gnu: ocaml-dose3: Migrate from gforce.inria.fr.Maxim Cournoyer
* gnu/packages/ocaml.scm (ocaml-dose3) [source]: Fetch from git from inill's gitlab instance.
2022-09-30gnu: emacs-tuareg: Update to 3.0.1.Nicolas Goaziou
* gnu/packages/ocaml.scm (emacs-tuareg): Update to 3.0.1.
2022-09-27gnu: emacs-tuareg: Improve package style.Nicolas Goaziou
* gnu/packages/ocaml.scm (emacs-tuareg)[arguments]<#:imported-modules, <#:phases>: Use G-expressions. Remove trailing #T at the end of phases. Use ELPA-DIRECTORY function. [native-inputs]: Remove input labels.
2022-09-27gnu: emacs-tuareg: Update to 3.0.0.Nicolas Goaziou
* gnu/packages/ocaml.scm (emacs-tuareg): Update to 3.0.0.
2022-09-24gnu: Add ocaml-ansiterminal.Garek Dyszel
* gnu/packages/ocaml.scm (ocaml-ansiterminal): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-09-22gnu: ocaml-uucp: Update to 15.0.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-uucp): Update to 15.0.0. (ocaml-uucd): Update to 15.0.0.
2022-09-22gnu: ocaml-uunf: Update to 15.0.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-uunf): Update to 15.0.0.
2022-09-22gnu: ocaml-linenoise: Update to 1.4.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-linenoise): Update to 1.4.0.
2022-09-22gnu: lablgtk3: Update to 3.1.2.Julien Lepiller
* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2. [arguments]: Do not build extensions anymore (missing dependency) * gnu/packages/games.scm (laby)[inputs]: Use `ocaml-lablgtk3-sourceview3'. * gnu/packages/maths.scm (frama-c)[inputs]: Use `ocaml-lablgtk3-sourceview3'. * gnu/packages/coq.scm (coq-ide)[inputs]: Use `ocaml-lablgtk3-sourceview3'.
2022-09-22gnu: Add ocaml-lablgtk3-sourceview3.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): New variable.
2022-09-18gnu: ocaml-lwt-log: Update to 1.1.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lwt-log): Update to 1.1.2.
2022-09-10gnu: Add comments to the bottom of a few package modules.Christopher Baines
This will hopefully discourage patches which add new packages to the bottom of files, as this increases the likelihood of conflicts when applying patches. If there are more specific ways that packages should be arranged in specific modules, this message can be updated accordingly. * gnu/packages/bioconductor.scm: Add comment discouraging adding packages to the bottom of the file. * gnu/packages/bioinformatics.scm: ditto. * gnu/packages/cran.scm: ditto. * gnu/packages/crates-io.scm: ditto. * gnu/packages/emacs-xyz.scm: ditto. * gnu/packages/golang.scm: ditto. * gnu/packages/guile-xyz.scm: ditto. * gnu/packages/haskell-xyz.scm: ditto. * gnu/packages/java.scm: ditto. * gnu/packages/julia-xyz.scm: ditto. * gnu/packages/lisp-xyz.scm: ditto. * gnu/packages/ocaml.scm: ditto. * gnu/packages/perl.scm: ditto. * gnu/packages/python-science.scm: ditto. * gnu/packages/python-xyz.scm: ditto. * gnu/packages/ruby.scm: ditto. * gnu/packages/tex.scm: ditto.
2022-09-03gnu: Add ocaml-guile.pukkamustard
* gnu/packages/ocaml.scm (ocaml-guile): New variable.
2022-08-24gnu: Add ocaml-digestif.pukkamustard
* gnu/packages/ocaml.scm (ocaml-digestif): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-24gnu: Add ocaml-eqaf.pukkamustard
* gnu/packages/ocaml.scm (ocaml-eqaf): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-24gnu: Add ocaml-crowbar.pukkamustard
* gnu/packages/ocaml.scm (ocaml-crowbar): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-24gnu: Add ocaml-pprint.pukkamustard
* gnu/packages/ocaml.scm (ocaml-pprint): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-24gnu: Add ocaml-afl-persistent.Xinglu Chen
* gnu/packages/ocaml.scm (ocaml-afl-persistent): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-14gnu: Remove ‘open source’ from package descriptions.Tobias Geerinckx-Rice
Also do some (trivial) editing where appropriate. * gnu/packages/bioconductor.scm (r-anaquin, r-rcppnumerical) [description]: Remove superfluous ‘open source’. * gnu/packages/debian.scm (apt-mirror)[description]: Likewise. Add @acronym{}. Drop obscure Ubuntu for famous Trisquel. Reorder. * gnu/packages/documentation.scm (scrollkeeper)[description]: Remove superfluous ‘open systems’. Keep ‘Open Source’ in standard name. * gnu/packages/engineering.scm (freecad, cura-engine)[description]: Remove superfluous ‘open source’ and excessive puffery. * gnu/packages/firmware.scm (make-opensbi-package) [synopsis]: Remove ‘Open Source’. Use @acronym{}. [description]: Fix first sentence to follow guidelines. Use @acronym{}. * gnu/packages/game-development.scm (ioquake3, recastnavigation): [description]: Remove ‘open source’. * gnu/packages/graphics.scm (skia)[description]: Likewise. * gnu/packages/lisp-xyz.scm (sbcl-s-sysdeps)[description]: Likewise. * gnu/packages/machine-learning.scm (onnx)[description]: Likewise. Use @acronym{}. * gnu/packages/ocaml.scm (ocaml-cudf)[description]: Likewise.
2022-08-20gnu: opam: Update to 2.1.3.Julien Lepiller
* gnu/packages/ocaml.scm (opam): Update to 2.1.3.
2022-08-13gnu: ocaml-cudf: Update to 0.10.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-cudf): Update to 0.10.
2022-08-13gnu: ocaml-sexplib: Update to 0.15.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-sexplib): Update to 0.15.1.
2022-08-13gnu: ocaml-timed: Update to 1.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-timed): Update to 1.1.
2022-08-13gnu: ocaml-biniou: Update to 1.2.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-biniou): Update to 1.2.2.
2022-08-13gnu: ocaml-cstruct: Update to 6.1.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-cstruct): Update to 6.1.1.
2022-08-13gnu: ocaml-version: Update to 3.5.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-version): Update to 3.5.0.
2022-08-13gnu: ocaml-alcotest: Update to 1.6.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.6.0.
2022-08-13gnu: ocaml-odoc-parser: Update to 2.0.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-odoc-parser): Update to 2.0.0. (ocamlformat): Update to 0.24.1.
2022-08-13gnu: ocaml-piqilib: Update to 0.6.16.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-piqilib): Update to 0.6.16.
2022-08-13gnu: ocaml-ssl: Update to 0.5.12.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.12.
2022-08-13gnu: dune: Update to 4.4.1.Julien Lepiller
* gnu/packages/ocaml.scm (dune): Update to 4.4.1. * gnu/packages/coq.scm (coq-stdlib): Fix for new dune.
2022-08-13gnu: ocaml-piqi: Update to 0.7.8.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-piqi): Update to 0.7.8.
2022-08-13gnu: ocaml-yojson: Update to 2.0.2.Julien Lepiller
merlin also needs to be updated at the same time because of incompatibilities between the two versions. * gnu/packages/ocaml.scm (ocaml-merlin-lib): New variable. (ocaml-dot-merlin-reader): Inherit from it and update inputs. (ocaml-merlin): Update inputs. (ocaml-yojson): Update to 2.0.2. (ocaml-odoc): Disable tests.
2022-08-13gnu: ocaml-zed: Update to 3.2.0.Julien Lepiller
Because of an incompatible change in ocaml-zed, some of its dependents need to be updated at the same time to prevent breakage. * gnu/packages/ocaml.scm (ocaml-zed): Update to 3.2.0. (ocaml-lambda-term): Update to 3.3.1. (ocaml-utop): Update to 2.10.0.
2022-08-10gnu: ocaml-extlib: Update to 1.7.9.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.9.
2022-08-03gnu: Add ocaml-xml-light.John Kehayias
* gnu/packages/ocaml.scm (ocaml-xml-light): New variable. Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2022-08-03gnu: Add ocaml-sha.John Kehayias
* gnu/packages/ocaml.scm (ocaml-sha): New variable. Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2022-08-03gnu: Add ocaml-ptmap.John Kehayias
* gnu/packages/ocaml.scm (ocaml-ptmap): New variable. Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2022-08-03gnu: Add ocaml-luv.John Kehayias
* gnu/packages/ocaml.scm (ocaml-luv): New variable. Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2022-07-02gnu: ocaml-migrate-parsetree: Update to 2.4.0.Julien Lepiller
* gnu/package/ocaml.scm (ocaml-migrate-parsetree): Update to 2.4.0.
2022-07-02gnu: ocaml-lwt-react: Update to 1.2.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lwt-react): Update to 1.2.0.
2022-07-02gnu: ocaml-lwt: Update to 5.6.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lwt): Update to 5.6.1.
2022-07-02gnu: dune: Update to 3.3.1.Julien Lepiller
* gnu/packages/ocaml.scm (dune): Update to 3.3.1.
2022-07-02gnu: ocaml-camlp-streams: Update to 5.0.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-camlp-streams): Update to 5.0.1.
2022-06-28gnu: bap: Update to 2.5.0-alpha.Julien Lepiller
* gnu/packages/ocaml.scm (bap): Update to 2.5.0-alpha.
2022-06-28gnu: Add ocaml-ppx-bitstring.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ppx-bitstring): New variable.
2022-06-28gnu: Add ocaml-ppx-bap.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ppx-bap): New variable.
2022-06-28gnu: Add ocaml-linenoise.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-linenoise): New variable.
2022-06-18gnu: ocaml-ezjsonm: Update to 1.3.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ezjsonm): Update to 1.3.0.
2022-06-18gnu: Add ocaml-ezjsonm.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml4.07-ezjsonm): Rename to... (ocaml-ezjsonm): ...this. Use latest ocaml version.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-16 17:09:13 +0000