TMP: empty docker cache

Signed-off-by: Thomas Gazagnaire <thomas@gazagnaire.org>
moby · Apr 25, 2017 · 5dfd0c2 · 5dfd0c2
1 parent 29771c4
commit 5dfd0c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile.github b/Dockerfile.github
@@ -4,8 +4,8 @@ ENV OPAMERRLOGLEN=0 OPAMYES=1
 RUN sudo apk add tzdata aspcud
 
 RUN opam pin add hvsock.0.14.0 --dev -n
-RUN opam pin add irmin.1.1.0 --dev -n
 RUN opam pin add irmin-git.1.1.0 --dev -n
+RUN opam pin add irmin.1.1.0 --dev -n
 #RUN opam pin add -yn protocol-9p.0.8.0 'https://github.com/talex5/ocaml-9p.git#ping'
 RUN opam pin add github --dev -n
 RUN opam depext -ui lwt inotify alcotest conf-libev lambda-term cmdliner github protocol-9p rresult prometheus-app asl win-eventlog mtime hex github-hooks hvsock camlzip irmin-watcher git irmin