Paquet virtuel : libcoq-gappa-t9wa3

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-gappa-t9wa3

libcoq-gappa

Coq tactic to use Gappa for floating-point goals