Commit Graph

83 Commits

Author SHA1 Message Date
Alessandro Barbieri
50424dfa8a dev-ml/xen-evtchn: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:14 +02:00
Alessandro Barbieri
e9f884bc10 dev-ml/configurator: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:14 +02:00
Alessandro Barbieri
bd67c8eab0 dev-ml/rpc: tests and useflags
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:14 +02:00
Alessandro Barbieri
1f4f610954 dev-ml/alcotest-lwt: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:14 +02:00
Alessandro Barbieri
df7123ec9d dev-ml/js_of_ocaml: tests and useflags
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:14 +02:00
Alessandro Barbieri
4b5deda48f dev-ml/ezjsonm: tests and useflags
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:14 +02:00
Alessandro Barbieri
572086dca1 dev-ml/cstruct: update SRC_URI
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:14 +02:00
Alessandro Barbieri
a58966db09 dev-ml/xenstore-clients: add test
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:14 +02:00
Alessandro Barbieri
b9182066ca dev-ml/lwt-dllist: fix tests
Closes: https://bugs.gentoo.org/836827
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
36c5d1677e dev-ml/pecu: fix tests
Closes: https://bugs.gentoo.org/836829
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
c5714c614b dev-ml/domain-name: fix tests
Closes: https://bugs.gentoo.org/836822
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
144c4b6ba2 dev-ml/bigstringaf: tests
Closes: https://bugs.gentoo.org/836824
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
dc5b510338 dev-ml/bheap: fix tests
Closes: https://bugs.gentoo.org/836828
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
15f54d81e1 dev-ml/angstrom: change metadata
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
9371202881 dev-ml/ipaddr: add useflags and tests
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
b3c8b07dc3 dev-ml/uri: tests and useflags
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
bb0d3460c7 dev-ml/core_unix: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
0cf93f3d55 dev-ml/expect_test_helpers_core: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
544ee897b7 dev-ml/expect_test_helpers: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:13 +02:00
Alessandro Barbieri
5975d7a934 dev-ml/expect_test_helpers_kernel: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:12 +02:00
Alessandro Barbieri
9d84eceaeb dev-ml/sexp_pretty: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:12 +02:00
Alessandro Barbieri
6460eecc78 dev-ml/ocaml_intrinsics: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:12 +02:00
Alessandro Barbieri
d3b6c73ced dev-ml/base-threads: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:12 +02:00
Alessandro Barbieri
57d2a2393c dev-ml/ca-certs-nss: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:12 +02:00
Alessandro Barbieri
62f564fa0b dev-ml/stringext: add test deps
Closes: https://bugs.gentoo.org/836825
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:12 +02:00
Alessandro Barbieri
9841ebdc9f dev-ml/ounit: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:12 +02:00
Alessandro Barbieri
f12c802115 dev-ml/base-unix: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:12 +02:00
Alessandro Barbieri
960422fad6 dev-ml/base-bytes: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:12 +02:00
Alessandro Barbieri
9755ff7031 dev-ml/magic-mime: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:11 +02:00
Alessandro Barbieri
70a6506bfd dev-ml/gmap: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:11 +02:00
Alessandro Barbieri
4b98873201 dev-ml/mirage-channel: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
d5b69a578c dev-ml/mirage-flow: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
d9e8cede5e dev-ml/mirage-kv: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
98267b3911 dev-ml/mirage-unix: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
901ee88cbb dev-ml/mirage-profile: disable xen enable unix
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
e2a03e1c0c dev-ml/mirage-profile: fix installation
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
e08892c2d0 dev-ml/mirage-time: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
44319c5c78 dev-ml/mirage-crypto: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
2a8bbacc9b dev-ml/eqaf: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
9f56c3c0d0 dev-ml/asn1-combinators: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:10 +02:00
Alessandro Barbieri
3b18b6e264 dev-ml/x509: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:09 +02:00
Ronny (tastytea) Gutbrod
aeaa506ae0 dev-ml/xmlm: update SRC_URI and HOMEPAGE (HTTP -> HTTPS)
Signed-off-by: Ronny (tastytea) Gutbrod <gentoo@tastytea.de>
2022-04-05 04:09:23 +02:00
Alessandro Barbieri
98049d34aa dev-ml/xmlm: add 1.4.0, drop 1.3.0-r3
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-04 21:32:04 +02:00
Alessandro Barbieri
c520e2c002 dev-ml/mirage-profile: add 0.9.1, drop 0.9.0-r2
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-04 21:32:04 +02:00
Alessandro Barbieri
6c48e8364f dev-ml/ipaddr: add 5.3.0, drop 5.0.1-r2
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-04 21:32:03 +02:00
Alessandro Barbieri
56712386f4 dev-ml/cstruct: add 6.0.1, drop 6.0.0-r2
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-04 21:32:03 +02:00
Andrew Ammerlaan
9170e8a7b1 dev-ml/fd-send-recv: shorten description
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
2022-04-04 16:24:24 +02:00
Alessandro Barbieri
d13bcd7d0a dev-ml/xen-gnt: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-04 01:46:08 +02:00
Alessandro Barbieri
bb6d985074 dev-ml/mirage-xen: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-04 01:46:08 +02:00
Alessandro Barbieri
e01b8b1ea9 dev-ml/mirage: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-04 01:46:08 +02:00