Log in / Register
Debian
agda package
Overview
Code
Bugs
Blueprints
Translations
Answers
Publishing history of agda 2.2.6-6 source package in Debian
2.2.6-6
Publishing history
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
Date
Status
Target
Pocket
Component
Section
Version
2011-09-13 09:25:23 UTC
Superseded
Squeeze
release
main
haskell
2.2.6-6
Superseded
on 2011-09-13
by agda - 2.2.6-7
Published
on 2010-05-19
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
«back