hack to rebuild unimath

coq · Dec 11, 2020 · 990b034 · 990b034
1 parent 8bf2bb6
commit 990b034
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/extra-dev/packages/coq-unimath/coq-unimath.dev/opam b/extra-dev/packages/coq-unimath/coq-unimath.dev/opam
@@ -14,6 +14,7 @@ depends: [
 ]
 synopsis: "UniMath"
 flags: light-uninstall
+
 url {
   src: "git+https://github.com/UniMath/UniMath.git#master"
 }