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.1.4-1.fc40 | - |
| Fedora 40 | 4.1.4-1.fc40 | - |
| Fedora 39 | 4.1.3-1.fc39 | - |
| Fedora 38 | 4.1.1-2.fc38 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: https://gitlab.inria.fr/flocq/flocq
- 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