e2802132e3
gnu: dedukti: Update to 2.7.
...
* gnu/packages/ocaml.scm (dedukti): Update to 2.7.
2022-11-03 13:24:42 +01:00
2e67329415
gnu: Remove emacs-dedukti-mode.
...
* gnu/packages/ocaml.scm (emacs-dedukti-mode): Delete variable.
2022-11-03 13:24:34 +01:00
82da66971f
gnu: Remove emacs-flycheck-dedukti.
...
* gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable.
2022-11-03 13:24:24 +01:00
7c51514f07
gnu: ocaml-ssl: Update to 0.5.13.
...
* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.13.
2022-11-03 13:24:22 +01:00
0e27aa1213
gnu: ocaml-ocp-index: Update to 1.3.4.
...
* gnu/packages/ocaml.scm (ocaml-ocp-index): Update to 1.3.4.
2022-11-03 13:24:19 +01:00
c1cafe27a1
gnu: ocaml-digestif: Update to 1.1.3.
...
* gnu/packages/ocaml.scm (ocaml-digestif): Update to 1.1.3.
2022-11-03 13:24:17 +01:00
0e1b544002
gnu: ocaml-fileutils: Update to 0.6.4.
...
* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.4.
2022-11-03 13:24:14 +01:00
ba179aa797
gnu: dune-bootstrap: Update to 3.5.0.
...
* gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.5.0.
2022-11-03 13:23:49 +01:00
26ff45cb03
gnu: lablgtk3: Update to 3.1.3.
...
* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.3.
[propagated-inputs]: Add ocaml-camlp-streams.
2022-10-16 12:21:49 +02:00
3ad8ab8404
gnu: ocaml-core: Update to 0.15.1.
...
* gnu/packages/ocaml.scm (ocaml-core): Update to 0.15.1.
2022-10-16 12:21:28 +02:00
dbb35cd2e8
gnu: ocaml-cairo2: Update to 0.6.4.
...
* gnu/packages/ocaml.scm (ocaml-cairo2): Update to 0.6.4.
2022-10-10 20:31:16 +02:00
3402f53e99
gnu: ocaml-ppx-tools: Update to 6.6.
...
* gnu/packages/ocaml.scm (ocaml-ppx-tools): Update to 6.6.
2022-10-10 20:30:46 +02:00
3c54b28ea3
gnu: ocamlbuild: Update to 0.14.2.
...
* gnu/packages/ocaml.scm (ocamlbuild): Update to 0.14.2.
2022-10-10 08:25:51 +02:00
92f575019c
gnu: ocaml-ansiterminal: Add upstream name.
...
* gnu/packages/ocaml.scm (ocaml-ansiterminal)[properties]: Add
`upstream-name'.
2022-10-10 08:25:48 +02:00
7c1c144ce6
gnu: ocaml-uuseg: Update to 15.0.0.
...
* gnu/packages/ocaml.scm (ocaml-uuseg): Update to 15.0.0.
2022-10-10 08:25:19 +02:00
06201b76e5
gnu: 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.
2022-10-03 11:16:15 -04:00
1390e38264
gnu: ocaml-dose3: Migrate from gforce.inria.fr.
...
* gnu/packages/ocaml.scm (ocaml-dose3) [source]: Fetch from git from inill's gitlab
instance.
2022-10-03 11:16:15 -04:00
16df0649bd
gnu: emacs-tuareg: Update to 3.0.1.
...
* gnu/packages/ocaml.scm (emacs-tuareg): Update to 3.0.1.
2022-09-30 09:00:45 +02:00
8b4e7892f5
gnu: 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.
2022-09-27 19:29:29 +02:00
32135b0357
gnu: emacs-tuareg: Update to 3.0.0.
...
* gnu/packages/ocaml.scm (emacs-tuareg): Update to 3.0.0.
2022-09-27 19:29:29 +02:00
8371ad6408
gnu: Add ocaml-ansiterminal.
...
* gnu/packages/ocaml.scm (ocaml-ansiterminal): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-09-24 20:24:37 +02:00
0346e5e090
gnu: 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.
2022-09-22 07:37:11 +02:00
95fdf691b1
gnu: ocaml-uunf: Update to 15.0.0.
...
* gnu/packages/ocaml.scm (ocaml-uunf): Update to 15.0.0.
2022-09-22 07:37:00 +02:00
c593429b43
gnu: ocaml-linenoise: Update to 1.4.0.
...
* gnu/packages/ocaml.scm (ocaml-linenoise): Update to 1.4.0.
2022-09-22 07:35:54 +02:00
b7971ff798
gnu: 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'.
2022-09-22 07:34:02 +02:00
728d5b6b06
gnu: Add ocaml-lablgtk3-sourceview3.
...
* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): New variable.
2022-09-22 07:33:56 +02:00
7934b12ca5
gnu: ocaml-lwt-log: Update to 1.1.2.
...
* gnu/packages/ocaml.scm (ocaml-lwt-log): Update to 1.1.2.
2022-09-18 18:47:57 +02:00
ad1d3f98b1
gnu: 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.
2022-09-10 10:45:27 +01:00
5cd7d7b3a2
gnu: Add ocaml-guile.
...
* gnu/packages/ocaml.scm (ocaml-guile): New variable.
2022-09-03 20:21:25 +02:00
a39207f7af
gnu: Add ocaml-digestif.
...
* gnu/packages/ocaml.scm (ocaml-digestif): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-24 18:21:54 +02:00
1cb6064b49
gnu: Add ocaml-eqaf.
...
* gnu/packages/ocaml.scm (ocaml-eqaf): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-24 18:21:44 +02:00
4719f43841
gnu: Add ocaml-crowbar.
...
* gnu/packages/ocaml.scm (ocaml-crowbar): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-24 18:21:27 +02:00
3d403f56dd
gnu: Add ocaml-pprint.
...
* gnu/packages/ocaml.scm (ocaml-pprint): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-24 18:21:12 +02:00
6256e267da
gnu: Add ocaml-afl-persistent.
...
* gnu/packages/ocaml.scm (ocaml-afl-persistent): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-08-24 18:21:05 +02:00
5a9c2abf9e
gnu: 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.
2022-08-14 02:00:00 +02:00
2bba9c40ca
gnu: opam: Update to 2.1.3.
...
* gnu/packages/ocaml.scm (opam): Update to 2.1.3.
2022-08-20 12:09:14 +02:00
82ea33d295
gnu: ocaml-cudf: Update to 0.10.
...
* gnu/packages/ocaml.scm (ocaml-cudf): Update to 0.10.
2022-08-13 21:21:47 +02:00
9062bb56c8
gnu: ocaml-sexplib: Update to 0.15.1.
...
* gnu/packages/ocaml.scm (ocaml-sexplib): Update to 0.15.1.
2022-08-13 21:21:43 +02:00
07fecda3dd
gnu: ocaml-timed: Update to 1.1.
...
* gnu/packages/ocaml.scm (ocaml-timed): Update to 1.1.
2022-08-13 21:21:40 +02:00
893299b3ee
gnu: ocaml-biniou: Update to 1.2.2.
...
* gnu/packages/ocaml.scm (ocaml-biniou): Update to 1.2.2.
2022-08-13 21:21:38 +02:00
3d065a81a7
gnu: ocaml-cstruct: Update to 6.1.1.
...
* gnu/packages/ocaml.scm (ocaml-cstruct): Update to 6.1.1.
2022-08-13 21:21:36 +02:00
628713ea73
gnu: ocaml-version: Update to 3.5.0.
...
* gnu/packages/ocaml.scm (ocaml-version): Update to 3.5.0.
2022-08-13 21:21:34 +02:00
7b95125bad
gnu: ocaml-alcotest: Update to 1.6.0.
...
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.6.0.
2022-08-13 21:21:32 +02:00
d75210a871
gnu: 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.
2022-08-13 21:21:30 +02:00
96b3449823
gnu: ocaml-piqilib: Update to 0.6.16.
...
* gnu/packages/ocaml.scm (ocaml-piqilib): Update to 0.6.16.
2022-08-13 21:21:28 +02:00
b7b2c92274
gnu: ocaml-ssl: Update to 0.5.12.
...
* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.12.
2022-08-13 21:21:26 +02:00
42d5f769fb
gnu: dune: Update to 4.4.1.
...
* gnu/packages/ocaml.scm (dune): Update to 4.4.1.
* gnu/packages/coq.scm (coq-stdlib): Fix for new dune.
2022-08-13 21:21:22 +02:00
b4d97ef2de
gnu: ocaml-piqi: Update to 0.7.8.
...
* gnu/packages/ocaml.scm (ocaml-piqi): Update to 0.7.8.
2022-08-13 21:21:20 +02:00
07dcba5437
gnu: ocaml-yojson: Update to 2.0.2.
...
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-13 21:21:17 +02:00
7034824dcb
gnu: ocaml-zed: Update to 3.2.0.
...
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-13 21:21:08 +02:00
Julien Lepiller
Maxim Cournoyer
Nicolas Goaziou
Garek Dyszel
Christopher Baines
pukkamustard
Xinglu Chen
Tobias Geerinckx-Rice