2023-08-30 10:15:05 UTC
Published
Ubuntu Mantic ppc64el
release
universe
ocaml
Optional
1.4.0-6build5
Published
on 2023-08-30
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
Deleted
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-6build5
2023-08-30 10:16:08 UTC
Superseded
Ubuntu Mantic ppc64el
release
universe
ocaml
Optional
1.4.0-6build4
Removed from disk
on 2023-08-31 .
Removal requested
on 2023-08-31 .
Superseded
on 2023-08-30
by ppc64el build of coq-hierarchy-builder 1.4.0-6build5 in ubuntu mantic PROPOSED
Published
on 2023-08-26
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
2023-08-31 12:10:10 UTC
Deleted
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-6build4
Removed from disk
on 2023-08-31 .
Removal requested
on 2023-08-26 .
Deleted
on 2023-08-26
by Ubuntu Archive Auto-Sync
Published
on 2023-08-20
2023-08-26 14:21:50 UTC
Superseded
Ubuntu Mantic ppc64el
release
universe
ocaml
Optional
1.4.0-6build3
Removed from disk
on 2023-08-27 .
Removal requested
on 2023-08-27 .
Superseded
on 2023-08-26
by ppc64el build of coq-hierarchy-builder 1.4.0-6build4 in ubuntu mantic PROPOSED
Published
on 2023-07-31
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
2023-08-27 18:10:09 UTC
Deleted
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-6build3
Removed from disk
on 2023-08-27 .
Removal requested
on 2023-07-31 .
Deleted
on 2023-07-31
by Ubuntu Archive Auto-Sync
Published
on 2023-07-28
2023-07-28 09:19:22 UTC
Superseded
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-6build2
Removed from disk
on 2023-07-29 .
Removal requested
on 2023-07-29 .
Superseded
on 2023-07-28
by ppc64el build of coq-hierarchy-builder 1.4.0-6build3 in ubuntu mantic PROPOSED
Published
on 2023-07-28
2023-07-28 04:09:25 UTC
Superseded
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-6build1
Removed from disk
on 2023-07-29 .
Removal requested
on 2023-07-29 .
Superseded
on 2023-07-28
by ppc64el build of coq-hierarchy-builder 1.4.0-6build2 in ubuntu mantic PROPOSED
Published
on 2023-07-27
2023-07-27 13:18:10 UTC
Superseded
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-6
Removed from disk
on 2023-07-28 .
Removal requested
on 2023-07-28 .
Superseded
on 2023-07-27
by ppc64el build of coq-hierarchy-builder 1.4.0-6build1 in ubuntu mantic PROPOSED
Published
on 2023-07-26
2023-07-26 11:29:37 UTC
Superseded
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-5build3
Removed from disk
on 2023-07-27 .
Removal requested
on 2023-07-27 .
Superseded
on 2023-07-26
by ppc64el build of coq-hierarchy-builder 1.4.0-6 in ubuntu mantic PROPOSED
Published
on 2023-07-24
2023-07-31 08:41:13 UTC
Superseded
Ubuntu Mantic ppc64el
release
universe
ocaml
Optional
1.4.0-5build2
Removed from disk
on 2023-08-01 .
Removal requested
on 2023-08-01 .
Superseded
on 2023-07-31
by ppc64el build of coq-hierarchy-builder 1.4.0-6build3 in ubuntu mantic PROPOSED
Published
on 2023-07-20
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
2023-08-01 12:10:09 UTC
Deleted
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-5build2
Removed from disk
on 2023-08-01 .
Removal requested
on 2023-07-20 .
Deleted
on 2023-07-20
by Ubuntu Archive Auto-Sync
Published
on 2023-07-18
2023-07-20 08:21:39 UTC
Superseded
Ubuntu Mantic ppc64el
release
universe
ocaml
Optional
1.4.0-5build1
Removed from disk
on 2023-07-21 .
Removal requested
on 2023-07-21 .
Superseded
on 2023-07-20
by ppc64el build of coq-hierarchy-builder 1.4.0-5build2 in ubuntu mantic PROPOSED
Published
on 2023-07-13
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
2023-07-21 12:10:10 UTC
Deleted
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-5build1
Removed from disk
on 2023-07-21 .
Removal requested
on 2023-07-13 .
Deleted
on 2023-07-13
by Ubuntu Archive Auto-Sync
Published
on 2023-07-08
2023-07-13 02:25:12 UTC
Superseded
Ubuntu Mantic ppc64el
release
universe
ocaml
Optional
1.4.0-3
Removed from disk
on 2023-07-14 .
Removal requested
on 2023-07-14 .
Superseded
on 2023-07-13
by ppc64el build of coq-hierarchy-builder 1.4.0-5build1 in ubuntu mantic PROPOSED
Published
on 2023-06-25
Copied from
ubuntu mantic-proposed ppc64el in Primary Archive for Ubuntu
2023-07-14 06:10:12 UTC
Deleted
Ubuntu Mantic ppc64el
proposed
universe
ocaml
Optional
1.4.0-3
Removed from disk
on 2023-07-14 .
Removal requested
on 2023-06-25 .
Deleted
on 2023-06-25
by Ubuntu Archive Auto-Sync
Published
on 2023-06-13
2023-06-25 17:24:49 UTC
Superseded
Ubuntu Mantic ppc64el
release
universe
ocaml
Optional
1.4.0-2build3
Removal requested
on 2023-06-26 .
Superseded
on 2023-06-25
by ppc64el build of coq-hierarchy-builder 1.4.0-3 in ubuntu mantic PROPOSED
Published
on 2023-04-25
Copied from
ubuntu lunar-proposed ppc64el in Primary Archive for Ubuntu