|
2018-11-10 18:10:09 UTC |
Deleted |
Ubuntu Cosmic amd64
|
proposed |
universe |
math |
Optional |
|
1.0.0-2.1~build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Adam Conrad
-
Published
|
|
2018-08-17 08:23:26 UTC |
Superseded |
Ubuntu Cosmic amd64
|
proposed |
universe |
math |
Optional |
|
1.0.0-2ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of why3 1.0.0-2.1~build1 in ubuntu cosmic PROPOSED
-
Published
|
|
2018-08-16 19:58:36 UTC |
Superseded |
Ubuntu Cosmic amd64
|
proposed |
universe |
math |
Optional |
|
1.0.0-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of why3 1.0.0-2ubuntu1 in ubuntu cosmic PROPOSED
-
Published
|
|
2018-08-16 18:34:18 UTC |
Superseded |
Ubuntu Cosmic amd64
|
proposed |
universe |
math |
Optional |
|
1.0.0-1ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of why3 1.0.0-2 in ubuntu cosmic PROPOSED
-
Published
|
|
2020-07-13 02:35:12 UTC |
Obsolete |
Ubuntu Cosmic amd64
|
release |
universe |
math |
Optional |
|
0.88.3-3ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu
|
|
2020-07-14 12:10:11 UTC |
Deleted |
Ubuntu Cosmic amd64
|
proposed |
universe |
math |
Optional |
|
0.88.3-3ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2018-06-04 16:23:16 UTC |
Superseded |
Ubuntu Cosmic amd64
|
release |
universe |
math |
Optional |
|
0.88.3-1ubuntu4
|
-
Removal requested
.
-
Superseded
by amd64 build of why3 0.88.3-3ubuntu1 in ubuntu cosmic PROPOSED
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|