From e54637d4eaae46abee479b3ba7d0a5bebac5a90e Mon Sep 17 00:00:00 2001
From: Adrian Lehmann <info@adrianlehmann.net>
Date: Mon, 20 Jan 2025 15:47:37 -0600
Subject: [PATCH] Change to .tar.gz

---
 released/packages/coq-quantumlib/coq-quantumlib.1.6.0/opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/released/packages/coq-quantumlib/coq-quantumlib.1.6.0/opam b/released/packages/coq-quantumlib/coq-quantumlib.1.6.0/opam
index 3a3bcfb49..50c93a1df 100644
--- a/released/packages/coq-quantumlib/coq-quantumlib.1.6.0/opam
+++ b/released/packages/coq-quantumlib/coq-quantumlib.1.6.0/opam
@@ -32,8 +32,8 @@ build: [
 dev-repo: "git+https://github.com/inQWIRE/QuantumLib.git"
 
 url {
-  src: "https://github.com/inQWIRE/QuantumLib/archive/refs/tags/v1.6.0.zip"
-  checksum: "sha256=6be133fdbee9ab7c11a95560b0b4fd40134b98b1169889022b5a48d5d7bcd94d"
+  src: "https://github.com/inQWIRE/QuantumLib/archive/refs/tags/v1.6.0.tar.gz"
+  checksum: "sha256=fb4bf630a57a34f4b605a89afaee677baacf40ca1670547ba42904d3eb62c78c"
 }
 
 tags: [