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

Jerry James jjames at fedoraproject.org
Sun Jun 10 03:07:55 UTC 2012

Previous message: [php-twig-Twig/el6] (2 commits) ...Updated to upstream version 1.8.2 & updates per other package review
Next message: [coq] New upstream release.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

88e2ce021b09eca207e3119d5202a695  coq-8.3pl4.tar.gz

Previous message: [php-twig-Twig/el6] (2 commits) ...Updated to upstream version 1.8.2 & updates per other package review
Next message: [coq] New upstream release.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list