Log in / Register
Debian
coq-float package
Overview
Code
Bugs
Blueprints
Translations
Answers
Publishing history of coq-float 1:8.9.0-1 source package in Debian
1:8.9.0-1
Publishing history
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
Date
Status
Target
Pocket
Component
Section
Version
2020-03-16 16:53:45 UTC
Superseded
Sid
release
main
libdevel
1:8.9.0-1
Superseded
on 2020-03-16
by coq-float - 1:8.10.0-1
Published
on 2020-02-01
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
«back