Ubuntu

libcoq-mathcomp-classical binary package in Ubuntu Noble arm64

Noble (24.04)
arm64
libcoq-mathcomp-classical

This package provides an extension for work with classical logic
within the Coq proof-assistant using the Mathematical Components
library.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2024-04-10 09:32:36 UTC	Published	Ubuntu Noble arm64	release	universe	ocaml	Optional	1.0.0-1build4
Published on 2024-04-10 Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	1.0.0-1build4
Removal requested on 2024-04-10. Deleted on 2024-04-10 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-04-08
	2024-04-10 00:10:21 UTC	Deleted	Ubuntu Noble arm64	updates	universe	ocaml	Optional	1.0.0-1build1
Removed from disk on 2024-04-10. Removal requested on 2024-04-09. Deleted on 2024-04-09 by Steve Langasek superseded by release Published on 2024-03-30 Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
	2024-04-10 09:33:10 UTC	Superseded	Ubuntu Noble arm64	release	universe	ocaml	Optional	1.0.0-1build2
Removed from disk on 2024-04-11. Removal requested on 2024-04-11. Superseded on 2024-04-10 by arm64 build of mathcomp-analysis 1.0.0-1build4 in ubuntu noble PROPOSED Published on 2024-03-28 Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
	2024-04-11 12:10:19 UTC	Deleted	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	1.0.0-1build2
Removed from disk on 2024-04-11. Removal requested on 2024-03-28. Deleted on 2024-03-28 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-03-25
	2024-03-29 03:56:46 UTC	Superseded	Ubuntu Noble arm64	release	universe	ocaml	Optional	1.0.0-1build1
Removed from disk on 2024-04-10. Removal requested on 2024-03-30. Superseded on 2024-03-29 by arm64 build of mathcomp-analysis 1.0.0-1build2 in ubuntu noble PROPOSED Published on 2024-02-24 Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
	2024-04-10 00:10:21 UTC	Deleted	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	1.0.0-1build1
Removed from disk on 2024-04-10. Removal requested on 2024-02-24. Deleted on 2024-02-23 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-02-17
	2024-02-24 00:25:36 UTC	Superseded	Ubuntu Noble arm64	release	universe	ocaml	Optional	1.0.0-1
Removed from disk on 2024-02-25. Removal requested on 2024-02-25. Superseded on 2024-02-24 by arm64 build of mathcomp-analysis 1.0.0-1build1 in ubuntu noble PROPOSED Published on 2024-01-30 Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
	2024-02-25 00:10:14 UTC	Deleted	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	1.0.0-1
Removed from disk on 2024-02-25. Removal requested on 2024-01-30. Deleted on 2024-01-30 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-01-29
	2024-01-29 18:30:05 UTC	Superseded	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	1.0.0-1~build1
Removed from disk on 2024-01-31. Removal requested on 2024-01-30. Superseded on 2024-01-29 by arm64 build of mathcomp-analysis 1.0.0-1 in ubuntu noble PROPOSED Published on 2024-01-29
	2024-01-29 10:19:36 UTC	Superseded	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	0.6.4-3build7
Removed from disk on 2024-01-30. Removal requested on 2024-01-30. Superseded on 2024-01-29 by arm64 build of mathcomp-analysis 1.0.0-1~build1 in ubuntu noble PROPOSED Published on 2023-12-23
	2023-12-23 20:06:48 UTC	Superseded	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	0.6.4-3build6
Removed from disk on 2024-01-14. Removal requested on 2023-12-24. Superseded on 2023-12-23 by arm64 build of mathcomp-analysis 0.6.4-3build7 in ubuntu noble PROPOSED Published on 2023-12-23
	2024-01-30 03:30:24 UTC	Superseded	Ubuntu Noble arm64	release	universe	ocaml	Optional	0.6.4-3build5
Removed from disk on 2024-01-31. Removal requested on 2024-01-31. Superseded on 2024-01-30 by arm64 build of mathcomp-analysis 1.0.0-1 in ubuntu noble PROPOSED Published on 2023-11-25 Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
	2024-01-31 06:10:17 UTC	Deleted	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	0.6.4-3build5
Removed from disk on 2024-01-31. Removal requested on 2023-11-25. Deleted on 2023-11-25 by Ubuntu Archive Auto-Sync Moved to noble Published on 2023-11-23
	2023-11-23 11:44:37 UTC	Superseded	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	0.6.4-3build4
Removed from disk on 2024-01-13. Removal requested on 2023-11-24. Superseded on 2023-11-23 by arm64 build of mathcomp-analysis 0.6.4-3build5 in ubuntu noble PROPOSED Published on 2023-11-23
	2023-11-23 08:10:23 UTC	Superseded	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	0.6.4-3build3
Removed from disk on 2024-01-13. Removal requested on 2023-11-24. Superseded on 2023-11-23 by arm64 build of mathcomp-analysis 0.6.4-3build4 in ubuntu noble PROPOSED Published on 2023-11-23
	2023-11-23 00:06:07 UTC	Superseded	Ubuntu Noble arm64	proposed	universe	ocaml	Optional	0.6.4-3build2
Removed from disk on 2024-01-13. Removal requested on 2023-11-24. Superseded on 2023-11-23 by arm64 build of mathcomp-analysis 0.6.4-3build3 in ubuntu noble PROPOSED Published on 2023-11-15
	2023-11-25 08:38:20 UTC	Superseded	Ubuntu Noble arm64	release	universe	ocaml	Optional	0.6.4-3build1
Removal requested on 2023-11-26. Superseded on 2023-11-25 by arm64 build of mathcomp-analysis 0.6.4-3build5 in ubuntu noble PROPOSED Published on 2023-10-23 Copied from ubuntu mantic-proposed arm64 in Primary Archive for Ubuntu

Source package

mathcomp-analysis package in Ubuntu