Paquet virtuel : libcoq-coqprime-1eev3

Paquet « expérimental »

Avertissement : ce paquet appartient à la distribution expérimentale. Cela signifie qu'il peut être instable ou bogué et peut éventuellement causer des pertes de données. Assurez-vous de consulter le journal des modifications (changelog) et les autres documentations existantes avant de l'utiliser.

This is a virtual package. See the Debian policy for a definition of virtual packages.

Paquets fournissant libcoq-coqprime-1eev3

libcoq-coqprime

Primality certification for Coq (library)