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

Co-authored-by: Karl Palmskog <palmskog@gmail.com>
aleksnanevski · Oct 7, 2024 · 9fe8b97 · 9fe8b97
1 parent d33e690
commit 9fe8b97
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam b/released/packages/coq-htt-core/coq-htt-core.2.0.1/opam
@@ -1,9 +1,5 @@
-# This file was generated from `meta.yml`, please do not edit manually.
-# Follow the instructions on https://github.com/coq-community/templates to regenerate.
-
 opam-version: "2.0"
 maintainer: "fcsl@software.imdea.org"
-version: "dev"
 
 homepage: "https://github.com/imdea-software/htt"
 dev-repo: "git+https://github.com/imdea-software/htt.git"