Andrew Ammerlaan
|
54e7401db1
|
dev-ml/*: remove duplicate
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
|
2022-07-20 11:27:41 +02:00 |
|
Alessandro Barbieri
|
a446d3a063
|
dev-ml/ptime: treeclean
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-07-12 15:11:42 +02:00 |
|
Alessandro Barbieri
|
ccd5d88b2f
|
dev-ml/tiny_httpd: treeclean
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-07-12 15:11:42 +02:00 |
|
Alessandro Barbieri
|
5541943e2e
|
dev-ml/xapi-stdext: add 4.19.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-06-28 17:35:54 +02:00 |
|
Alessandro Barbieri
|
a90f3f016f
|
dev-ml/inotify: add 2.4
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-06-02 03:23:29 +02:00 |
|
Alessandro Barbieri
|
7f29fab3e6
|
dev-ml/ocamlfuse: add subslot
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-28 14:53:32 +02:00 |
|
Alessandro Barbieri
|
20781a37b9
|
dev-ml/gapi-ocaml: add subslot
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-28 14:53:32 +02:00 |
|
Alessandro Barbieri
|
89e6e002d8
|
dev-ml/ptime: update SRC_URI
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-25 22:05:16 +02:00 |
|
Alessandro Barbieri
|
9cfe3b5a32
|
dev-ml/ca-certs-nss: add 3.77
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-24 19:36:40 +02:00 |
|
Alessandro Barbieri
|
777661746d
|
dev-ml/mirage-crypto: drop 0.10.1
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-24 19:36:40 +02:00 |
|
Alessandro Barbieri
|
b4c3ca2dff
|
dev-ml/mirage-crypto: add 0.10.6
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-24 19:36:40 +02:00 |
|
Alessandro Barbieri
|
13231de9a1
|
dev-ml/metrics: add 0.4.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-24 19:36:40 +02:00 |
|
Alessandro Barbieri
|
e7ff1b8dea
|
dev-ml/dns: add 6.2.2
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-24 19:36:40 +02:00 |
|
Alessandro Barbieri
|
7aa504194a
|
dev-ml/hex: add 1.5.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-08 03:58:07 +02:00 |
|
Alessandro Barbieri
|
e14b766a03
|
dev-ml/cstruct: add 6.1.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-08 03:58:07 +02:00 |
|
Alessandro Barbieri
|
fa75a27359
|
dev-ml/ocamlfuse: export CPP
Closes: https://bugs.gentoo.org/842321
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-03 22:21:34 +02:00 |
|
Alessandro Barbieri
|
ac7301ba91
|
dev-ml/ocamlfuse: add opam build dep
Closes: https://bugs.gentoo.org/842339
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-05-03 22:21:33 +02:00 |
|
Alessandro Barbieri
|
39820b1b13
|
dev-ml/tls: add 0.15.3
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-29 04:46:45 +02:00 |
|
Alessandro Barbieri
|
47faa88af7
|
dev-ml/alcotest-lwt: add 1.5.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-29 04:36:49 +02:00 |
|
Alessandro Barbieri
|
d5f185d8f7
|
dev-ml/async_inotify: add 0.15.0, drop 0.14.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-28 07:57:30 +02:00 |
|
Alessandro Barbieri
|
7166931dc6
|
dev-ml/ocaml_intrinsics: treeclean
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-27 23:04:55 +02:00 |
|
Alessandro Barbieri
|
9fef65fa6d
|
dev-ml/core_unix: treeclean
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-27 23:04:54 +02:00 |
|
Alessandro Barbieri
|
9c38bd7736
|
dev-ml/sexp_pretty: treeclean
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-27 02:08:37 +02:00 |
|
Alessandro Barbieri
|
5d297b3c9d
|
dev-ml/expect_test_helpers_core: treeclean
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-27 02:08:37 +02:00 |
|
Alessandro Barbieri
|
a51f39476b
|
dev-ml/ocamlfuse: new package, add 2.7.1_p7
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-27 02:08:37 +02:00 |
|
Alessandro Barbieri
|
4dc9e3a7d1
|
dev-ml/tiny_httpd: new package, add 0.12
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-27 02:08:37 +02:00 |
|
Alessandro Barbieri
|
ba02285802
|
dev-ml/gapi-ocaml: new package, add 0.4.2
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-27 02:08:37 +02:00 |
|
Alessandro Barbieri
|
8ba1e8a9c8
|
dev-ml/*: improve metadata
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-26 12:33:35 +02:00 |
|
Alessandro Barbieri
|
8956c61bfc
|
dev-ml/*: remove pseudo virtual packages
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 02:14:16 +02:00 |
|
Alessandro Barbieri
|
505f0da867
|
dev-ml/cohttp: replace dep on base-* with ocaml
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 02:13:08 +02:00 |
|
Alessandro Barbieri
|
0de95c3b5d
|
dev-ml/conduit: update HOMEPAGE
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 02:12:24 +02:00 |
|
Alessandro Barbieri
|
109064083a
|
dev-ml/core_unix: update HOMEPAGE
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 02:09:32 +02:00 |
|
Alessandro Barbieri
|
b1598f6ea2
|
dev-ml/cstruct: replace dep on base-* with ocaml
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 02:04:22 +02:00 |
|
Alessandro Barbieri
|
425e787971
|
dev-ml/inotify: update HOMEPAGE
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 02:03:27 +02:00 |
|
Alessandro Barbieri
|
8c2d78ecee
|
dev-ml/polly: update HOMEPAGE
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 02:02:07 +02:00 |
|
Alessandro Barbieri
|
62a0563de0
|
dev-ml/qmp: replace dep on base-* with ocaml
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 02:00:01 +02:00 |
|
Alessandro Barbieri
|
1ff9bec458
|
dev-ml/afl-persistent: update HOMEPAGE
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 01:59:31 +02:00 |
|
Alessandro Barbieri
|
90e34fece7
|
dev-ml/async_inotify: drop 0.15.0
Closes: https://bugs.gentoo.org/838811
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-21 00:02:06 +02:00 |
|
Alessandro Barbieri
|
e3c49bed18
|
dev-ml/tar: add 1.1.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:57:00 +02:00 |
|
Alessandro Barbieri
|
a05bf9478d
|
dev-ml/qmp: add 0.18.0, drop 0.17.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:57:00 +02:00 |
|
Alessandro Barbieri
|
dac9d627ff
|
dev-ml/tuntap: update HOMEPAGE
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:57:00 +02:00 |
|
Alessandro Barbieri
|
50f5f44aea
|
dev-ml/xen-gnt: add 4.0.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:57:00 +02:00 |
|
Alessandro Barbieri
|
b4b27d9e82
|
dev-ml/shared-block-ring: add 3.0.1
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:57:00 +02:00 |
|
Alessandro Barbieri
|
059a20f3a1
|
dev-ml/async_inotify: add 0.14.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:57:00 +02:00 |
|
Alessandro Barbieri
|
644c18aee9
|
dev-ml/xenstore-clients: add 1.3.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:57:00 +02:00 |
|
Alessandro Barbieri
|
17aeb8838a
|
dev-ml/xenstore: update HOMEPAGE
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:57:00 +02:00 |
|
Alessandro Barbieri
|
bc9df92eaa
|
dev-ml/io-page: add 2.3.0, 3.0.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:57:00 +02:00 |
|
Alessandro Barbieri
|
1857a3b9a0
|
dev-ml/async_find: add 0.14.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:56:59 +02:00 |
|
Alessandro Barbieri
|
e20d7e0827
|
dev-ml/xenctrl: treeclean
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:56:59 +02:00 |
|
Alessandro Barbieri
|
d8a4ed8a5a
|
dev-ml/ezxenstore: treeclean
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-20 23:56:59 +02:00 |
|