Overview Repositories Revisions Requests Users Attributes Meta

Revisions of Agda

Ismail Dönmez's avatar Ismail Dönmez (namtrac) committed (revision 1) 
osc copypac from project:openSUSE:Leap:15.0 package:Agda revision:1
Displaying 1 revision
openSUSE Build Service is sponsored by
Places