Updating opam file.

vellvm · Apr 15, 2024 · 1292f77 · 1292f77
1 parent 789ba6c
commit 1292f77
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/coq-vellvm.opam b/coq-vellvm.opam
@@ -1,4 +1,6 @@
 opam-version: "2.0"
+name: "coq-vellvm"
+version: "dev"
 maintainer: "stevez@cis.upenn.edu"
 synopsis: "Coq library implementing (executable) semantics for LLVM IR"
 
@@ -48,7 +50,3 @@ tags: [
 
   "logpath:Vellvm"
 ]
-url {
-  http: ""
-  checksum: ""
-}