|
2013-05-25 04:31:01 UTC |
Superseded |
Jessie
|
release |
main |
libdevel |
1:8.3pl1-4
|
-
Superseded
by coq-float - 1:8.4-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2012-06-17 04:39:45 UTC |
Published |
Wheezy
|
release |
main |
libdevel |
1:8.3pl1-4
|
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2013-05-09 04:21:13 UTC |
Superseded |
Sid
|
release |
main |
libdevel |
1:8.3pl1-4
|
-
Superseded
by coq-float - 1:8.4-1
-
Published
|