me/guix
Archived
1
0
Fork 0
Code Activity
104230 commits 1 branch 0 tags 410 MiB
Commit graph

1047 commits

Author SHA1 Message Date
Julien Lepiller
e2802132e3
gnu: dedukti: Update to 2.7. 
* gnu/packages/ocaml.scm (dedukti): Update to 2.7.
 2022-11-03 13:24:42 +01:00
Julien Lepiller
2e67329415
gnu: Remove emacs-dedukti-mode. 
* gnu/packages/ocaml.scm (emacs-dedukti-mode): Delete variable.
 2022-11-03 13:24:34 +01:00
Julien Lepiller
82da66971f
gnu: Remove emacs-flycheck-dedukti. 
* gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable.
 2022-11-03 13:24:24 +01:00
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
Julien Lepiller
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
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