From e8ce926c311162a5bb481adabbd2203cddaec01f Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Thu, 19 Dec 2024 14:13:38 +0100
Subject: [PATCH] pilat; update url - the old has multiple choices

---
 packages/pilat/pilat.1.3/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/pilat/pilat.1.3/opam b/packages/pilat/pilat.1.3/opam
index 486158c825a..175ea313aed 100644
--- 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"