Log in / Register
Debian
agda package
Overview
Code
Bugs
Blueprints
Translations
Answers
Publishing history of agda 2.2.10-1 source package in Debian
2.2.10-1
Publishing history
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
Date
Status
Target
Pocket
Component
Section
Version
2011-09-20 23:24:56 UTC
Superseded
Sid
release
main
haskell
2.2.10-1
Superseded
on 2011-09-20
by agda - 2.2.10-4
Published
on 2011-05-21
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
«back