Merge pull request #27152 from hannesm/pilat-multiple-choices

pilat; update url - the old has multiple choices
ocaml · Dec 19, 2024 · b994cd1 · b994cd1
2 parents 95bfbde + e8ce926
commit b994cd1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/pilat/pilat.1.3/opam b/packages/pilat/pilat.1.3/opam
@@ -16,7 +16,7 @@ depends: [
   "frama-c" {= "19.0"}
 ]
 url {
-  src: "https://github.com/Stevendeo/Pilat/archive/1.3.tar.gz"
+  src: "https://github.com/Stevendeo/Pilat/archive/refs/tags/1.3.tar.gz"
   checksum: [
     "md5=70c732e7a2c3c5682a1acf2e4215c259"
     "sha512=ef4f4cc5502c2d4f1f43c8d652d34fe17234fc55d9d6f98f441c5560b68fd3f333bb951b15e975e6a6126a457eabeab78681061a489ecfbf196ee73fb6c10a33"