|
2022-11-30 17:39:52 UTC |
Superseded |
Lunar
|
release |
multiverse |
doc |
8.15.2-3
|
-
Superseded
by coq-doc - 8.16.0-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2023-11-13 12:55:48 UTC |
Obsolete |
Kinetic
|
release |
multiverse |
doc |
8.15.2-3
|
-
Removal requested
.
-
Published
-
Copied from
Primary Archive for Ubuntu
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
-
Originally uploaded to
debian sid in
Primary Archive for Debian GNU/Linux
|
|
|
Deleted |
Kinetic
|
proposed |
multiverse |
doc |
8.15.2-3
|
|