diff options
| author | nia <nia@pkgsrc.org> | 2021-10-07 14:20:45 +0000 |
|---|---|---|
| committer | nia <nia@pkgsrc.org> | 2021-10-07 14:20:45 +0000 |
| commit | 34d6b5527028fb40920e96dc65f118b37b6a2225 (patch) | |
| tree | 60e1b7f0746073841454df840054e31890e22c65 /lang/coq/distinfo | |
| parent | ae8fe23422636e46638d80ab49e1b0cc73dfb555 (diff) | |
| download | pkgsrc-34d6b5527028fb40920e96dc65f118b37b6a2225.tar.gz | |
lang: Remove SHA1 hashes for distfiles
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 922cc0f6213..2a977fe9f36 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,6 +1,5 @@ -$NetBSD: distinfo,v 1.36 2021/02/09 22:37:43 dholland Exp $ +$NetBSD: distinfo,v 1.37 2021/10/07 14:20:48 nia Exp $ -SHA1 (coq-8.12.2.tar.gz) = 70ba8f50fb54049fe00c5ce2c29be1c829b5297d RMD160 (coq-8.12.2.tar.gz) = d691b0fc0e0b9824f15a8a26d013f8578eb095ce SHA512 (coq-8.12.2.tar.gz) = 6b524edbceb5795f04bbd2b52f191bfcf10b611f7a2fa0450c30b72c944f88418d261729476b64603faacfe2be5f7992a2997541e54e6f8691d4dc8b4969198d Size (coq-8.12.2.tar.gz) = 6855860 bytes |