|
|
2fa98ae463
|
adapt to defunctorisation work
|
2025-02-17 11:18:48 +01:00 |
|
|
|
30bc9db5cc
|
update to mirage 4.5.0
|
2024-04-10 11:43:04 +02:00 |
|
|
|
7fa03710b3
|
roburio -> robur-coop
|
2023-09-09 11:58:18 +02:00 |
|
|
|
c66df46d2e
|
opam: fix conflict with mirage-xen
|
2023-03-09 13:14:31 +01:00 |
|
|
|
98ef5cc436
|
avoid dependency on mirage-solo5, conflict with mirage-solo5/mirage-xen that do not include the Memory.metrics
|
2023-03-03 12:03:48 +01:00 |
|
|
|
561564ceea
|
Adapt to Mirage 4.3.0 changes
|
2022-09-26 20:04:15 +02:00 |
|
|
|
e1e8ea7ae0
|
adjust lower bound of mirage-solo5
|
2022-08-09 14:34:21 +02:00 |
|
|
|
7b78a528cc
|
upgrade to mirage4, drop usage of OS.MM.malloc_metrics
|
2022-08-05 12:35:00 +02:00 |
|
|
|
3bf6ceb432
|
opam: restrict to mirage-solo5 < 0.7.0
|
2022-05-24 11:20:06 +02:00 |
|
|
|
f949c87e4c
|
please dune-release
|
2022-05-22 21:43:33 +02:00 |
|
|
|
a94330b31f
|
minor updates
|
2022-05-22 21:41:45 +02:00 |
|
|
|
aa4a58d7d2
|
minor
|
2022-05-22 21:23:23 +02:00 |
|
|
|
002aaf9321
|
updates and renaming
|
2022-05-22 21:21:09 +02:00 |
|
