summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f16Initial import.Jerry James13 months
f17Initial import.Jerry James13 months
f18Rebuild for coq 8.4pl1.Jerry James4 months
f19- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_RebuildDennis Gilmore3 months
masterNew upstream release.Jerry James8 days
 
 
AgeCommit messageAuthorFilesLines
8 daysNew upstream release.HEADmasterJerry James5-121/+694
2013-02-15- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuildf19Dennis Gilmore1-1/+4
2013-01-07Rebuild for coq 8.4pl1.f18Jerry James1-1/+4
2012-12-14Rebuild for OCaml 4.00.1.Richard W.M. Jones1-1/+4
2012-08-23Add patch to adapt to coq 8.4.Jerry James2-0/+70
2012-08-23Rebuild for coq 8.4.Jerry James1-1/+4
2012-08-02New upstream release.Jerry James4-57/+26
2012-07-22- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_RebuildDennis Gilmore1-1/+4
2012-04-19Initial import.f17f16Jerry James4-0/+225
2012-04-19Initial setup of the repoFedora Release Engineering2-0/+0
 
Clone
git://pkgs.fedoraproject.org/why3.git
ssh://pkgs.fedoraproject.org/why3.git
http://pkgs.fedoraproject.org/git/why3.git
generated by cgit v0.9.1 at 2013-05-23 08:14:52 (GMT)