futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
101,268 Commits 3 Branches 0 Tags 412 MiB
4f134f26fd
Commit Graph

1019 Commits

Author SHA1 Message Date
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
Julien Lepiller
85d7ad2be8
gnu: ocaml-ezjsonm: Update to 1.3.0. 
* gnu/packages/ocaml.scm (ocaml-ezjsonm): Update to 1.3.0.
 2022-06-18 13:15:22 +02:00
Julien Lepiller
0bf2cf1351
gnu: Add ocaml-ezjsonm. 
* gnu/packages/ocaml.scm (ocaml4.07-ezjsonm): Rename to...
(ocaml-ezjsonm): ...this.  Use latest ocaml version.
 2022-06-18 13:15:21 +02:00
Julien Lepiller
7b615e3e6c
gnu: Add ocaml-piqi. 
* gnu/packages/ocaml.scm (ocaml4.07-piqi): Rename to...
(ocaml-piqi): ...this.  Use latest ocaml.
 2022-06-18 13:15:21 +02:00
Julien Lepiller
4a94cfbe4d
gnu: Add ocaml-piqilib. 
* gnu/packages/ocaml.scm (ocaml4.07-piqilib): Rename to...
(ocaml-piqilib): ...this.  Use latest ocaml version.
 2022-06-18 13:15:21 +02:00
Julien Lepiller
0133c000c9
gnu: ocaml-sexplib0: Update to 0.15.1. 
* gnu/packages/ocaml.scm (ocaml-sexplib0): Update to 0.15.1.
 2022-06-18 13:15:20 +02:00
Julien Lepiller
3cd53fc08f
gnu: omake: Update to 0.10.5. 
* gnu/packages/ocaml.scm (omake): Update to 0.10.5.
* gnu/packages/patches/omake-fix-non-determinism.patch: Adjust for new
  version.
 2022-06-18 13:15:20 +02:00
Julien Lepiller
773837bfd2
gnu: ocaml-easy-format: Update to 1.3.4. 
* gnu/packages/ocaml.scm (ocaml-easy-format): Update to 1.3.4.
 2022-06-18 13:15:19 +02:00
Julien Lepiller
fcb23bf406
gnu: ocamlformat: Update to 0.22.4. 
* gnu/packages/ocaml.scm (ocamlformat): Update to 0.22.4.
 2022-06-18 13:15:19 +02:00
Julien Lepiller
f25033d9ea
gnu: ocaml-tsdl: Update to 0.9.9. 
* gnu/packages/ocaml.scm (ocaml-tsdl): Update to 0.9.9.
 2022-06-18 13:15:18 +02:00
Julien Lepiller
ad91e2a010
gnu: ocaml-utop: Update to 2.9.2. 
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.9.2.
 2022-06-18 13:15:17 +02:00
Julien Lepiller
0c1f4ebc55
gnu: ocaml-cppo: Update to 1.6.9. 
* gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.9.
 2022-06-03 21:44:36 +02:00
Julien Lepiller
9574c43c1d
gnu: ocaml-cairo2: Update to 0.6.3. 
* gnu/packages/ocaml.scm (ocaml-cairo2): Update to 0.6.3.
 2022-06-03 21:13:28 +02:00
Julien Lepiller
59e9b94f1e
gnu: ocaml-mccs: Update to 1.1+14. 
* gnu/packages/ocaml.scm (ocaml-mccs): Update to 1.1+14.
 2022-06-02 07:43:39 +02:00
David Arroyo
21800bf8b9
gnu: ocaml-ctypes: do not override install headers 
Overriding INSTALL_HEADERS in the build prevents the "ocaml_integers.h"
header from being copied from the ocaml-integers package to ocaml-ctypes.
The header's absence breaks all dune-based projects which build cstubs
using the new (ctypes ...) stanza.

* gnu/packages/ocaml.scm (ocaml-ctypes)[arguments]: remove
INSTALL_HEADERS override.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2022-06-02 07:43:01 +02:00