forked from pool/flocq
- Update to version 4.2.0. * Added SF2B' as a proof-free variant of SF2B. * Fixed installation of Pff2Flocq. * Ensured compatibility from Coq 8.12 to 8.20. OBS-URL: https://build.opensuse.org/request/show/1189653 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/flocq?expand=0&rev=8 |
||
---|---|---|
.gitattributes | ||
.gitignore | ||
flocq-4.2.0.tar.gz | ||
flocq-rpmlintrc | ||
flocq.changes | ||
flocq.spec |