Ubuntu

libaac-tactics-coq binary package in Ubuntu Eoan arm64

Eoan (19.10)
arm64
libaac-tactics-coq

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-12-29 14:18:15 UTC	Obsolete	Ubuntu Eoan arm64	release	universe	math	Optional	8.8.0+1.gbp069dc3b-1build4
Removed from disk on 2020-12-29. Removal requested on 2020-12-29. Published on 2019-09-02 Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu
	2020-12-29 18:10:09 UTC	Deleted	Ubuntu Eoan arm64	proposed	universe	math	Optional	8.8.0+1.gbp069dc3b-1build4
Removed from disk on 2020-12-29. Removal requested on 2019-09-02. Deleted on 2019-09-02 by Ubuntu Archive Robot moved to release Published on 2019-08-21 Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu
	2019-08-21 17:18:31 UTC	Superseded	Ubuntu Eoan arm64	proposed	universe	math	Optional	8.8.0+1.gbp069dc3b-1build3
Removed from disk on 2019-08-22. Removal requested on 2019-08-22. Superseded on 2019-08-21 by amd64 build of aac-tactics 8.8.0+1.gbp069dc3b-1build4 in ubuntu eoan PROPOSED Published on 2019-08-05 Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu
	2019-09-02 20:58:57 UTC	Superseded	Ubuntu Eoan arm64	release	universe	math	Optional	8.8.0+1.gbp069dc3b-1build2
Removed from disk on 2019-09-04. Removal requested on 2019-09-03. Superseded on 2019-09-02 by amd64 build of aac-tactics 8.8.0+1.gbp069dc3b-1build4 in ubuntu eoan PROPOSED Published on 2019-07-29 Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu
	2019-09-04 00:10:09 UTC	Deleted	Ubuntu Eoan arm64	proposed	universe	math	Optional	8.8.0+1.gbp069dc3b-1build2
Removed from disk on 2019-09-04. Removal requested on 2019-07-29. Deleted on 2019-07-29 by Ubuntu Archive Robot moved to release Published on 2019-07-29 Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu
	2019-07-29 14:13:27 UTC	Superseded	Ubuntu Eoan arm64	proposed	universe	math	Optional	8.8.0+1.gbp069dc3b-1build1
Removed from disk on 2019-07-30. Removal requested on 2019-07-30. Superseded on 2019-07-29 by amd64 build of aac-tactics 8.8.0+1.gbp069dc3b-1build2 in ubuntu eoan PROPOSED Published on 2019-07-26 Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu
	2019-07-26 22:08:28 UTC	Superseded	Ubuntu Eoan arm64	proposed	universe	math	Optional	8.8.0+1.gbp069dc3b-1
Removed from disk on 2019-07-28. Removal requested on 2019-07-27. Superseded on 2019-07-26 by amd64 build of aac-tactics 8.8.0+1.gbp069dc3b-1build1 in ubuntu eoan PROPOSED Published on 2019-04-18 Copied from ubuntu disco-proposed amd64 in Primary Archive for Ubuntu
	2019-07-29 22:48:41 UTC	Superseded	Ubuntu Eoan arm64	release	universe	math	Optional	8.6.1-2
Removal requested on 2019-07-30. Superseded on 2019-07-29 by amd64 build of aac-tactics 8.8.0+1.gbp069dc3b-1build2 in ubuntu eoan PROPOSED Published on 2019-04-18 Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu