Return to distinfo CVS log

Up to [cvs.NetBSD.org] / pkgsrc / lang / coq

Annotation of pkgsrc/lang/coq/distinfo, Revision 1.15

1.15    ! jaapb       1: $NetBSD: distinfo,v 1.14 2012/10/29 11:33:17 jaapb Exp $
1.1       kristerw    2:
1.15    ! jaapb       3: SHA1 (coq-8.4pl1.tar.gz) = 23d403dbe9e410a99c584d0210dc527950051679
        !             4: RMD160 (coq-8.4pl1.tar.gz) = fa472852de474ed5b83ddd4bd5a303f32b5dba94
        !             5: Size (coq-8.4pl1.tar.gz) = 4139808 bytes
1.14      jaapb       6: SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4