Ubuntu

libwhy-coq binary package in Ubuntu Artful ppc64el

Artful (17.10)
ppc64el
libwhy-coq

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2017-10-30 00:10:10 UTC	Deleted	Ubuntu Artful ppc64el	proposed	universe	libdevel	Optional	2.39-2
Removed from disk on 2017-10-30. Removal requested on 2017-10-25. Deleted on 2017-10-25 by Adam Conrad Moved to bionic-proposed Published on 2017-10-16 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-08-31 18:10:10 UTC	Deleted	Ubuntu Artful ppc64el	release	universe	libdevel	Optional	2.38-1ubuntu1
Removed from disk on 2017-08-31. Removal requested on 2017-08-31. Deleted on 2017-08-31 by Steve Langasek FTBFS, uninstallable with new coq, removed from Debian testing; Debian bug #872281, LP: #1714223 Published on 2017-07-18 Copied from ubuntu artful-release amd64 in 2865 - 2017-07-14
	2017-08-31 18:10:10 UTC	Deleted	Ubuntu Artful ppc64el	proposed	universe	libdevel	Optional	2.38-1ubuntu1
Removed from disk on 2017-08-31. Removal requested on 2017-07-18. Deleted on 2017-07-18 by Ubuntu Archive Robot moved to release Published on 2017-07-18 Copied from ubuntu artful-release amd64 in 2865 - 2017-07-14
	2017-07-18 01:18:26 UTC	Superseded	Ubuntu Artful ppc64el	proposed	universe	libdevel	Optional	2.38-1build3
Removed from disk on 2017-07-19. Removal requested on 2017-07-19. Superseded on 2017-07-18 by amd64 build of why 2.38-1ubuntu1 in ubuntu artful RELEASE Published on 2017-07-16 Copied from ubuntu artful-release amd64 in 2865 - 2017-07-14
	2017-07-16 22:43:14 UTC	Superseded	Ubuntu Artful ppc64el	proposed	universe	libdevel	Optional	2.38-1build2
Removed from disk on 2017-07-18. Removal requested on 2017-07-17. Superseded on 2017-07-16 by amd64 build of why 2.38-1build3 in ubuntu artful RELEASE Published on 2017-07-03 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-07-18 04:38:29 UTC	Superseded	Ubuntu Artful ppc64el	release	universe	libdevel	Optional	2.38-1build1
Removed from disk on 2017-07-19. Removal requested on 2017-07-19. Superseded on 2017-07-18 by amd64 build of why 2.38-1ubuntu1 in ubuntu artful RELEASE Published on 2017-06-24 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-07-19 06:10:10 UTC	Deleted	Ubuntu Artful ppc64el	proposed	universe	libdevel	Optional	2.38-1build1
Removed from disk on 2017-07-19. Removal requested on 2017-06-24. Deleted on 2017-06-24 by Ubuntu Archive Robot moved to release Published on 2017-06-05 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-06-16 18:10:10 UTC	Deleted	Ubuntu Artful ppc64el	release	universe	libdevel	Optional	2.38-1
Removed from disk on 2017-06-16. Removal requested on 2017-06-16. Deleted on 2017-06-16 by Adam Conrad Uninstallable in artful; removed from testing Published on 2017-06-02 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-06-16 18:10:10 UTC	Deleted	Ubuntu Artful ppc64el	proposed	universe	libdevel	Optional	2.38-1
Removed from disk on 2017-06-16. Removal requested on 2017-06-02. Deleted on 2017-06-02 by Ubuntu Archive Robot moved to release Published on 2017-04-30 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-05-03 11:49:57 UTC	Superseded	Ubuntu Artful ppc64el	proposed	universe	libdevel	Optional	2.36-5build2
Removed from disk on 2017-05-04. Removal requested on 2017-05-04. Superseded on 2017-05-03 by amd64 build of why 2.38-1 in ubuntu artful PROPOSED Published on 2017-04-21 Copied from ubuntu zesty-proposed amd64 in Primary Archive for Ubuntu