flocq-source Subpackage of flocq
Source Coq files
This package contains the source Coq files for flocq. These files are not needed to use flocq. They are made available for informational purposes.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 3.4.2-8.fc36 | - |
| Fedora 35 | 3.4.2-3.fc35 | - |
| Fedora 34 | 3.4.0-4.fc34 | - |
Package Info
Related Packages
- Upstream: https://gitlab.inria.fr/flocq/flocq
- License(s): LGPLv3+
- Maintainer: jjames
Related Packages
You can contact the maintainers of this package via email at
flocq dash maintainers at fedoraproject dot org.
Sources on Pagure