Skip to content

Update README to include opam update. - #15

Open
Chobbes wants to merge 1 commit into
DeepSpec:masterfrom
Chobbes:patch-1
Open

Update README to include opam update.#15
Chobbes wants to merge 1 commit into
DeepSpec:masterfrom
Chobbes:patch-1

Commits

Commits on Jul 25, 2018