Alessandro Barbieri
|
18495cbe17
|
dev-ml/crc: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:19 +02:00 |
|
Alessandro Barbieri
|
984a493a65
|
dev-ml/cdrom: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:19 +02:00 |
|
Alessandro Barbieri
|
973efc7c52
|
dev-ml/async_find: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:19 +02:00 |
|
Alessandro Barbieri
|
e7ace1ff87
|
dev-ml/xapi-test-utils: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:19 +02:00 |
|
Alessandro Barbieri
|
5bc0d9ac2b
|
dev-ml/qmp: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:19 +02:00 |
|
Alessandro Barbieri
|
0e99d4434c
|
dev-ml/polly: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:19 +02:00 |
|
Alessandro Barbieri
|
fde5a10b77
|
dev-ml/pci: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:19 +02:00 |
|
Alessandro Barbieri
|
2c35f64fea
|
dev-ml/bigstringaf: add 0.9.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:18 +02:00 |
|
Alessandro Barbieri
|
ad929a5ce5
|
dev-ml/*: change dune invocation
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:17 +02:00 |
|
Alessandro Barbieri
|
5a5e6c24b8
|
dev-ml/mirage-profile: fix dep, install correct package
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:17 +02:00 |
|
Alessandro Barbieri
|
73e95c591b
|
dev-ml/cstruct: install correct package
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:17 +02:00 |
|
Alessandro Barbieri
|
28452b3404
|
dev-ml/conduit: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:17 +02:00 |
|
Alessandro Barbieri
|
00f7687752
|
dev-ml/dns: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:17 +02:00 |
|
Alessandro Barbieri
|
d8352a19c0
|
dev-ml/happy-eyeballs: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:17 +02:00 |
|
Alessandro Barbieri
|
8d7d16bbae
|
dev-ml/arp: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:17 +02:00 |
|
Alessandro Barbieri
|
3311ec1a9b
|
dev-ml/tcpip: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:17 +02:00 |
|
Alessandro Barbieri
|
c901b5f192
|
dev-ml/mirage-vnetif: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
7f7da74aca
|
dev-ml/metrics: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
d56eb78f8b
|
dev-ml/lru: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
b33c727074
|
dev-ml/psq: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
cfd1e5b1fb
|
dev-ml/mirage-random-test: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
dc14a3ebc9
|
dev-ml/ethernet: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
33bb5c93d1
|
dev-ml/hex: fix typo
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
31dad6b550
|
dev-ml/mirage-net: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
eb209f9bb3
|
dev-ml/pcap-format: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
ccf39a89f9
|
dev-ml/cohttp: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
82a3dd3ac8
|
dev-ml/hkdf: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:16 +02:00 |
|
Alessandro Barbieri
|
145e4902ca
|
dev-ml/pbkdf: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
56d4ab6b4a
|
dev-ml/randomconv: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
427193568d
|
dev-ml/ca-certs: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
6bc077b0ca
|
dev-ml/async_ssl: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
0f8b641211
|
dev-ml/afl-persistent: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
bbfafcaf44
|
dev-ml/tls: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
abf2ed0cb8
|
dev-ml/crowbar: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
fb05ef9153
|
dev-ml/xen-gnt: useflags
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
e2d4d202f4
|
dev-ml/io-page: tests and useflags
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
38d42c11fd
|
dev-ml/mirage-random: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:15 +02:00 |
|
Alessandro Barbieri
|
c21ddf37b5
|
dev-ml/vchan: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2022-04-15 22:34:14 +02:00 |
|
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 |
|