From 1d067da3ce9066ac7ba112615f1dc49de97dbc1f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Tue, 21 Jan 2025 15:31:32 +0100 Subject: [PATCH] update coq-hol-light-real-with-N --- .../coq-hol-light-real-with-N.1.0.0/opam | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/released/packages/coq-hol-light-real-with-N/coq-hol-light-real-with-N.1.0.0/opam b/released/packages/coq-hol-light-real-with-N/coq-hol-light-real-with-N.1.0.0/opam index ad6c4c404..ebbebb360 100644 --- a/released/packages/coq-hol-light-real-with-N/coq-hol-light-real-with-N.1.0.0/opam +++ b/released/packages/coq-hol-light-real-with-N/coq-hol-light-real-with-N.1.0.0/opam @@ -18,13 +18,13 @@ depends: [ build: [make "-j%{jobs}%"] install: [make "install"] tags: [ - "keyword:HOL-Light" + "logpath:HOLLight_Real_With_N" + "date:2025-01-21" "category:Math/Arith/Misc" "category:Math/Arith/Real numbers" - "date:2025-01-20" - "logpath:HOLLight_Real" + "keyword:HOL-Light" ] url { src: "https://github.com/Deducteam/coq-hol-light-real-with-N/archive/refs/tags/1.0.0.tar.gz" - checksum: "sha256=97895ee619541adf57617f23ea975489f5ceac7be718b03e7f45ac7d878cb479" + checksum: "sha256=b4e60de1322965dc6daf7beb63fd7ff270e341e162428fddd1ac5e32e47054b5" }