Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE
Agda
Agda.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File Agda.changes of Package Agda
------------------------------------------------------------------- Sun Feb 12 14:19:45 UTC 2017 - psimons@suse.com - Update to version 2.5.2 revision 2 with cabal2obs. ------------------------------------------------------------------- Thu Sep 15 06:48:49 UTC 2016 - psimons@suse.com - Update to version 2.5.1.1 revision 1 with cabal2obs. ------------------------------------------------------------------- Sun Jul 10 17:15:46 UTC 2016 - psimons@suse.com - Update to version 2.5.1 revision 0 with cabal2obs.
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
