![[BACK]](/icons/back.gif){kind=icon}
Return to distinfo CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [cvs.NetBSD.org] / pkgsrc / lang / coq|
Return to distinfo CVS log | Up to [cvs.NetBSD.org] / pkgsrc / lang / coq |
| File: [cvs.NetBSD.org] / pkgsrc / lang / coq / distinfo (download)
Revision 1.37, Thu Oct 7 14:20:48 2021 UTC (23 months, 2 weeks ago) by nia
lang: Remove SHA1 hashes for distfiles |
$NetBSD: distinfo,v 1.37 2021/10/07 14:20:48 nia Exp $ 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 SHA1 (patch-Makefile.common) = f53c41884e12bfafa825a8f27c940ab40bd9b9fe SHA1 (patch-Makefile.make) = d12827bb28e0f993908d202bfd06497cc3033699