Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15:Update
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
