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

Jerry James jjames at fedoraproject.org
Mon Dec 12 17:30:38 UTC 2011

Previous message: [flocq] New upstream release. Change subpackage from -devel to -source to match gappalib-coq.
Next message: [gappalib-coq] New upstream release.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

782405faae188bc1b73151735f4ad371  gappalib-coq-0.17.0.tar.gz

Previous message: [flocq] New upstream release. Change subpackage from -devel to -source to match gappalib-coq.
Next message: [gappalib-coq] New upstream release.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list