Ubuntu

libcoq-coqprime binary package in Ubuntu Oracular armhf

Oracular (24.10)
armhf
libcoq-coqprime

Coqprime consists in:
  - a library of facts from number theory
  - a library for elliptic curves
  - an efficient library for modular arithmetic
  - tools to generate Pocklington and elliptic curve
certificates of primality
.
Coq is a proof assistant for higher-order logic.
.
This package contains the Coq library part.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2024-09-07 12:10:12 UTC	Deleted	Ubuntu Oracular armhf	release	universe	ocaml	Optional	8.19-2
Removed from disk on 2024-09-07. Removal requested on 2024-09-07. Deleted on 2024-09-07 by Matthias Klose remove ocaml/coq NBS binaries on armhf Published on 2024-08-06 Copied from ubuntu oracular-proposed armhf in Primary Archive for Ubuntu
	2024-09-07 12:10:12 UTC	Deleted	Ubuntu Oracular armhf	proposed	universe	ocaml	Optional	8.19-2
Removed from disk on 2024-09-07. Removal requested on 2024-08-06. Deleted on 2024-08-05 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-08-04
	2024-08-06 00:52:16 UTC	Superseded	Ubuntu Oracular armhf	release	universe	ocaml	Optional	8.19-1build3
Removed from disk on 2024-08-07. Removal requested on 2024-08-07. Superseded on 2024-08-06 by armhf build of coqprime 8.19-2 in ubuntu oracular PROPOSED Published on 2024-06-30 Copied from ubuntu oracular-proposed armhf in Primary Archive for Ubuntu
	2024-08-07 00:10:32 UTC	Deleted	Ubuntu Oracular armhf	proposed	universe	ocaml	Optional	8.19-1build3
Removed from disk on 2024-08-07. Removal requested on 2024-06-30. Deleted on 2024-06-30 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-06-30
	2024-06-30 16:03:26 UTC	Superseded	Ubuntu Oracular armhf	release	universe	ocaml	Optional	8.19-1build2
Removed from disk on 2024-07-01. Removal requested on 2024-07-01. Superseded on 2024-06-30 by armhf build of coqprime 8.19-1build3 in ubuntu oracular PROPOSED Published on 2024-06-17 Copied from ubuntu oracular-proposed armhf in Primary Archive for Ubuntu
	2024-07-01 18:10:21 UTC	Deleted	Ubuntu Oracular armhf	proposed	universe	ocaml	Optional	8.19-1build2
Removed from disk on 2024-07-01. Removal requested on 2024-06-17. Deleted on 2024-06-17 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-06-15
	2024-06-17 22:24:20 UTC	Superseded	Ubuntu Oracular armhf	release	universe	ocaml	Optional	8.19-1build1
Removed from disk on 2024-06-19. Removal requested on 2024-06-18. Superseded on 2024-06-17 by armhf build of coqprime 8.19-1build2 in ubuntu oracular PROPOSED Published on 2024-05-21 Copied from ubuntu oracular-proposed armhf in Primary Archive for Ubuntu
	2024-06-19 00:10:16 UTC	Deleted	Ubuntu Oracular armhf	proposed	universe	ocaml	Optional	8.19-1build1
Removed from disk on 2024-06-19. Removal requested on 2024-05-21. Deleted on 2024-05-21 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-05-13
	2024-05-13 19:24:28 UTC	Superseded	Ubuntu Oracular armhf	proposed	universe	ocaml	Optional	8.19-1
Removed from disk on 2024-05-15. Removal requested on 2024-05-14. Superseded on 2024-05-13 by armhf build of coqprime 8.19-1build1 in ubuntu oracular PROPOSED Published on 2024-05-09
	2024-05-21 01:46:35 UTC	Superseded	Ubuntu Oracular armhf	release	universe	ocaml	Optional	8.18-1build3
Removal requested on 2024-05-22. Superseded on 2024-05-21 by armhf build of coqprime 8.19-1build1 in ubuntu oracular PROPOSED Published on 2024-05-08 Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu