Julien Lepiller
|
1cef2c561f
|
gnu: Remove ocaml4.07-fmt.
* gnu/packages/ocaml.scm (ocaml4.07-fmt): Remove variable.
(ocaml-fmt)[properties]: Remove variant.
Change-Id: I35d294d764a1e3fd8160a7da9cbd5cab9bea4660
|
2023-12-30 22:12:15 +01:00 |
|
Julien Lepiller
|
571878854c
|
gnu: Remove ocaml4.07-parsexp.
* gnu/packages/ocaml.scm (ocaml4.07-parsexp): Remove variable.
(ocaml-parsexp)[properties]: Remove variant.
Change-Id: I8f4ba60895845ba8a45d87107c5b0f7ce0674f99
|
2023-12-30 22:12:09 +01:00 |
|
Julien Lepiller
|
dc86d672c9
|
gnu: Remove ocaml4.07-variantslib.
* gnu/packages/ocaml.scm (ocaml4.07-variantslib): Remove variable.
(ocaml-variantslib)[properties]: Remove variant.
Change-Id: Ie05207ed1bb675c91e68058cd2a1ff0e63ccf532
|
2023-12-30 22:12:06 +01:00 |
|
Julien Lepiller
|
c02058bef6
|
gnu: Remove ocaml4.07-fieldslib.
* gnu/packages/ocaml.scm (ocaml4.07-fieldslib): Remove variable.
(ocaml-fieldslib)[properties]: Remove variant.
Change-Id: Ic915d16ee2f45a198f63896ad0ad22ac57815958
|
2023-12-30 22:12:03 +01:00 |
|
Julien Lepiller
|
697328419e
|
gnu: Remove ocaml4.07-ppx-sexp-conv.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-conv): Remove variable.
(ocaml-ppx-sexp-conv)[properties]: Remove variant.
Change-Id: I6471c4e4f0c7cd8d3dd04f0ea0f4ce064759b37b
|
2023-12-30 22:12:00 +01:00 |
|
Julien Lepiller
|
f6cda7691f
|
gnu: Remove ocaml4.07-ppx-fields-conv.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-fields-conv): Remove variable.
(ocaml-ppx-fields-conv)[properties]: Remove variant.
Change-Id: Ie109e8ac78166e2df6cfece2fd80961a4d5cb6db
|
2023-12-30 22:11:57 +01:00 |
|
Julien Lepiller
|
c0505c9073
|
gnu: Remove ocaml4.07-ppx-compare.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-compare): Remove variable.
(ocaml-ppx-compare)[properties]: Remove variant.
Change-Id: Idac9eb2fe20e6849a791b758507211b47969aafa
|
2023-12-30 22:11:54 +01:00 |
|
Julien Lepiller
|
dee924ac26
|
gnu: Remove ocaml4.07-ppx-variants-conv.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-variants-conv): Remove variable.
(ocaml-ppx-variants-conv)[properties]: Remove variant.
Change-Id: Ib386d87c5b1cdd031155da7c8cfdcbc763624470
|
2023-12-30 22:11:51 +01:00 |
|
Julien Lepiller
|
43d528a532
|
gnu: Remove ocaml4.07-ppx-custom-printf.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-custom-printf): Remove variable.
(ocaml-ppx-custom-printf)[properties]: Remove variant.
Change-Id: Icc9e85727c28f9fd4aab07c7661282aed7dd1567
|
2023-12-30 22:11:48 +01:00 |
|
Julien Lepiller
|
b79835b5b5
|
gnu: Remove ocaml4.07-alcotest.
* gnu/packages/ocaml.scm (ocaml4.07-alcotest): Remove variable.
(ocaml-alcotest)[properties]: Remove variant.
Change-Id: I32402499e6c4b5b2c586e0fe8abc1aede3504fa2
|
2023-12-30 22:11:44 +01:00 |
|
Julien Lepiller
|
bffb7e524b
|
gnu: Remove ocaml4.07-typerep.
* gnu/packages/ocaml.scm (ocaml4.07-typerep): Remove variable.
(ocaml-typerep)[properties]: Remove variant.
Change-Id: I6e856bd96ca7dedeb0078e662b19a1f12143c0d2
|
2023-12-30 22:11:40 +01:00 |
|
Julien Lepiller
|
7c8ee30ca6
|
gnu: Remove ocaml4.07-bin-prot.
* gnu/packages/ocaml.scm (ocaml4.07-bin-prot): Remove variable.
(ocaml-bin-prot)[properties]: Remove variant.
Change-Id: I8d16ef26b58cc179bcc9d93d2e3e18116c474d25
|
2023-12-30 22:11:35 +01:00 |
|
Julien Lepiller
|
ab51be3aba
|
gnu: Remove ocaml4.07-ppx-here.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-here): Remove variable.
(ocaml-ppx-here)[properties]: Remove variant.
Change-Id: I7b54d003c6bf988eb93d6a2345296d11add14f6d
|
2023-12-30 22:11:32 +01:00 |
|
Julien Lepiller
|
952963aba8
|
gnu: Remove ocaml4.07-sexplib.
* gnu/packages/ocaml.scm (ocaml4.07-sexplib): Remove variable.
(ocaml-sexplib)[properties]: Remove variant.
Change-Id: I5d682457888b57d7d68c2e3e2b28d6cd4f4f3a85
|
2023-12-30 22:11:29 +01:00 |
|
Julien Lepiller
|
1667e151ba
|
gnu: Remove ocaml4.07-ppx-assert.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-assert): Remove variable.
(ocaml-ppx-assert)[properties]: Remove variant.
Change-Id: Iba0b987323b8ee3feb2330b1e5eed199856466ee
|
2023-12-30 22:11:26 +01:00 |
|
Julien Lepiller
|
2cd18578e7
|
gnu: Remove ocaml4.07-ppx-inline-test.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-inline-test): Remove variable.
(ocaml-ppx-inline-test)[properties]: Remove variant.
Change-Id: Ia7a74c7872b200d22fe56ec62de144534fc9e1ae
|
2023-12-30 22:11:23 +01:00 |
|
Julien Lepiller
|
711f2b10dc
|
gnu: Remove ocaml4.07-ppx-bench.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-bench): Remove variable.
(ocaml-ppx-bench)[properties]: Remove variant.
Change-Id: I407067f56a2e8a73ab9c311dafb2fd6dd5b583f8
|
2023-12-30 22:11:19 +01:00 |
|
Julien Lepiller
|
9c52f8b867
|
gnu: Remove ocaml4.07-ppx-expect.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-expect): Remove variable.
(ocaml-ppx-expect)[properties]: Remove variant.
Change-Id: Iad2ab78be171d8e0c7526c27fd0c7f77e62c6c68
|
2023-12-30 22:11:07 +01:00 |
|
Julien Lepiller
|
c56a00a90f
|
gnu: Remove ocaml4.07-ppx-let.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-let): Remove variable.
(ocaml-ppx-let)[properties]: Remove variant.
Change-Id: Ia173d6bd784b6c1347c3ec2e3cc4e10b9537b092
|
2023-12-30 22:11:02 +01:00 |
|
Julien Lepiller
|
7c44828fab
|
gnu: Remove ocaml4.07-ppx-enumerate.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-enumerate): Remove variable.
(ocaml-ppx-enumerate)[properties]: Remove variant.
Change-Id: I4923573de50e9e1795562cc7b974b8da7c88a64c
|
2023-12-30 22:10:59 +01:00 |
|
Julien Lepiller
|
cddf767eed
|
gnu: Remove ocaml4.07-ppx-js-style.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-js-style): Remove variable.
(ocaml-ppx-js-style)[properties]: Remove variant.
Change-Id: I2243b4ae20136fb3d91c578d9bb2eeea306b0bb1
|
2023-12-30 22:10:56 +01:00 |
|
Julien Lepiller
|
b3a0e3ea37
|
gnu: Remove ocaml4.07-ppx-hash.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-hash): Remove variable.
(ocaml-ppx-hash)[properties]: Remove variant.
Change-Id: I38a4e5a4deb88398ae714b0671c9477551e7b6d9
|
2023-12-30 22:10:53 +01:00 |
|
Julien Lepiller
|
5ecb3d4383
|
gnu: Remove ocaml4.07-ppx-tools-versioned.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-tools-versioned): Remove variable.
Change-Id: I74f5f3f9cdc7d7be2f1d52c933e27b688a8d2558
|
2023-12-30 22:10:45 +01:00 |
|
Julien Lepiller
|
bccd84ba0d
|
gnu: Remove ocaml4.07-ppx-optcomp.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-optcomp): Remove variable.
(ocaml-ppx-optcomp)[properties]: Remove variant.
Change-Id: I030cadf5a90d8386b892d2318244f997fc55283c
|
2023-12-30 22:10:42 +01:00 |
|
Julien Lepiller
|
5d1809a08a
|
gnu: Remove ocaml4.07-ppx-sexp-value.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-value): Remove variable.
(ocaml-ppx-sexp-value)[properties]: Remove variant.
Change-Id: Ib5b777b78c63d9cbc4812affba6f861c89ff3cce
|
2023-12-30 22:10:39 +01:00 |
|
Julien Lepiller
|
d2ea723f8e
|
gnu: Remove ocaml4.07-ppx-optional.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-optional): Remove variable.
(ocaml-ppx-optional)[properties]: Remove variant.
Change-Id: Ie6aad28146cea0f5b48be78c68e7341307234e4a
|
2023-12-30 22:10:36 +01:00 |
|
Julien Lepiller
|
47532ebc1e
|
gnu: Remove ocaml4.07-ppx-bin-prot.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-bin-prot): Remove variable.
(ocaml-ppx-bin-prot)[properties]: Remove variant.
Change-Id: I132d19d38cbb40c72afaa86a758ca0d4267fe645
|
2023-12-30 22:10:32 +01:00 |
|
Julien Lepiller
|
3d74d84235
|
gnu: Remove ocaml4.07-ppx-base.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-base): Remove variable.
(ocaml-ppx-base)[properties]: Remove variant.
Change-Id: I1a079a895eb260bb6870a12f494b79869a5a350c
|
2023-12-30 22:10:29 +01:00 |
|
Julien Lepiller
|
9ba9487306
|
gnu: Remove ocaml4.07-ppx-sexp-message.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-message): Remove variable.
(ocaml-ppx-sexp-message)[properties]: Remove variant.
Change-Id: Iaee2fbecb086ddad1b15b878d8148f9101903834
|
2023-12-30 22:10:26 +01:00 |
|
Julien Lepiller
|
0dc699477e
|
gnu: Remove ocaml4.07-bisect-ppx.
* gnu/packages/ocaml.scm (ocaml4.07-bisect-ppx): Remove variable.
(ocaml-bisect-ppx)[properties]: Remove variant.
Change-Id: I91dcdd486980885530ea2e269328ecf781aee020
|
2023-12-30 22:10:22 +01:00 |
|
Julien Lepiller
|
6446f0dfc3
|
gnu: Remove ocaml4.07-ppx-fail.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-fail): Remove variable.
(ocaml-ppx-fail)[properties]: Remove variant.
Change-Id: Iec707f415906d109a2eb2076477c2bfecc27bcc8
|
2023-12-30 22:10:19 +01:00 |
|
Julien Lepiller
|
76968f549d
|
gnu: Remove ocaml4.07-ppx-pipebang.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-pipebang): Remove variable.
(ocaml-ppx-pipebang)[properties]: Remove variant.
Change-Id: I3c74444122e43571c9922bf703701e20b7baf58f
|
2023-12-30 22:10:15 +01:00 |
|
Julien Lepiller
|
553c25da82
|
gnu: Remove ocaml4.07-ppx-typerep-conv.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-typerep-conv): Remove variable.
(ocaml-ppx-typerep-conv)[properties]: Remove variant.
Change-Id: Iacd645286f2b1819d94c44fb6545382d755906bd
|
2023-12-30 22:10:11 +01:00 |
|
Julien Lepiller
|
44e4726a5e
|
gnu: Remove ocaml4.07-tyxml.
* gnu/packages/ocaml.scm (ocaml4.07-tyxml): Remove variable.
(ocaml-tyxml)[properties]: Remove variant.
Change-Id: I2b86d01832baf4c139e2a0391a4dd344982bb160
|
2023-12-30 22:10:06 +01:00 |
|
Julien Lepiller
|
954108bd30
|
gnu: Remove ocaml4.07-ppx-jane.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-jane): Remove variable.
(ocaml-ppx-jane)[properties]: Remove variant.
Change-Id: Ia40acb52457f5c70221d424ec7015877b70ce614
|
2023-12-30 22:10:02 +01:00 |
|
Julien Lepiller
|
da9771c0f2
|
gnu: Remove ocaml4.07-spawn.
* gnu/packages/ocaml.scm (ocaml4.07-spawn): Remove variable.
(ocaml-spawn)[properties]: Remove variant.
Change-Id: Ib655eca9b305de23aa0cee0e29e51d9acea01094
|
2023-12-30 22:09:59 +01:00 |
|
Julien Lepiller
|
71b29cfac9
|
gnu: Remove ocaml4.07-odoc.
* gnu/packages/ocaml.scm (ocaml4.07-odoc): Remove variable.
(ocaml-odoc)[properties]: Remove variant.
Change-Id: I903ba64cfb460064531a502ca0c97e81ed4bbb82
|
2023-12-30 22:09:56 +01:00 |
|
Julien Lepiller
|
b9dcefa570
|
gnu: Remove ocaml4.07-jane-street-headers.
* gnu/packages/ocaml.scm (ocaml4.07-jane-street-headers): Remove
variable.
(ocaml-jane-street-headers)[properties]: Remove variant.
Change-Id: I4df9b3a74ea8100605bf730848888db4f63c1dc0
|
2023-12-30 22:09:52 +01:00 |
|
Julien Lepiller
|
17101812a8
|
gnu: Remove ocaml4.07-qcheck.
* gnu/packages/ocaml.scm (ocaml4.07-qcheck): Remove variable.
(ocaml-qcheck)[properties]: Remove variant.
Change-Id: I5d658a105d626315742428a68638222da212bea6
|
2023-12-30 22:09:46 +01:00 |
|
Julien Lepiller
|
bbd0a46127
|
gnu: Remove ocaml4.07-frontc.
* gnu/packages/ocaml.scm (ocaml4.07-frontc): Remove variable.
(ocaml-frontc)[properties]: Remove variant.
Change-Id: I52bf626af56d05e6230365825b944240cc523cdc
|
2023-12-30 22:09:41 +01:00 |
|
Julien Lepiller
|
560a6c4962
|
gnu: Remove ocaml4.07-core-kernel.
* gnu/packages/ocaml.scm (ocaml4.07-core-kernel): Remove variable.
(ocaml-core-kernel)[properties]: Remove variant.
Change-Id: Ia3c7b3fd2f5b3712c46e091f707961bc18123296
|
2023-12-30 22:09:31 +01:00 |
|
Julien Lepiller
|
dc0a6dc61b
|
gnu: Remove ocaml4.07-core.
* gnu/packages/ocaml.scm (ocaml4.07-core): Remove variable.
Change-Id: Ie1e593746061506133e2e344e8c5021ad77f6820
|
2023-12-30 22:09:27 +01:00 |
|
Julien Lepiller
|
1ff5aef15c
|
gnu: Remove ocaml4.07-zed.
* gnu/packages/ocaml.scm (ocaml4.07-zed): Remove variable.
(ocaml-zed)[properties]: Remove variant.
Change-Id: I13b2f5b0a3f38ca9a2f57e207487889adaad2d03
|
2023-12-30 22:09:23 +01:00 |
|
Julien Lepiller
|
476a16e173
|
gnu: Remove ocaml4.07-sqlite3.
* gnu/packages/ocaml.scm (ocaml4.07-sqlite3): Remove variable.
(ocaml-sqlite3)[properties]: Remove variant.
Change-Id: I336d685ac271e50d0bb4ed0e41d0bcee38ee4686
|
2023-12-30 22:09:20 +01:00 |
|
Julien Lepiller
|
5823552c19
|
gnu: Remove ocaml4.07-sedlex.
* gnu/packages/ocaml.scm (ocaml4.07-sedlex): Remove variable.
(ocaml-sedlex)[properties]: Remove variant.
Change-Id: I6ce2cfac54b7bf8879fde315ea60e3932bac8a9c
|
2023-12-30 22:09:17 +01:00 |
|
Julien Lepiller
|
fa126caee1
|
gnu: Remove ocaml4.07-splittable-random.
* gnu/packages/ocaml.scm (ocaml4.07-splittable-random): Remove variable.
(ocaml-splittable-random)[properties]: Remove variant.
Change-Id: I30cd8ccdc296655a60e821544151e2a38d46d3ca
|
2023-12-30 22:09:07 +01:00 |
|
Julien Lepiller
|
e63133a6cc
|
gnu: Remove ocaml4.07-lambda-term.
* gnu/packages/ocaml.scm (ocaml4.07-lambda-term): Remove variable.
(ocaml-lambda-term)[properties]: Remove variant.
Change-Id: I4c7a0a0833103acc39e48e74770f57a4b5df8f69
|
2023-12-30 22:08:59 +01:00 |
|
Julien Lepiller
|
b4a71d1d4f
|
gnu: Remove ocaml4.07-uri.
* gnu/packages/ocaml.scm (ocaml4.07-uri): Remove variable.
(ocaml-uri)[properties]: Remove variant.
Change-Id: I078537f7c1c10bcf319f3482ec50c252d25cb463
|
2023-12-30 22:08:36 +01:00 |
|
Julien Lepiller
|
2e8700052e
|
gnu: Remove ocaml4.07-batteries.
* gnu/packages/ocaml.scm (ocaml4.07-batteries): Remove variable.
(ocaml-batteries)[properties]: Remove variant.
Change-Id: I7573033dd1a517cf4f9e456c4f8507e82065550c
|
2023-12-30 22:08:32 +01:00 |
|
Julien Lepiller
|
dd96805c88
|
gnu: Remove ocaml4.07-cstruct.
* gnu/packages/ocaml.scm (ocaml4.07-cstruct): Remove variable.
(ocaml-cstruct)[properties]: Remove variant.
Change-Id: I623e2947aa9a597d9ee1342f27c7ec98d171b05e
|
2023-12-30 22:08:15 +01:00 |
|