hack to rebuild unimath

coq · Dec 14, 2020 · 0bff4bc · 0bff4bc
1 parent b1caa09
commit 0bff4bc
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"
 }