Log in / Register
Debian
agda package
Overview
Code
Bugs
Blueprints
Translations
Answers
Publishing history of agda 2.3.0.1-1 source package in Debian
2.3.0.1-1
Publishing history
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
Date
Status
Target
Pocket
Component
Section
Version
2012-06-03 04:35:43 UTC
Superseded
Sid
release
main
haskell
2.3.0.1-1
Superseded
on 2012-06-03
by agda - 2.3.0.1-2
Published
on 2012-03-12
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
«back