Overview Repositories Revisions Requests Users Attributes Meta

Revisions of coq

Yuchen Lin's avatar Yuchen Lin (maxlin_factory) committed (revision 2) 
branch from SP4 Backports
Yuchen Lin's avatar Yuchen Lin (maxlin_factory) accepted request 956049 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 1) 
Initial submit of version 8.13.2.
Displaying all 2 revisions
openSUSE Build Service is sponsored by
Places