From 6fa601b6ca3976d4eb4c9c3cae2dc35ba8ab2894 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Fri, 22 Jul 2016 19:14:44 +0200
Subject: [PATCH] merged now

---
 Posts/Solo5 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Posts/Solo5 b/Posts/Solo5
index 0ffcf2b..738d89d 100644
--- a/Posts/Solo5
+++ b/Posts/Solo5
@@ -42,7 +42,7 @@ A bunch of opam pins are needed (using pins instead of the [solo5 repository](ht
 ```bash
 opam pin add -n solo5-kernel-virtio https://github.com/hannesm/solo5.git#FreeBSD
 opam pin add -n ocaml-freestanding https://github.com/hannesm/ocaml-freestanding.git#FreeBSD
-opam pin add -n mirage https://github.com/hannesm/mirage.git#s5
+opam pin add -n mirage --dev-repo
 ```
 
 An `opam install mirage mirage-logs solo5-kernel-virtio mirage-bootvar-solo5 mirage-console mirage-solo5` should provide you with a basic set of libraries.