From 2e42a836c40546a3183203e7a0bfd1774aa3f04e Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 11 Oct 2022 14:14:07 +0200 Subject: [PATCH] minor --- Posts/OpamMirror | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Posts/OpamMirror b/Posts/OpamMirror index fb172d4..a10bf34 100644 --- a/Posts/OpamMirror +++ b/Posts/OpamMirror @@ -2,7 +2,7 @@ title: Mirroring the opam repository and all tarballs author: hannes tags: mirageos, deployment, opam -abstract: Re-developing the opam cache from scratch, as a unikernel +abstract: Re-developing an opam cache from scratch, as a MirageOS unikernel --- We at [robur](https://robur.coop) developed [opam-mirror](https://git.robur.io/robur/opam-mirror) in the last month and run a public opam mirror at https://opam.robur.coop (updated hourly).