FreeBSD Bugzilla – Attachment 250945 Details for
Bug 279288
math/coq: Update to 8.19.1
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
New Account
|
Log In
Remember
[x]
|
Forgot Password
Login:
[x]
Update to 8.19.1
file_279288.txt (text/plain), 835 bytes, created by
Wen Heping
on 2024-05-25 10:16:00 UTC
(
hide
)
Description:
Update to 8.19.1
Filename:
MIME Type:
Creator:
Wen Heping
Created:
2024-05-25 10:16:00 UTC
Size:
835 bytes
patch
obsolete
>--- a/math/coq/Makefile >+++ b/math/coq/Makefile >@@ -1,10 +1,8 @@ > PORTNAME= coq >-PORTVERSION= 8.19 >-PORTREVISION= 1 >+PORTVERSION= 8.19.1 > PORTEPOCH= 3 > CATEGORIES= math > DISTVERSIONPREFIX= V >-DISTVERSIONSUFFIX= .0 > PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} > > MAINTAINER= hrs@FreeBSD.org >diff --git a/math/coq/distinfo b/math/coq/distinfo >index 8eb59b22d36a..8943df78e102 100644 >--- a/math/coq/distinfo >+++ b/math/coq/distinfo >@@ -1,3 +1,3 @@ >-TIMESTAMP = 1707224242 >-SHA256 (coq-coq-V8.19.0_GH0.tar.gz) = 17e5c10fadcd3cda7509d822099a892fcd003485272b56a45abd30390f6a426f >-SIZE (coq-coq-V8.19.0_GH0.tar.gz) = 7674352 >+TIMESTAMP = 1716288963 >+SHA256 (coq-coq-V8.19.1_GH0.tar.gz) = 1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674 >+SIZE (coq-coq-V8.19.1_GH0.tar.gz) = 7675945
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=250945">View the attachment on a separate page</a>.</b>
View Attachment As Raw
Actions:
View
Attachments on
bug 279288
: 250945