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 | 4.2.1-1.fc43 | - |
| Fedora 42 | 4.2.1-1.fc42 | - |
| Fedora 41 | 4.2.0-3.fc41 | - |
| Fedora 40 | 4.1.4-1.fc40 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: https://flocq.gitlabpages.inria.fr/
- License(s): LGPL-3.0-or-later
- 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