Commit Graph

327 Commits

Author SHA1 Message Date
Alessandro Barbieri
3ba413754a dev-ml/vhd: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:20 +02:00
Alessandro Barbieri
d8328d544c dev-ml/mirage-block: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:20 +02:00
Alessandro Barbieri
9b6f339507 dev-ml/netlink: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:20 +02:00
Alessandro Barbieri
a39a219638 dev-ml/mustache: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:19 +02:00
Alessandro Barbieri
2697678492 dev-ml/async_inotify: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:19 +02:00
Alessandro Barbieri
2aaa05bc83 dev-ml/inotify: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2022-04-15 22:34:19 +02:00
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