|
2019-07-16 18:10:10 UTC |
Deleted |
Eoan
|
proposed |
universe |
math |
2.40-4
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Steve Langasek
(From Debian) ROM; RC-buggy, abandonned by upstream; Debian bug #929300
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Adam Conrad
|
|
2020-07-14 12:10:11 UTC |
Deleted |
Eoan
|
release |
universe |
math |
2.40-3build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Steve Langasek
(From Debian) ROM; RC-buggy, abandonned by upstream; Debian bug #929300
-
Published
-
Copied from
ubuntu disco in
Primary Archive for Ubuntu
|
|
2019-07-16 18:10:10 UTC |
Deleted |
Disco
|
proposed |
universe |
math |
2.40-4
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Adam Conrad
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Jeremy BĂcha
|
|
2019-02-23 15:43:15 UTC |
Superseded |
Disco
|
proposed |
universe |
math |
2.40-3build2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.40-4
-
Published
|
|
2020-07-14 06:39:25 UTC |
Obsolete |
Disco
|
release |
universe |
math |
2.40-3build1
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Published
|
|
2020-07-14 12:10:11 UTC |
Deleted |
Disco
|
proposed |
universe |
math |
2.40-3build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2018-11-23 03:58:16 UTC |
Superseded |
Disco
|
release |
universe |
math |
2.40-3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.40-3build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2020-07-13 02:35:12 UTC |
Obsolete |
Cosmic
|
release |
universe |
math |
2.40-3
|
|
|
2020-07-13 06:10:10 UTC |
Deleted |
Cosmic
|
proposed |
universe |
math |
2.40-3
|
|
|
2018-05-13 17:34:08 UTC |
Superseded |
Cosmic
|
proposed |
universe |
math |
2.40-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.40-3
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2018-05-12 17:29:01 UTC |
Superseded |
Cosmic
|
proposed |
universe |
math |
2.40-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.40-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2018-05-13 21:14:23 UTC |
Superseded |
Cosmic
|
release |
universe |
math |
2.39-2build2
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.40-3
-
Published
|
|
2018-05-15 00:10:10 UTC |
Deleted |
Cosmic
|
proposed |
universe |
math |
2.39-2build2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2018-05-04 13:19:01 UTC |
Superseded |
Cosmic
|
release |
universe |
math |
2.39-2build1
|
-
Removal requested
.
-
Superseded
by why - 2.39-2build2
-
Published
-
Copied from
ubuntu bionic in
Primary Archive for Ubuntu
|
|
2018-02-02 03:08:42 UTC |
Published |
Bionic
|
release |
universe |
math |
2.39-2build1
|
|
|
|
Deleted |
Bionic
|
proposed |
universe |
math |
2.39-2build1
|
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2017-10-28 18:05:29 UTC |
Superseded |
Bionic
|
proposed |
universe |
math |
2.39-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.39-2build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Adam Conrad
|
|
2017-10-30 00:10:10 UTC |
Deleted |
Artful
|
proposed |
universe |
math |
2.39-2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Adam Conrad
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Matthias Klose
|
|
2017-09-01 06:10:12 UTC |
Deleted |
Artful
|
proposed |
universe |
math |
2.38-1ubuntu2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Steve Langasek
FTBFS, uninstallable with new coq, removed from Debian testing; Debian bug #872281, LP: #1714223
-
Published
|
|
2017-08-31 18:10:10 UTC |
Deleted |
Artful
|
release |
universe |
math |
2.38-1ubuntu1
|
|
|
2017-08-31 18:10:10 UTC |
Deleted |
Artful
|
proposed |
universe |
math |
2.38-1ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
-
Copied from
ubuntu artful in
2865 - 2017-07-14
by Dimitri John Ledkov
|
|
2017-07-18 01:18:26 UTC |
Superseded |
Artful
|
proposed |
universe |
math |
2.38-1build3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.38-1ubuntu1
-
Published
-
Copied from
ubuntu artful in
2865 - 2017-07-14
by Dimitri John Ledkov
|
|
2017-07-16 22:43:14 UTC |
Superseded |
Artful
|
proposed |
universe |
math |
2.38-1build2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.38-1build3
-
Published
|
|
2017-07-18 04:38:29 UTC |
Superseded |
Artful
|
release |
universe |
math |
2.38-1build1
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.38-1ubuntu1
-
Published
|
|
2017-07-19 06:10:10 UTC |
Deleted |
Artful
|
proposed |
universe |
math |
2.38-1build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2017-06-16 18:10:10 UTC |
Deleted |
Artful
|
release |
universe |
math |
2.38-1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Adam Conrad
Uninstallable in artful; removed from testing
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2017-06-16 18:10:10 UTC |
Deleted |
Artful
|
proposed |
universe |
math |
2.38-1
|
|
|
2017-04-30 00:03:00 UTC |
Superseded |
Artful
|
proposed |
universe |
math |
2.36-5build2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.38-1
-
Published
-
Copied from
ubuntu zesty in
Primary Archive for Ubuntu
by Adam Conrad
|
|
2017-06-02 20:58:17 UTC |
Superseded |
Artful
|
release |
universe |
math |
2.34-4ubuntu5
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.38-1
-
Published
-
Copied from
ubuntu yakkety in
Primary Archive for Ubuntu
|
|
2017-05-04 12:10:11 UTC |
Deleted |
Zesty
|
proposed |
universe |
math |
2.36-5build2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Adam Conrad
-
Published
|
|
2017-02-02 07:03:52 UTC |
Superseded |
Zesty
|
proposed |
universe |
math |
2.36-5build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.36-5build2
-
Published
|
|
2017-01-09 09:43:15 UTC |
Superseded |
Zesty
|
proposed |
universe |
math |
2.36-5
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.36-5build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2016-12-27 17:18:31 UTC |
Superseded |
Zesty
|
proposed |
universe |
math |
2.36-3build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.36-5
-
Published
|
|
2016-12-21 20:53:16 UTC |
Superseded |
Zesty
|
proposed |
universe |
math |
2.36-3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.36-3build1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2016-12-18 23:34:28 UTC |
Superseded |
Zesty
|
proposed |
universe |
math |
2.36-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.36-3
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Steve Langasek
|
|
2018-06-22 04:55:56 UTC |
Obsolete |
Zesty
|
release |
universe |
math |
2.34-4ubuntu5
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
ubuntu yakkety in
Primary Archive for Ubuntu
|
|
2018-01-23 00:52:03 UTC |
Obsolete |
Yakkety
|
release |
universe |
math |
2.34-4ubuntu5
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Published
|
|
2018-06-22 12:10:09 UTC |
Deleted |
Yakkety
|
proposed |
universe |
math |
2.34-4ubuntu5
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2016-07-11 01:36:58 UTC |
Superseded |
Yakkety
|
release |
universe |
math |
2.34-4ubuntu4
|
-
Removal requested
.
-
Superseded
by why - 2.34-4ubuntu5
-
Published
-
Copied from
ubuntu xenial in
Primary Archive for Ubuntu
|
|
2016-02-23 18:23:47 UTC |
Published |
Xenial
|
release |
universe |
math |
2.34-4ubuntu4
|
|
|
|
Deleted |
Xenial
|
proposed |
universe |
math |
2.34-4ubuntu4
|
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2016-02-23 16:59:12 UTC |
Superseded |
Xenial
|
proposed |
universe |
math |
2.34-4ubuntu3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.34-4ubuntu4
-
Published
|
|
2016-02-23 15:16:31 UTC |
Superseded |
Xenial
|
proposed |
universe |
math |
2.34-4ubuntu2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.34-4ubuntu3
-
Published
|
|
2016-02-23 18:25:13 UTC |
Superseded |
Xenial
|
release |
universe |
math |
2.34-4ubuntu1
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.34-4ubuntu4
-
Published
|
|
2016-02-25 06:10:11 UTC |
Deleted |
Xenial
|
proposed |
universe |
math |
2.34-4ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2015-11-13 12:20:14 UTC |
Superseded |
Xenial
|
release |
universe |
math |
2.34-2ubuntu3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.34-4ubuntu1
-
Published
-
Copied from
ubuntu wily in
Primary Archive for Ubuntu
|
|
2018-01-22 04:16:43 UTC |
Obsolete |
Wily
|
release |
universe |
math |
2.34-2ubuntu3
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Published
|
|
2018-01-22 06:10:09 UTC |
Deleted |
Wily
|
proposed |
universe |
math |
2.34-2ubuntu3
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2015-09-07 13:24:02 UTC |
Superseded |
Wily
|
proposed |
universe |
math |
2.34-2ubuntu2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.34-2ubuntu3
-
Published
|
|
2015-09-08 10:04:47 UTC |
Superseded |
Wily
|
release |
universe |
math |
2.34-2ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.34-2ubuntu3
-
Published
-
Copied from
ubuntu utopic in
Primary Archive for Ubuntu
|
|
2018-01-18 23:34:00 UTC |
Obsolete |
Vivid
|
release |
universe |
math |
2.34-2ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
ubuntu utopic in
Primary Archive for Ubuntu
|
|
2016-11-03 06:09:53 UTC |
Obsolete |
Utopic
|
release |
universe |
math |
2.34-2ubuntu1
|
-
Created
by Ubuntu Archive Auto-Sync
-
Removed from disk
.
-
Removal requested
.
-
Published
|
|
2018-01-19 06:10:09 UTC |
Deleted |
Utopic
|
proposed |
universe |
math |
2.34-2ubuntu1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Ubuntu Archive Robot
-
Published
|
|
2014-08-15 10:03:28 UTC |
Superseded |
Utopic
|
proposed |
universe |
math |
2.34-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.34-2ubuntu1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2014-08-15 10:58:55 UTC |
Superseded |
Utopic
|
release |
universe |
math |
2.34-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.34-2ubuntu1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Ubuntu Archive Robot)
|
|
2014-08-16 12:10:09 UTC |
Deleted |
Utopic
|
proposed |
universe |
math |
2.34-1
|
|
|
2014-04-30 11:24:18 UTC |
Superseded |
Utopic
|
proposed |
universe |
math |
2.33-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.34-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Adam Conrad
|
|
2014-05-01 18:10:10 UTC |
Deleted |
Trusty
|
proposed |
universe |
math |
2.33-2
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Adam Conrad
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Colin Watson
|
|
2014-02-19 12:50:47 UTC |
Superseded |
Trusty
|
proposed |
universe |
math |
2.33-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.33-2
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Colin Watson
|
|
2014-02-14 11:09:21 UTC |
Superseded |
Trusty
|
proposed |
universe |
math |
2.30+dfsg-5build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.33-1
-
Published
-
Copied from
ubuntu saucy in
Primary Archive for Ubuntu
by Adam Conrad
|
|
2014-02-15 12:10:09 UTC |
Deleted |
Saucy
|
proposed |
universe |
math |
2.30+dfsg-5build1
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Adam Conrad
-
Published
|
|
2015-04-28 07:58:07 UTC |
Deleted |
Saucy
|
release |
universe |
math |
2.30+dfsg-5
|
-
Removed from disk
.
-
Removal requested
.
-
Deleted
by Colin Watson
fails to build against new coq; see Debian #707585, #709618
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2015-04-24 12:12:58 UTC |
Obsolete |
Raring
|
release |
universe |
math |
2.30+dfsg-5
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2015-04-24 11:19:49 UTC |
Obsolete |
Quantal
|
release |
universe |
math |
2.30+dfsg-5
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Colin Watson)
|
|
2012-05-24 18:30:27 UTC |
Superseded |
Quantal
|
release |
universe |
math |
2.30+dfsg-4
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.30+dfsg-5
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Ubuntu Archive Auto-Sync
(sponsored by Colin Watson)
|
|
2012-05-01 00:13:35 UTC |
Superseded |
Quantal
|
release |
universe |
math |
2.30+dfsg-3
|
-
Removal requested
.
-
Superseded
by why - 2.30+dfsg-4
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2012-01-17 16:06:37 UTC |
Published |
Precise
|
release |
universe |
math |
2.30+dfsg-3
|
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Mehdi
|
|
2012-01-17 16:08:11 UTC |
Superseded |
Precise
|
release |
universe |
math |
2.30+dfsg-1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.30+dfsg-3
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
by Mehdi
|
|
2012-01-07 13:34:24 UTC |
Superseded |
Precise
|
release |
universe |
math |
2.29+dfsg-4build1
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.30+dfsg-1
-
Published
|
|
2011-11-19 19:05:07 UTC |
Superseded |
Precise
|
release |
universe |
math |
2.29+dfsg-4
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.29+dfsg-4build1
-
Published
|
|
2011-11-10 17:11:17 UTC |
Superseded |
Precise
|
release |
universe |
math |
2.29+dfsg-3
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.29+dfsg-4
-
Published
-
Copied from
ubuntu oneiric in
Primary Archive for Ubuntu
|
|
2015-04-24 09:57:35 UTC |
Obsolete |
Oneiric
|
release |
universe |
math |
2.29+dfsg-3
|
-
Removed from disk
.
-
Removal requested
.
-
Published
|
|
2011-04-30 19:08:17 UTC |
Superseded |
Oneiric
|
release |
universe |
math |
2.26+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by why - 2.29+dfsg-3
-
Published
-
Copied from
ubuntu maverick in
Primary Archive for Ubuntu
|
|
2013-06-04 02:07:47 UTC |
Obsolete |
Natty
|
release |
universe |
math |
2.26+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Published
-
Copied from
ubuntu maverick in
Primary Archive for Ubuntu
|
|
2013-03-05 01:38:15 UTC |
Obsolete |
Maverick
|
release |
universe |
math |
2.26+dfsg-2
|
-
Removed from disk
.
-
Removal requested
.
-
Published
|