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

Jerry James jjames at fedoraproject.org
Tue Aug 21 20:30:28 UTC 2012

Previous message: [tracker] Drop obsolete id3lib-devel BR
Next message: [coq] New upstream release. Drop patch; merged upstream. Drop workaround for install bug; fixed in 8.4.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

f28662cd687f66ed3c372ca3d35ea928  coq-8.4.tar.gz

Previous message: [tracker] Drop obsolete id3lib-devel BR
Next message: [coq] New upstream release. Drop patch; merged upstream. Drop workaround for install bug; fixed in 8.4.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list