From 72a6d8509175aba8b633c3cecd1531107c12b2ae Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Thu, 19 Dec 2024 13:27:50 +0100
Subject: [PATCH] Update released/packages/coq-plouffe/coq-plouffe.1.5.0/opam

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

diff --git a/released/packages/coq-plouffe/coq-plouffe.1.5.0/opam b/released/packages/coq-plouffe/coq-plouffe.1.5.0/opam
index 2cb43b2b4..7948ec94a 100644
--- a/released/packages/coq-plouffe/coq-plouffe.1.5.0/opam
+++ b/released/packages/coq-plouffe/coq-plouffe.1.5.0/opam
@@ -20,6 +20,6 @@ tags: [
 synopsis: "A Coq formalization of Plouffe formula"
 authors: "Laurent Thery"
 url {
-  src: "https://github.com/thery/Plouffe/archive/v1.5.0.zip"
-  checksum: "sha256=3cb727dcb7e47ccdf50292ce0b859a81fd613cac032722ab14c951968cf661f9d"
+  src: "https://github.com/thery/Plouffe/archive/v1.5.0.tar.gz"
+  checksum: "sha256=4bcfaa6be7a1069056e92c43e6ad8c71ea86204bc707e2970915ec86f7cf56e6"
 }