fix coq-vst-32 as well

inQWIRE · Mar 21, 2024 · 7d3d770 · 7d3d770
1 parent 1ec0be2
commit 7d3d770
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/released/packages/coq-vst-32/coq-vst-32.2.14/opam b/released/packages/coq-vst-32/coq-vst-32.2.14/opam
@@ -35,7 +35,7 @@ depends: [
   "ocaml"
   "coq" {>= "8.17" & < "8.20~"}
   "coq-compcert-32" {= "3.13.1"}
-  "coq-vst-zlist" {= version}
+  "coq-vst-zlist" {= "2.13"}
   "coq-flocq" {>= "4.1.0"}
 ]
 conflicts: [
@@ -48,6 +48,6 @@ tags: [
   "date:2024-03-20"
 ]
 url {
-  src: "https://github.com/PrincetonUniversity/VST/archive/refs/tags/v2.14.tar.gz"
+  src: "https://github.com/PrincetonUniversity/VST/releases/download/v2.14/VST-2.14.tar.gz"
   checksum: "sha256=c11551c454057b8a6c7a958534f3ec783e09450ff7e373bfb7c3d6c009d46c06"
 }