File coq-8.4pl2.tar.gz uploaded to lookaside cache by jjames

Jerry James jjames at fedoraproject.org
Tue May 14 19:36:26 UTC 2013

Previous message: [python-datanommer-consumer/el6] Latest upstream.
Next message: [coq] New upstream release. Harden the build due to network use.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

A file has been added to the lookaside cache for coq:

7fd98da8db35a89b9718333a31af6153  coq-8.4pl2.tar.gz

Previous message: [python-datanommer-consumer/el6] Latest upstream.
Next message: [coq] New upstream release. Harden the build due to network use.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list