Ubuntu

why3-coq-dbgsym binary package in Ubuntu Bionic arm64

Bionic (18.04)
arm64
why3-coq-dbgsym

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2018-04-07 05:48:55 UTC	Published	Ubuntu Bionic arm64	release	universe	math	Optional		0.88.3-1ubuntu4
Published on 2018-04-07 Copied from ubuntu bionic-proposed arm64 in Primary Archive for Ubuntu
	2018-04-07 02:19:41 UTC	Superseded	Ubuntu Bionic arm64	proposed	universe	math	Optional		0.88.3-1ubuntu3
Removed from disk on 2018-04-08. Removal requested on 2018-04-08. Superseded on 2018-04-07 by arm64 build of why3 0.88.3-1ubuntu4 in ubuntu bionic PROPOSED Published on 2018-04-07
		Deleted	Ubuntu Bionic arm64	proposed	universe	math	Optional		0.88.3-1ubuntu4
Removal requested on 2018-04-07. Deleted on 2018-04-07 by Ubuntu Archive Robot moved to release Published on 2018-04-07
	2018-04-07 02:19:41 UTC	Superseded	Ubuntu Bionic arm64	proposed	universe	math	Optional		0.88.3-1ubuntu2
Removed from disk on 2018-04-08. Removal requested on 2018-04-08. Superseded on 2018-04-07 by arm64 build of why3 0.88.3-1ubuntu4 in ubuntu bionic PROPOSED Published on 2018-03-23
	2018-03-23 07:15:12 UTC	Superseded	Ubuntu Bionic arm64	proposed	universe	math	Optional		0.88.3-1ubuntu1
Removed from disk on 2018-03-24. Removal requested on 2018-03-24. Superseded on 2018-03-23 by arm64 build of why3 0.88.3-1ubuntu2 in ubuntu bionic PROPOSED Published on 2018-01-30
	2018-01-30 10:36:14 UTC	Superseded	Ubuntu Bionic arm64	proposed	universe	math	Optional		0.88.2-1ubuntu1
Removed from disk on 2018-01-31. Removal requested on 2018-01-31. Superseded on 2018-01-30 by arm64 build of why3 0.88.3-1ubuntu1 in ubuntu bionic PROPOSED Published on 2017-12-14
	2018-04-07 05:49:10 UTC	Superseded	Ubuntu Bionic arm64	release	universe	math	Optional		0.87.3-2ubuntu4
Removed from disk on 2018-04-08. Removal requested on 2018-04-08. Superseded on 2018-04-07 by arm64 build of why3 0.88.3-1ubuntu4 in ubuntu bionic PROPOSED Published on 2017-11-05 Copied from ubuntu bionic-proposed arm64 in Primary Archive for Ubuntu
	2018-04-08 06:10:12 UTC	Deleted	Ubuntu Bionic arm64	proposed	universe	math	Optional		0.87.3-2ubuntu4
Removed from disk on 2018-04-08. Removal requested on 2017-11-05. Deleted on 2017-11-05 by Ubuntu Archive Robot moved to release Published on 2017-10-28

Source package

why3 package in Ubuntu