aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
Commit message (Collapse)AuthorAge
* gnu: dedukti: Update to 2.7.Julien Lepiller2022-11-03
| | | | * gnu/packages/ocaml.scm (dedukti): Update to 2.7.
* gnu: Remove emacs-dedukti-mode.Julien Lepiller2022-11-03
| | | | * gnu/packages/ocaml.scm (emacs-dedukti-mode): Delete variable.
* gnu: Remove emacs-flycheck-dedukti.Julien Lepiller2022-11-03
| | | | * gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable.
* gnu: ocaml-ssl: Update to 0.5.13.Julien Lepiller2022-11-03
| | | | * gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.13.
* gnu: ocaml-ocp-index: Update to 1.3.4.Julien Lepiller2022-11-03
| | | | * gnu/packages/ocaml.scm (ocaml-ocp-index): Update to 1.3.4.
* gnu: ocaml-digestif: Update to 1.1.3.Julien Lepiller2022-11-03
| | | | * gnu/packages/ocaml.scm (ocaml-digestif): Update to 1.1.3.
* gnu: ocaml-fileutils: Update to 0.6.4.Julien Lepiller2022-11-03
| | | | * gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.4.
* gnu: dune-bootstrap: Update to 3.5.0.Julien Lepiller2022-11-03
| | | | * gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.5.0.
* gnu: lablgtk3: Update to 3.1.3.Julien Lepiller2022-10-16
| | | | | * gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.3. [propagated-inputs]: Add ocaml-camlp-streams.
* gnu: ocaml-core: Update to 0.15.1.Julien Lepiller2022-10-16
| | | | * gnu/packages/ocaml.scm (ocaml-core): Update to 0.15.1.
* gnu: ocaml-cairo2: Update to 0.6.4.Julien Lepiller2022-10-10
| | | | * gnu/packages/ocaml.scm (ocaml-cairo2): Update to 0.6.4.
* gnu: ocaml-ppx-tools: Update to 6.6.Julien Lepiller2022-10-10
| | | | * gnu/packages/ocaml.scm (ocaml-ppx-tools): Update to 6.6.
* gnu: ocamlbuild: Update to 0.14.2.Julien Lepiller2022-10-10
| | | | * gnu/packages/ocaml.scm (ocamlbuild): Update to 0.14.2.
* gnu: ocaml-ansiterminal: Add upstream name.Julien Lepiller2022-10-10
| | | | | * gnu/packages/ocaml.scm (ocaml-ansiterminal)[properties]: Add `upstream-name'.
* gnu: ocaml-uuseg: Update to 15.0.0.Julien Lepiller2022-10-10
| | | | * gnu/packages/ocaml.scm (ocaml-uuseg): Update to 15.0.0.
* gnu: Remove ocaml-craml.Maxim Cournoyer2022-10-03
| | | | | | | | 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.
* gnu: ocaml-dose3: Migrate from gforce.inria.fr.Maxim Cournoyer2022-10-03
| | | | | * gnu/packages/ocaml.scm (ocaml-dose3) [source]: Fetch from git from inill's gitlab instance.
* gnu: emacs-tuareg: Update to 3.0.1.Nicolas Goaziou2022-09-30
| | | | * gnu/packages/ocaml.scm (emacs-tuareg): Update to 3.0.1.
* gnu: emacs-tuareg: Improve package style.Nicolas Goaziou2022-09-27
| | | | | | | * 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.
* gnu: emacs-tuareg: Update to 3.0.0.Nicolas Goaziou2022-09-27
| | | | * gnu/packages/ocaml.scm (emacs-tuareg): Update to 3.0.0.
* gnu: Add ocaml-ansiterminal.Garek Dyszel2022-09-24
| | | | | | * gnu/packages/ocaml.scm (ocaml-ansiterminal): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: ocaml-uucp: Update to 15.0.0.Julien Lepiller2022-09-22
| | | | | * gnu/packages/ocaml.scm (ocaml-uucp): Update to 15.0.0. (ocaml-uucd): Update to 15.0.0.
* gnu: ocaml-uunf: Update to 15.0.0.Julien Lepiller2022-09-22
| | | | * gnu/packages/ocaml.scm (ocaml-uunf): Update to 15.0.0.
* gnu: ocaml-linenoise: Update to 1.4.0.Julien Lepiller2022-09-22
| | | | * gnu/packages/ocaml.scm (ocaml-linenoise): Update to 1.4.0.
* gnu: lablgtk3: Update to 3.1.2.Julien Lepiller2022-09-22
| | | | | | | | | | | * 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'.
* gnu: Add ocaml-lablgtk3-sourceview3.Julien Lepiller2022-09-22
| | | | * gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): New variable.
* gnu: ocaml-lwt-log: Update to 1.1.2.Julien Lepiller2022-09-18
| | | | * gnu/packages/ocaml.scm (ocaml-lwt-log): Update to 1.1.2.
* gnu: Add comments to the bottom of a few package modules.Christopher Baines2022-09-10
| | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* gnu: Add ocaml-guile.pukkamustard2022-09-03
| | | | * gnu/packages/ocaml.scm (ocaml-guile): New variable.
* gnu: Add ocaml-digestif.pukkamustard2022-08-24
| | | | | | * gnu/packages/ocaml.scm (ocaml-digestif): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-eqaf.pukkamustard2022-08-24
| | | | | | * gnu/packages/ocaml.scm (ocaml-eqaf): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-crowbar.pukkamustard2022-08-24
| | | | | | * gnu/packages/ocaml.scm (ocaml-crowbar): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-pprint.pukkamustard2022-08-24
| | | | | | * gnu/packages/ocaml.scm (ocaml-pprint): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Add ocaml-afl-persistent.Xinglu Chen2022-08-24
| | | | | | * gnu/packages/ocaml.scm (ocaml-afl-persistent): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
* gnu: Remove ‘open source’ from package descriptions.Tobias Geerinckx-Rice2022-08-14
| | | | | | | | | | | | | | | | | | | | | | | 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.
* gnu: opam: Update to 2.1.3.Julien Lepiller2022-08-20
| | | | * gnu/packages/ocaml.scm (opam): Update to 2.1.3.
* gnu: ocaml-cudf: Update to 0.10.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-cudf): Update to 0.10.
* gnu: ocaml-sexplib: Update to 0.15.1.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-sexplib): Update to 0.15.1.
* gnu: ocaml-timed: Update to 1.1.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-timed): Update to 1.1.
* gnu: ocaml-biniou: Update to 1.2.2.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-biniou): Update to 1.2.2.
* gnu: ocaml-cstruct: Update to 6.1.1.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-cstruct): Update to 6.1.1.
* gnu: ocaml-version: Update to 3.5.0.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-version): Update to 3.5.0.
* gnu: ocaml-alcotest: Update to 1.6.0.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.6.0.
* gnu: ocaml-odoc-parser: Update to 2.0.0.Julien Lepiller2022-08-13
| | | | | * gnu/packages/ocaml.scm (ocaml-odoc-parser): Update to 2.0.0. (ocamlformat): Update to 0.24.1.
* gnu: ocaml-piqilib: Update to 0.6.16.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-piqilib): Update to 0.6.16.
* gnu: ocaml-ssl: Update to 0.5.12.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.12.
* gnu: dune: Update to 4.4.1.Julien Lepiller2022-08-13
| | | | | * gnu/packages/ocaml.scm (dune): Update to 4.4.1. * gnu/packages/coq.scm (coq-stdlib): Fix for new dune.
* gnu: ocaml-piqi: Update to 0.7.8.Julien Lepiller2022-08-13
| | | | * gnu/packages/ocaml.scm (ocaml-piqi): Update to 0.7.8.
* gnu: ocaml-yojson: Update to 2.0.2.Julien Lepiller2022-08-13
| | | | | | | | | | | 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.
* gnu: ocaml-zed: Update to 3.2.0.Julien Lepiller2022-08-13
| | | | | | | | | 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.
generated by cgit v1.2.3 (git 2.45.0) at 2025-02-19 08:39:24 +0000