summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Expand)Author
2022-11-27gnu: ocaml-zed: Update to 3.2.1....* gnu/packages/ocaml.scm (ocaml-zed): Update to 3.2.1. Julien Lepiller
2022-11-27gnu: ocaml-topkg: Update to 1.0.6....* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.6. Julien Lepiller
2022-11-27gnu: js-of-ocaml: Update to 4.1.0....* gnu/packages/ocaml.scm (js-of-ocaml): Update to 4.1.0. Julien Lepiller
2022-11-27gnu: dune-bootstrap: Update to 3.6.1....* gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.6.1. Julien Lepiller
2022-11-03gnu: dedukti: Update to 2.7....* gnu/packages/ocaml.scm (dedukti): Update to 2.7. Julien Lepiller
2022-11-03gnu: Remove emacs-dedukti-mode....* gnu/packages/ocaml.scm (emacs-dedukti-mode): Delete variable. Julien Lepiller
2022-11-03gnu: Remove emacs-flycheck-dedukti....* gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable. Julien Lepiller
2022-11-03gnu: ocaml-ssl: Update to 0.5.13....* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.13. Julien Lepiller
2022-11-03gnu: ocaml-ocp-index: Update to 1.3.4....* gnu/packages/ocaml.scm (ocaml-ocp-index): Update to 1.3.4. Julien Lepiller
2022-11-03gnu: ocaml-digestif: Update to 1.1.3....* gnu/packages/ocaml.scm (ocaml-digestif): Update to 1.1.3. Julien Lepiller
2022-11-03gnu: ocaml-fileutils: Update to 0.6.4....* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.4. Julien Lepiller
2022-11-03gnu: dune-bootstrap: Update to 3.5.0....* gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.5.0. Julien Lepiller
2022-10-16gnu: lablgtk3: Update to 3.1.3....* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.3. [propagated-inputs]: Add ocaml-camlp-streams. Julien Lepiller
2022-10-16gnu: ocaml-core: Update to 0.15.1....* gnu/packages/ocaml.scm (ocaml-core): Update to 0.15.1. Julien Lepiller
2022-10-10gnu: ocaml-cairo2: Update to 0.6.4....* gnu/packages/ocaml.scm (ocaml-cairo2): Update to 0.6.4. Julien Lepiller
2022-10-10gnu: ocaml-ppx-tools: Update to 6.6....* gnu/packages/ocaml.scm (ocaml-ppx-tools): Update to 6.6. Julien Lepiller
2022-10-10gnu: ocamlbuild: Update to 0.14.2....* gnu/packages/ocaml.scm (ocamlbuild): Update to 0.14.2. Julien Lepiller
2022-10-10gnu: ocaml-ansiterminal: Add upstream name....* gnu/packages/ocaml.scm (ocaml-ansiterminal)[properties]: Add `upstream-name'. Julien Lepiller
2022-10-10gnu: ocaml-uuseg: Update to 15.0.0....* gnu/packages/ocaml.scm (ocaml-uuseg): Update to 15.0.0. Julien Lepiller
2022-10-03gnu: Remove ocaml-craml....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. Maxim Cournoyer
2022-10-03gnu: ocaml-dose3: Migrate from gforce.inria.fr....* gnu/packages/ocaml.scm (ocaml-dose3) [source]: Fetch from git from inill's gitlab instance. Maxim Cournoyer
2022-09-30gnu: emacs-tuareg: Update to 3.0.1....* gnu/packages/ocaml.scm (emacs-tuareg): Update to 3.0.1. Nicolas Goaziou
2022-09-27gnu: emacs-tuareg: Improve package style....* 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. Nicolas Goaziou
2022-09-27gnu: emacs-tuareg: Update to 3.0.0....* gnu/packages/ocaml.scm (emacs-tuareg): Update to 3.0.0. Nicolas Goaziou
2022-09-24gnu: Add ocaml-ansiterminal....* gnu/packages/ocaml.scm (ocaml-ansiterminal): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Garek Dyszel
2022-09-22gnu: ocaml-uucp: Update to 15.0.0....* gnu/packages/ocaml.scm (ocaml-uucp): Update to 15.0.0. (ocaml-uucd): Update to 15.0.0. Julien Lepiller
2022-09-22gnu: ocaml-uunf: Update to 15.0.0....* gnu/packages/ocaml.scm (ocaml-uunf): Update to 15.0.0. Julien Lepiller
2022-09-22gnu: ocaml-linenoise: Update to 1.4.0....* gnu/packages/ocaml.scm (ocaml-linenoise): Update to 1.4.0. Julien Lepiller
2022-09-22gnu: lablgtk3: Update to 3.1.2....* 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'. Julien Lepiller
2022-09-22gnu: Add ocaml-lablgtk3-sourceview3....* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): New variable. Julien Lepiller
2022-09-18gnu: ocaml-lwt-log: Update to 1.1.2....* gnu/packages/ocaml.scm (ocaml-lwt-log): Update to 1.1.2. Julien Lepiller
2022-09-10gnu: Add comments to the bottom of a few package modules....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. Christopher Baines
2022-09-03gnu: Add ocaml-guile....* gnu/packages/ocaml.scm (ocaml-guile): New variable. pukkamustard
2022-08-24gnu: Add ocaml-digestif....* gnu/packages/ocaml.scm (ocaml-digestif): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> pukkamustard
2022-08-24gnu: Add ocaml-eqaf....* gnu/packages/ocaml.scm (ocaml-eqaf): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> pukkamustard
2022-08-24gnu: Add ocaml-crowbar....* gnu/packages/ocaml.scm (ocaml-crowbar): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> pukkamustard
2022-08-24gnu: Add ocaml-pprint....* gnu/packages/ocaml.scm (ocaml-pprint): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> pukkamustard
2022-08-24gnu: Add ocaml-afl-persistent....* gnu/packages/ocaml.scm (ocaml-afl-persistent): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Xinglu Chen
2022-08-14gnu: Remove ‘open source’ from package descriptions....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. Tobias Geerinckx-Rice
2022-08-20gnu: opam: Update to 2.1.3....* gnu/packages/ocaml.scm (opam): Update to 2.1.3. Julien Lepiller
2022-08-13gnu: ocaml-cudf: Update to 0.10....* gnu/packages/ocaml.scm (ocaml-cudf): Update to 0.10. Julien Lepiller
2022-08-13gnu: ocaml-sexplib: Update to 0.15.1....* gnu/packages/ocaml.scm (ocaml-sexplib): Update to 0.15.1. Julien Lepiller
2022-08-13gnu: ocaml-timed: Update to 1.1....* gnu/packages/ocaml.scm (ocaml-timed): Update to 1.1. Julien Lepiller
2022-08-13gnu: ocaml-biniou: Update to 1.2.2....* gnu/packages/ocaml.scm (ocaml-biniou): Update to 1.2.2. Julien Lepiller
2022-08-13gnu: ocaml-cstruct: Update to 6.1.1....* gnu/packages/ocaml.scm (ocaml-cstruct): Update to 6.1.1. Julien Lepiller
2022-08-13gnu: ocaml-version: Update to 3.5.0....* gnu/packages/ocaml.scm (ocaml-version): Update to 3.5.0. Julien Lepiller
2022-08-13gnu: ocaml-alcotest: Update to 1.6.0....* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.6.0. Julien Lepiller
2022-08-13gnu: ocaml-odoc-parser: Update to 2.0.0....* gnu/packages/ocaml.scm (ocaml-odoc-parser): Update to 2.0.0. (ocamlformat): Update to 0.24.1. Julien Lepiller
2022-08-13gnu: ocaml-piqilib: Update to 0.6.16....* gnu/packages/ocaml.scm (ocaml-piqilib): Update to 0.6.16. Julien Lepiller
2022-08-13gnu: ocaml-ssl: Update to 0.5.12....* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.12. Julien Lepiller