Ubuntu

libcoq-mathcomp-bigenough binary package in Ubuntu Kinetic riscv64

Kinetic (22.10)
riscv64
libcoq-mathcomp-bigenough

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2023-11-13 12:55:48 UTC	Obsolete	Ubuntu Kinetic riscv64	release	universe	ocaml	Optional	1.0.1-8build1
Removed from disk on 2024-01-11. Removal requested on 2023-11-13. Published on 2022-07-19 Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
	2024-01-11 06:10:17 UTC	Deleted	Ubuntu Kinetic riscv64	proposed	universe	ocaml	Optional	1.0.1-8build1
Removed from disk on 2024-01-11. Removal requested on 2022-07-19. Deleted on 2022-07-19 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-07-19
	2022-07-19 00:45:43 UTC	Superseded	Ubuntu Kinetic riscv64	proposed	universe	ocaml	Optional	1.0.1-8
Removed from disk on 2022-07-20. Removal requested on 2022-07-20. Superseded on 2022-07-19 by riscv64 build of mathcomp-bigenough 1.0.1-8build1 in ubuntu kinetic PROPOSED Published on 2022-07-05
	2022-07-19 19:28:57 UTC	Superseded	Ubuntu Kinetic riscv64	release	universe	ocaml	Optional	1.0.1-7
Removed from disk on 2022-07-21. Removal requested on 2022-07-20. Superseded on 2022-07-19 by riscv64 build of mathcomp-bigenough 1.0.1-8build1 in ubuntu kinetic PROPOSED Published on 2022-06-27 Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
	2022-07-21 00:10:10 UTC	Deleted	Ubuntu Kinetic riscv64	proposed	universe	ocaml	Optional	1.0.1-7
Removed from disk on 2022-07-21. Removal requested on 2022-06-27. Deleted on 2022-06-27 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-06-27
	2022-06-27 23:24:04 UTC	Superseded	Ubuntu Kinetic riscv64	release	universe	ocaml	Optional	1.0.1-6
Removed from disk on 2022-06-29. Removal requested on 2022-06-28. Superseded on 2022-06-27 by riscv64 build of mathcomp-bigenough 1.0.1-7 in ubuntu kinetic PROPOSED Published on 2022-06-03 Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
	2022-06-29 00:10:10 UTC	Deleted	Ubuntu Kinetic riscv64	proposed	universe	ocaml	Optional	1.0.1-6
Removed from disk on 2022-06-29. Removal requested on 2022-06-03. Deleted on 2022-06-03 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-06-03
	2022-06-03 18:04:22 UTC	Superseded	Ubuntu Kinetic riscv64	release	universe	ocaml	Optional	1.0.1-5
Removed from disk on 2022-06-04. Removal requested on 2022-06-04. Superseded on 2022-06-03 by riscv64 build of mathcomp-bigenough 1.0.1-6 in ubuntu kinetic PROPOSED Published on 2022-05-23 Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu
	2022-06-04 18:10:09 UTC	Deleted	Ubuntu Kinetic riscv64	proposed	universe	ocaml	Optional	1.0.1-5
Removed from disk on 2022-06-04. Removal requested on 2022-05-23. Deleted on 2022-05-23 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-05-23