flocq packages - Repology

Summary: Formalization of floating point numbers for Coq
Category: Unspecified
License: LGPL-3.0-or-later
Link(s): Package page Package sources Package recipe Package recipe (raw) <a href="https://kojipkgs.fedoraproject.org/packages/flocq/4.2.2/7.fc46/data/logs/">Package build logs Upstream homepage

repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th