|
2018-04-07 05:48:55 UTC |
Published |
Ubuntu Bionic i386
|
release |
universe |
math |
Optional |
|
0.88.3-1ubuntu4
|
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|
|
2018-04-07 02:19:41 UTC |
Superseded |
Ubuntu Bionic i386
|
proposed |
universe |
math |
Optional |
|
0.88.3-1ubuntu3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of why3 0.88.3-1ubuntu4 in ubuntu bionic PROPOSED
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|
|
|
Deleted |
Ubuntu Bionic i386
|
proposed |
universe |
math |
Optional |
|
0.88.3-1ubuntu4
|
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|
|
2018-04-07 02:19:41 UTC |
Superseded |
Ubuntu Bionic i386
|
proposed |
universe |
math |
Optional |
|
0.88.3-1ubuntu2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of why3 0.88.3-1ubuntu4 in ubuntu bionic PROPOSED
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|
|
2018-03-23 07:15:12 UTC |
Superseded |
Ubuntu Bionic i386
|
proposed |
universe |
math |
Optional |
|
0.88.3-1ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of why3 0.88.3-1ubuntu2 in ubuntu bionic PROPOSED
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|
|
2018-01-30 10:36:14 UTC |
Superseded |
Ubuntu Bionic i386
|
proposed |
universe |
math |
Optional |
|
0.88.2-1ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of why3 0.88.3-1ubuntu1 in ubuntu bionic PROPOSED
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|
|
2018-04-07 05:49:10 UTC |
Superseded |
Ubuntu Bionic i386
|
release |
universe |
math |
Optional |
|
0.87.3-2ubuntu4
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of why3 0.88.3-1ubuntu4 in ubuntu bionic PROPOSED
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|
|
2018-04-08 06:10:12 UTC |
Deleted |
Ubuntu Bionic i386
|
proposed |
universe |
math |
Optional |
|
0.87.3-2ubuntu4
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
-
Copied from
ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
|
|
2017-11-05 02:27:33 UTC |
Superseded |
Ubuntu Bionic i386
|
release |
universe |
math |
Optional |
|
0.87.3-2ubuntu3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by amd64 build of why3 0.87.3-2ubuntu4 in ubuntu bionic PROPOSED
-
Published
-
Copied from
ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
|