File why3-0.82.tar.gz uploaded to lookaside cache by jjames

Jerry James jjames at fedoraproject.org
Fri Dec 13 17:10:21 UTC 2013

Previous message: File evemu-20131213.tar.bz2 uploaded to lookaside cache by bentiss
Next message: [why3] New upstream release. Drop upstreamed patches. Add -examples subpackage. Install LaTeX style. Turn o
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

1f43a3e7c753f86e2f7fe400899ee6b8  why3-0.82.tar.gz

Previous message: File evemu-20131213.tar.bz2 uploaded to lookaside cache by bentiss
Next message: [why3] New upstream release. Drop upstreamed patches. Add -examples subpackage. Install LaTeX style. Turn o
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list