Update extra-dev/packages/rocq-lean-import/rocq-lean-import.dev/opam

palmskog · web-flow · commit f5ebc0f58e32 · 2025-02-19T15:56:37.000+01:00
diff --git a/extra-dev/packages/rocq-lean-import/rocq-lean-import.dev/opam b/extra-dev/packages/rocq-lean-import/rocq-lean-import.dev/opam
@@ -1,6 +1,5 @@
 opam-version: "2.0"
 maintainer: "gaetan.gilbert@skyskimmer.net"
-version: "dev"
 
 homepage: "https://github.com/coq-community/rocq-lean-import"
 dev-repo: "git+https://github.com/coq-community/rocq-lean-import.git"
