|
2024-02-24 00:23:55 UTC |
Published |
Noble
|
release |
universe |
devel |
8.02.01-2build6
|
|
|
|
Deleted |
Noble
|
proposed |
universe |
devel |
8.02.01-2build6
|
|
|
2024-02-19 18:49:06 UTC |
Superseded |
Noble
|
proposed |
universe |
devel |
8.02.01-2build5
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 8.02.01-2build6
-
Published
|
|
2024-02-24 00:25:36 UTC |
Superseded |
Noble
|
release |
universe |
devel |
8.02.01-2build4
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 8.02.01-2build6
-
Published
|
|
2024-02-25 00:10:14 UTC |
Deleted |
Noble
|
proposed |
universe |
devel |
8.02.01-2build4
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2024-02-17 10:58:10 UTC |
Superseded |
Noble
|
release |
universe |
devel |
8.02.01-2build3
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 8.02.01-2build4
-
Published
|
|
2024-02-18 12:10:13 UTC |
Deleted |
Noble
|
proposed |
universe |
devel |
8.02.01-2build3
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2023-12-15 13:33:37 UTC |
Superseded |
Noble
|
release |
universe |
devel |
8.02.01-2build2
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 8.02.01-2build3
-
Published
|
|
2024-01-10 12:10:17 UTC |
Deleted |
Noble
|
proposed |
universe |
devel |
8.02.01-2build2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2023-11-15 13:20:55 UTC |
Superseded |
Noble
|
proposed |
universe |
devel |
8.02.01-2build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 8.02.01-2build2
-
Published
|
|
2023-11-25 08:38:20 UTC |
Superseded |
Noble
|
release |
universe |
devel |
8.02.01-2
|
-
Superseded
by camlp5 - 8.02.01-2build2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2023-09-08 01:19:08 UTC |
Published |
Mantic
|
release |
universe |
devel |
8.02.01-2
|
|
|
|
Deleted |
Mantic
|
proposed |
universe |
devel |
8.02.01-2
|
|
|
2023-09-08 01:19:25 UTC |
Superseded |
Mantic
|
release |
universe |
devel |
8.00.04-1
|
-
Superseded
by camlp5 - 8.02.01-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2023-01-21 19:13:36 UTC |
Published |
Lunar
|
release |
universe |
devel |
8.00.04-1
|
|
|
|
Deleted |
Lunar
|
proposed |
universe |
devel |
8.00.04-1
|
|
|
2023-01-21 19:14:43 UTC |
Superseded |
Lunar
|
release |
universe |
devel |
8.00.03-1
|
-
Superseded
by camlp5 - 8.00.04-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2023-11-13 12:55:48 UTC |
Obsolete |
Kinetic
|
release |
universe |
devel |
8.00.03-1
|
-
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 |
universe |
devel |
8.00.03-1
|
|
|
2022-05-02 16:49:44 UTC |
Superseded |
Kinetic
|
release |
universe |
devel |
8.00.02-1build1
|
-
Removal requested
.
-
Superseded
by camlp5 - 8.00.03-1
-
Published
-
Copied from
ubuntu jammy in
Primary Archive for Ubuntu
|
|
2022-03-02 17:45:17 UTC |
Published |
Jammy
|
release |
universe |
devel |
8.00.02-1build1
|
|
|
|
Deleted |
Jammy
|
proposed |
universe |
devel |
8.00.02-1build1
|
|
|
2022-01-24 16:44:20 UTC |
Superseded |
Jammy
|
proposed |
universe |
devel |
8.00.02-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 8.00.02-1build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2022-03-02 18:00:59 UTC |
Superseded |
Jammy
|
release |
universe |
devel |
7.14-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 8.00.02-1build1
-
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
|
|
2022-03-03 18:10:09 UTC |
Deleted |
Jammy
|
proposed |
universe |
devel |
7.14-1
|
|
|
2021-12-16 08:24:13 UTC |
Superseded |
Jammy
|
release |
universe |
devel |
7.13-1build1
|
-
Superseded
by camlp5 - 7.14-1
-
Published
-
Copied from
ubuntu hirsute in
Primary Archive for Ubuntu
|
|
2022-07-23 18:02:57 UTC |
Obsolete |
Impish
|
release |
universe |
devel |
7.13-1build1
|
-
Removal requested
.
-
Published
-
Copied from
ubuntu hirsute in
Primary Archive for Ubuntu
|
|
2022-07-23 01:40:00 UTC |
Obsolete |
Hirsute
|
release |
universe |
devel |
7.13-1build1
|
|
|
|
Deleted |
Hirsute
|
proposed |
universe |
devel |
7.13-1build1
|
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2020-11-19 18:18:02 UTC |
Superseded |
Hirsute
|
release |
universe |
devel |
7.13-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 7.13-1build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2021-12-22 19:51:25 UTC |
Obsolete |
Groovy
|
release |
universe |
devel |
7.13-1
|
-
Removed from disk
.
-
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
|
|
2021-12-23 00:10:07 UTC |
Deleted |
Groovy
|
proposed |
universe |
devel |
7.13-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Gianfranco Costamagna
|
|
2020-09-05 16:23:38 UTC |
Superseded |
Groovy
|
release |
universe |
devel |
7.12-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 7.13-1
-
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
|
|
2020-09-06 18:10:13 UTC |
Deleted |
Groovy
|
proposed |
universe |
devel |
7.12-1
|
|
|
2020-08-06 10:38:36 UTC |
Superseded |
Groovy
|
release |
universe |
devel |
7.11-1build1
|
-
Removal requested
.
-
Superseded
by camlp5 - 7.12-1
-
Published
-
Copied from
ubuntu focal in
Primary Archive for Ubuntu
|
|
2020-02-28 03:48:23 UTC |
Published |
Focal
|
release |
universe |
devel |
7.11-1build1
|
|
|
|
Deleted |
Focal
|
proposed |
universe |
devel |
7.11-1build1
|
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2020-02-20 22:48:27 UTC |
Superseded |
Focal
|
proposed |
universe |
devel |
7.11-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 7.11-1build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2020-02-11 11:23:58 UTC |
Superseded |
Focal
|
proposed |
universe |
devel |
7.10-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 7.11-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2020-02-28 03:50:39 UTC |
Superseded |
Focal
|
release |
universe |
devel |
7.08-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 7.11-1build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2020-12-29 14:18:15 UTC |
Obsolete |
Eoan
|
release |
universe |
devel |
7.08-2
|
|
|
2020-12-29 18:10:09 UTC |
Deleted |
Eoan
|
proposed |
universe |
devel |
7.08-2
|
|
|
2019-08-19 11:13:30 UTC |
Superseded |
Eoan
|
proposed |
universe |
devel |
7.08-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 7.08-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2019-09-02 20:58:57 UTC |
Superseded |
Eoan
|
release |
universe |
devel |
7.07-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 7.08-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2019-09-04 00:10:09 UTC |
Deleted |
Eoan
|
proposed |
universe |
devel |
7.07-1
|
|
|
2019-07-29 22:48:41 UTC |
Superseded |
Eoan
|
release |
universe |
devel |
7.01-1build1
|
-
Removal requested
.
-
Superseded
by camlp5 - 7.07-1
-
Published
-
Copied from
ubuntu bionic in
Primary Archive for Ubuntu
|
|
2020-07-14 06:39:25 UTC |
Obsolete |
Disco
|
release |
universe |
devel |
7.01-1build1
|
-
Removal requested
.
-
Published
-
Copied from
ubuntu bionic in
Primary Archive for Ubuntu
|
|
2020-07-13 02:35:12 UTC |
Obsolete |
Cosmic
|
release |
universe |
devel |
7.01-1build1
|
-
Removal requested
.
-
Published
-
Copied from
ubuntu bionic in
Primary Archive for Ubuntu
|
|
2017-11-05 02:23:46 UTC |
Published |
Bionic
|
release |
universe |
devel |
7.01-1build1
|
|
|
|
Deleted |
Bionic
|
proposed |
universe |
devel |
7.01-1build1
|
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2017-11-05 02:27:33 UTC |
Superseded |
Bionic
|
release |
universe |
devel |
7.01-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 7.01-1build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2020-07-10 15:03:46 UTC |
Obsolete |
Artful
|
release |
universe |
devel |
7.01-1
|
|
|
2020-07-10 18:10:10 UTC |
Deleted |
Artful
|
proposed |
universe |
devel |
7.01-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Dimitri John Ledkov
|
|
2017-09-01 16:04:36 UTC |
Superseded |
Artful
|
release |
universe |
devel |
6.16-1ubuntu1
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 7.01-1
-
Published
|
|
2017-09-02 18:10:11 UTC |
Deleted |
Artful
|
proposed |
universe |
devel |
6.16-1ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2017-06-27 10:34:02 UTC |
Superseded |
Artful
|
proposed |
universe |
devel |
6.16-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 6.16-1ubuntu1
-
Published
|
|
2017-07-18 04:38:29 UTC |
Superseded |
Artful
|
release |
universe |
devel |
6.16-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 6.16-1ubuntu1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2018-06-22 04:55:56 UTC |
Obsolete |
Zesty
|
release |
universe |
devel |
6.16-1
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2018-01-23 00:52:03 UTC |
Obsolete |
Yakkety
|
release |
universe |
devel |
6.16-1
|
|
|
2018-06-22 12:10:09 UTC |
Deleted |
Yakkety
|
proposed |
universe |
devel |
6.16-1
|
|
|
2016-06-10 00:26:33 UTC |
Superseded |
Yakkety
|
proposed |
universe |
devel |
6.14-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 6.16-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Adam Conrad
|
|
2016-06-13 08:29:41 UTC |
Superseded |
Yakkety
|
release |
universe |
devel |
6.14-1
|
-
Removal requested
.
-
Superseded
by camlp5 - 6.16-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2016-06-11 12:10:11 UTC |
Deleted |
Xenial
|
proposed |
universe |
devel |
6.14-2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Adam Conrad
Moved to yakkety-proposed
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2016-04-08 00:49:14 UTC |
Published |
Xenial
|
release |
universe |
devel |
6.14-1
|
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2016-04-20 10:24:48 UTC |
Superseded |
Xenial
|
proposed |
main |
devel |
6.14-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 6.14-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2016-04-08 00:54:49 UTC |
Superseded |
Xenial
|
release |
main |
devel |
6.14-1
|
-
Removal requested
.
-
Superseded
by camlp5 - 6.14-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
|
Deleted |
Xenial
|
proposed |
main |
devel |
6.14-1
|
|
|
2015-11-13 12:20:14 UTC |
Superseded |
Xenial
|
release |
main |
devel |
6.11+dfsg-3
|
-
Removal requested
.
-
Superseded
by camlp5 - 6.14-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2018-01-22 04:16:43 UTC |
Obsolete |
Wily
|
release |
main |
devel |
6.11+dfsg-3
|
-
Removal requested
.
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2018-01-18 23:34:00 UTC |
Obsolete |
Vivid
|
release |
main |
devel |
6.11+dfsg-3
|
-
Removal requested
.
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2016-11-03 06:09:53 UTC |
Obsolete |
Utopic
|
release |
main |
devel |
6.11+dfsg-3
|
-
Removal requested
.
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2014-01-18 18:03:27 UTC |
Published |
Trusty
|
release |
main |
devel |
6.11+dfsg-3
|
|
|
|
Deleted |
Trusty
|
proposed |
main |
devel |
6.11+dfsg-3
|
|
|
2014-01-18 18:04:01 UTC |
Superseded |
Trusty
|
release |
main |
devel |
6.11-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by camlp5 - 6.11+dfsg-3
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2014-01-19 18:10:12 UTC |
Deleted |
Trusty
|
proposed |
main |
devel |
6.11-2
|
|