|
2023-11-13 12:55:48 UTC |
Obsolete |
Ubuntu Kinetic riscv64
|
release |
universe |
math |
Optional |
|
8.15.2+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
|
|
2024-01-11 00:10:16 UTC |
Deleted |
Ubuntu Kinetic riscv64
|
proposed |
universe |
math |
Optional |
|
8.15.2+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2022-06-14 20:14:11 UTC |
Superseded |
Ubuntu Kinetic riscv64
|
release |
universe |
math |
Optional |
|
8.15.2+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by riscv64 build of coq 8.15.2+dfsg-2 in ubuntu kinetic PROPOSED
-
Published
-
Copied from
ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
|
|
2022-06-16 00:10:09 UTC |
Deleted |
Ubuntu Kinetic riscv64
|
proposed |
universe |
math |
Optional |
|
8.15.2+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2022-06-03 18:04:22 UTC |
Superseded |
Ubuntu Kinetic riscv64
|
release |
universe |
math |
Optional |
|
8.15.1+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by riscv64 build of coq 8.15.2+dfsg-1 in ubuntu kinetic PROPOSED
-
Published
-
Copied from
ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
|
|
2022-06-04 18:10:09 UTC |
Deleted |
Ubuntu Kinetic riscv64
|
proposed |
universe |
math |
Optional |
|
8.15.1+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2022-05-26 09:54:04 UTC |
Superseded |
Ubuntu Kinetic riscv64
|
release |
universe |
math |
Optional |
|
8.15.1+dfsg-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by riscv64 build of coq 8.15.1+dfsg-2 in ubuntu kinetic PROPOSED
-
Published
-
Copied from
ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
|
|
2022-05-27 12:10:08 UTC |
Deleted |
Ubuntu Kinetic riscv64
|
proposed |
universe |
math |
Optional |
|
8.15.1+dfsg-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Auto-Sync
-
Published
|
|
2022-05-02 16:30:00 UTC |
Superseded |
Ubuntu Kinetic riscv64
|
proposed |
universe |
math |
Optional |
|
8.15.1+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by riscv64 build of coq 8.15.1+dfsg-1build1 in ubuntu kinetic PROPOSED
-
Published
|
|
2022-05-12 07:55:44 UTC |
Superseded |
Ubuntu Kinetic riscv64
|
release |
universe |
math |
Optional |
|
8.15.0+dfsg-2
|
-
Removal requested
.
-
Superseded
by riscv64 build of coq 8.15.1+dfsg-1build1 in ubuntu kinetic PROPOSED
-
Published
-
Copied from
ubuntu jammy-proposed riscv64 in Primary Archive for Ubuntu
|