| .. |
|
albatross.2.0.99~dev
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
builder-web.0.2.0~dev
|
builder-web.opam: update from upstream
|
2023-09-11 12:19:25 +02:00 |
|
builder.0.3.2~dev
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
caldav.0.2.99~dev
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
dns-client-lwt.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
dns-client-mirage.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
dns-client.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
dns-mirage.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
dns-resolver.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
dns-server.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
dns-stub.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
dns-tsig.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
dns.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
dnssec.7.0.99~dev
|
Revert "remove dns packages (now released as dns 7.0.2)"
|
2023-11-28 15:41:29 +01:00 |
|
erm_xml.0.4~dev
|
rename xmpp packages to dev versions
|
2021-12-29 01:33:26 +01:00 |
|
erm_xmpp.0.4~dev
|
xmpp: require cstruct >=6.0.0
|
2022-04-04 12:38:13 +02:00 |
|
jackline.0.1~dev
|
jackline: avoid ocaml 5
|
2023-09-25 21:42:01 +02:00 |
|
mirage-unikernel-caldav-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-caldav-le-monitoring-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-caldav-monitoring-hvt.0.0.3
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-dns-letsencrypt-hvt.0.0.3
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-dns-letsencrypt-monitoring-hvt.0.0.3
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-dns-primary-git-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-dns-secondary-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2
|
dns-secondary-monitoring: use utcp
|
2023-11-23 16:28:24 +01:00 |
|
mirage-unikernel-dns-stub-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-dnsvizor-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-hello-hvt.0.0.2
|
bump mirage dep to 4.4.0
|
2023-06-21 19:16:32 +02:00 |
|
mirage-unikernel-nqsbio-hvt.0.0.3
|
bump mirage dep to 4.4.0
|
2023-06-21 19:16:32 +02:00 |
|
mirage-unikernel-opam-mirror-hvt.0.0.1
|
bump mirage dep to 4.4.0
|
2023-06-21 19:16:32 +02:00 |
|
mirage-unikernel-ovpn_router-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-qubes-firewall-xen.0.0.2
|
bump mirage dep to 4.4.0
|
2023-06-21 19:16:32 +02:00 |
|
mirage-unikernel-redirect-monitoring-hvt.0.0.1
|
bump mirage dep to 4.4.0
|
2023-06-21 19:16:32 +02:00 |
|
mirage-unikernel-retreat-hvt.0.0.2
|
upgrade retreat unikernel to use utcp
|
2023-11-23 15:34:37 +01:00 |
|
mirage-unikernel-static-website-hvt.0.0.2
|
static-website: drop http and https arguments for configure
|
2023-09-25 21:44:47 +02:00 |
|
mirage-unikernel-tlstunnel-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-tlstunnel-monitoring-hvt.0.0.2
|
tlstunnel-monitoring: use utcp
|
2023-11-23 16:22:04 +01:00 |
|
mirage-unikernel-traceroute-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-unipi-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-unipi-monitoring-hvt.0.0.2
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
mirage-unikernel-unipi-with-kv-hvt.0.0.2
|
update unipi-with-kv to mirage4
|
2023-10-24 13:37:17 +02:00 |
|
miragevpn.0.0.1~dev
|
update from upstream
|
2023-10-24 09:22:40 +02:00 |
|
modulectomy.0.0.1~dev
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
orb.0.0.2~dev
|
roburio -> robur-coop
|
2023-09-09 14:19:41 +02:00 |
|
solo5-tenders.0.7.5
|
upgrade solo5 to 0.7.5
|
2022-12-17 17:31:01 +01:00 |
|
tree_layout.0.3.0~dev
|
tree_layout: Fix brainfart
|
2022-08-24 10:03:24 +02:00 |
|
utcp.0.0.1~dev
|
add utcp
|
2023-11-23 14:40:51 +01:00 |
