tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-25 03:30:30 +02:00
Code Activity
105,751 Commits 75 Branches 40 Tags
6fe253da9bcb728c1927207cb04fa324fbfd99aa
Commit Graph

1051 Commits

Author SHA1 Message Date
Julien Lepiller
f085755bb8 gnu: ocaml-zed: Update to 3.2.1. 
* gnu/packages/ocaml.scm (ocaml-zed): Update to 3.2.1.
 2022-11-27 18:12:02 +01:00
Julien Lepiller
91b8ef414c gnu: ocaml-topkg: Update to 1.0.6. 
* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.6.
 2022-11-27 18:11:54 +01:00
Julien Lepiller
295a6b88e4 gnu: js-of-ocaml: Update to 4.1.0. 
* gnu/packages/ocaml.scm (js-of-ocaml): Update to 4.1.0.
 2022-11-27 18:11:51 +01:00
Julien Lepiller
70e4c4e93f gnu: dune-bootstrap: Update to 3.6.1. 
* gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.6.1.
 2022-11-27 18:11:48 +01:00
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