Ubuntu

libwhy3-ocaml-dev binary package in Ubuntu Disco s390x

Disco (19.04)
s390x
libwhy3-ocaml-dev

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2019-07-26 00:10:09 UTC	Deleted	Ubuntu Disco s390x	proposed	universe	ocaml	Optional	1.2.0-1
Removed from disk on 2019-07-26. Removal requested on 2019-04-19. Deleted on 2019-04-19 by Adam Conrad moved to eoan-proposed Published on 2019-02-16
	2019-02-16 05:18:32 UTC	Superseded	Ubuntu Disco s390x	proposed	universe	ocaml	Optional	1.1.1-4
Removed from disk on 2019-02-17. Removal requested on 2019-02-17. Superseded on 2019-02-16 by s390x build of why3 1.2.0-1 in ubuntu disco PROPOSED Published on 2019-02-07
	2019-02-07 17:30:25 UTC	Superseded	Ubuntu Disco s390x	proposed	universe	ocaml	Optional	1.1.1-2
Removed from disk on 2019-02-08. Removal requested on 2019-02-08. Superseded on 2019-02-07 by s390x build of why3 1.1.1-4 in ubuntu disco PROPOSED Published on 2019-01-11
	2019-01-11 05:19:11 UTC	Superseded	Ubuntu Disco s390x	proposed	universe	ocaml	Optional	1.1.1-1
Removed from disk on 2019-01-12. Removal requested on 2019-01-12. Superseded on 2019-01-11 by s390x build of why3 1.1.1-2 in ubuntu disco PROPOSED Published on 2018-12-18
	2018-12-18 18:48:19 UTC	Superseded	Ubuntu Disco s390x	proposed	universe	ocaml	Optional	1.1.0-1build1
Removed from disk on 2018-12-20. Removal requested on 2018-12-19. Superseded on 2018-12-18 by s390x build of why3 1.1.1-1 in ubuntu disco PROPOSED Published on 2018-11-25
	2018-11-25 15:38:17 UTC	Superseded	Ubuntu Disco s390x	proposed	universe	ocaml	Optional	1.1.0-1
Removed from disk on 2018-11-26. Removal requested on 2018-11-26. Superseded on 2018-11-25 by s390x build of why3 1.1.0-1build1 in ubuntu disco PROPOSED Published on 2018-11-09
	2018-11-09 16:03:02 UTC	Superseded	Ubuntu Disco s390x	proposed	universe	ocaml	Optional	1.0.0-2.1~build1
Removed from disk on 2018-11-10. Removal requested on 2018-11-10. Superseded on 2018-11-09 by s390x build of why3 1.1.0-1 in ubuntu disco PROPOSED Published on 2018-10-30 Copied from ubuntu cosmic-proposed s390x in Primary Archive for Ubuntu
	2020-07-14 06:39:25 UTC	Obsolete	Ubuntu Disco s390x	release	universe	ocaml	Optional	0.88.3-3ubuntu1
Removed from disk on 2020-07-14. Removal requested on 2020-07-14. Published on 2018-10-30 Copied from ubuntu cosmic-proposed s390x in Primary Archive for Ubuntu