flocq-source Subpackage of flocq
Source Rocq files
This package contains the source Rocq 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.2-1.fc45 | - |
| Fedora 44 | 4.2.1-8.fc44 | 4.2.2-1.fc44 |
| Fedora 43 | 4.2.1-5.fc43 | - |
| Fedora 42 | 4.2.1-1.fc42 | - |
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