From 0873cc2d70d543404a99cd4f0897251af5f5fb43 Mon Sep 17 00:00:00 2001 From: Calvin Beck Date: Wed, 25 Jul 2018 15:13:18 -0400 Subject: [PATCH] Update README to include opam update. Without opam update, opam does not fetch the packages from the new repo, so it won't know about StructTact when you try to install it. --- verdi/lec1/StructTact/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/verdi/lec1/StructTact/README.md b/verdi/lec1/StructTact/README.md index ad7e2cd..4c63e34 100644 --- a/verdi/lec1/StructTact/README.md +++ b/verdi/lec1/StructTact/README.md @@ -25,6 +25,7 @@ The easiest way to install StructTact is via [OPAM](http://opam.ocaml.org/doc/In ``` opam repo add distributedcomponents-dev http://opam-dev.distributedcomponents.net +opam update opam install StructTact ```