guix/guix
3
5
Fork 0
mirror of git://git.savannah.gnu.org/guix.git synced 2023-12-14 03:33:07 +01:00
Code Issues Releases Wiki Activity
102626 commits 81 branches 36 tags 328 MiB
Commit graph

1033 commits

Author SHA1 Message Date
Julien Lepiller
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
Maxim Cournoyer
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
Maxim Cournoyer
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
Nicolas Goaziou
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
Nicolas Goaziou
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
Nicolas Goaziou
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
Garek Dyszel
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
728d5b6b06
gnu: Add ocaml-lablgtk3-sourceview3. 
* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): New variable.
 2022-09-22 07:33:56 +02:00
Julien Lepiller
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
Christopher Baines
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
pukkamustard
5cd7d7b3a2
gnu: Add ocaml-guile. 
* gnu/packages/ocaml.scm (ocaml-guile): New variable.
 2022-09-03 20:21:25 +02:00
pukkamustard
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
pukkamustard
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
pukkamustard
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
pukkamustard
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
Xinglu Chen
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
Tobias Geerinckx-Rice
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
96465c4421
gnu: ocaml-extlib: Update to 1.7.9. 
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.9.
 2022-08-10 23:32:17 +02:00
John Kehayias
1b5d4bf4be
gnu: Add ocaml-xml-light. 
* gnu/packages/ocaml.scm (ocaml-xml-light): New variable.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2022-08-03 13:51:05 +08:00
John Kehayias
c99487c235
gnu: Add ocaml-sha. 
* gnu/packages/ocaml.scm (ocaml-sha): New variable.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2022-08-03 13:47:25 +08:00
John Kehayias
dca0a3ac93
gnu: Add ocaml-ptmap. 
* gnu/packages/ocaml.scm (ocaml-ptmap): New variable.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2022-08-03 13:40:13 +08:00
John Kehayias
e2020eb24a
gnu: Add ocaml-luv. 
* gnu/packages/ocaml.scm (ocaml-luv): New variable.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2022-08-03 13:37:23 +08:00
Julien Lepiller
c573c79ef3
gnu: ocaml-migrate-parsetree: Update to 2.4.0. 
* gnu/package/ocaml.scm (ocaml-migrate-parsetree): Update to 2.4.0.
 2022-07-02 22:25:46 +02:00
Julien Lepiller
b811245168
gnu: ocaml-lwt-react: Update to 1.2.0. 
* gnu/packages/ocaml.scm (ocaml-lwt-react): Update to 1.2.0.
 2022-07-02 22:25:39 +02:00
Julien Lepiller
f66ff1d267
gnu: ocaml-lwt: Update to 5.6.1. 
* gnu/packages/ocaml.scm (ocaml-lwt): Update to 5.6.1.
 2022-07-02 22:25:36 +02:00
Julien Lepiller
e0ecf85969
gnu: dune: Update to 3.3.1. 
* gnu/packages/ocaml.scm (dune): Update to 3.3.1.
 2022-07-02 22:25:33 +02:00
Julien Lepiller
ac0415fdd9
gnu: ocaml-camlp-streams: Update to 5.0.1. 
* gnu/packages/ocaml.scm (ocaml-camlp-streams): Update to 5.0.1.
 2022-07-02 22:25:18 +02:00
Julien Lepiller
404df667e3
gnu: bap: Update to 2.5.0-alpha. 
* gnu/packages/ocaml.scm (bap): Update to 2.5.0-alpha.
 2022-06-28 19:34:50 +02:00
Julien Lepiller
0d5c88737b
gnu: Add ocaml-ppx-bitstring. 
* gnu/packages/ocaml.scm (ocaml-ppx-bitstring): New variable.
 2022-06-28 19:34:42 +02:00
Julien Lepiller
35ee95f481
gnu: Add ocaml-ppx-bap. 
* gnu/packages/ocaml.scm (ocaml-ppx-bap): New variable.
 2022-06-28 19:34:30 +02:00
Julien Lepiller
99fcd03e50
gnu: Add ocaml-linenoise. 
* gnu/packages/ocaml.scm (ocaml-linenoise): New variable.
 2022-06-28 19:34:22 +02:00