Log in / Register
Debian
agda-stdlib package
Overview
Code
Bugs
Blueprints
Translations
Answers
Publishing history of agda-stdlib 0.12-1 source package in Debian
0.12-1
Publishing history
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
Date
Status
Target
Pocket
Component
Section
Version
2016-06-24 04:26:09 UTC
Superseded
Sid
release
main
libs
0.12-1
Superseded
on 2016-06-24
by agda-stdlib - 0.12-2
Published
on 2016-06-20
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
«back