Update released/packages/coq-htt/coq-htt.2.0.1/opam

Co-authored-by: Karl Palmskog <[email protected]>
aleksnanevski · Oct 7, 2024 · 2c7c99d · 2c7c99d
1 parent 9fe8b97
commit 2c7c99d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/released/packages/coq-htt/coq-htt.2.0.1/opam b/released/packages/coq-htt/coq-htt.2.0.1/opam
@@ -1,6 +1,5 @@
 opam-version: "2.0"
 maintainer: "[email protected]"
-version: "dev"
 
 homepage: "https://github.com/imdea-software/htt"
 dev-repo: "git+https://github.com/imdea-software/htt.git"