aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Collapse)Author
2022-11-27gnu: ocaml-zed: Update to 3.2.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-zed): Update to 3.2.1.
2022-11-27gnu: ocaml-topkg: Update to 1.0.6.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.6.
2022-11-27gnu: js-of-ocaml: Update to 4.1.0.Julien Lepiller
* gnu/packages/ocaml.scm (js-of-ocaml): Update to 4.1.0.
2022-11-27gnu: dune-bootstrap: Update to 3.6.1.Julien Lepiller
* gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.6.1.
2022-11-03gnu: dedukti: Update to 2.7.Julien Lepiller
* gnu/packages/ocaml.scm (dedukti): Update to 2.7.
2022-11-03gnu: Remove emacs-dedukti-mode.Julien Lepiller
* gnu/packages/ocaml.scm (emacs-dedukti-mode): Delete variable.
2022-11-03gnu: Remove emacs-flycheck-dedukti.Julien Lepiller
* gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable.
2022-11-03gnu: ocaml-ssl: Update to 0.5.13.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.13.
2022-11-03gnu: ocaml-ocp-index: Update to 1.3.4.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ocp-index): Update to 1.3.4.
2022-11-03gnu: ocaml-digestif: Update to 1.1.3.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-digestif): Update to 1.1.3.
2022-11-03gnu: ocaml-fileutils: Update to 0.6.4.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.4.
2022-11-03gnu: dune-bootstrap: Update to 3.5.0.Julien Lepiller
* gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.5.0.
2022-10-16gnu: lablgtk3: Update to 3.1.3.Julien Lepiller
* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.3. [propagated-inputs]: Add ocaml-camlp-streams.
2022-10-16gnu: ocaml-core: Update to 0.15.1.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-core): Update to 0.15.1.
2022-10-10gnu: ocaml-cairo2: Update to 0.6.4.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-cairo2): Update to 0.6.4.
2022-10-10gnu: ocaml-ppx-tools: Update to 6.6.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ppx-tools): Update to 6.6.
2022-10-10gnu: ocamlbuild: Update to 0.14.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocamlbuild): Update to 0.14.2.
2022-10-10gnu: ocaml-ansiterminal: Add upstream name.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ansiterminal)[properties]: Add `upstream-name'.
2022-10-10gnu: ocaml-uuseg: Update to 15.0.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-uuseg): Update to 15.0.0.
2022-10-03gnu: Remove ocaml-craml.Maxim Cournoyer
The package doesn't build from source and is unmaintained according to its maintainer: https://github.com/realworldocaml/craml/pull/8#issuecomment-529235628. * gnu/packages/ocaml.scm (ocaml-craml): Delete variable.
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.
generated by cgit