lfsc-devel Subpackage of lfsc
Files needed to compile side conditions
This package contains the files needed to compile a version of lfsc that can execute a side condition.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 0.20230914-2.fc41 | - |
| Fedora 41 | 0.20230914-2.fc41 | - |
| Fedora 40 | 0.20230914-1.fc40 | 0.20230914-1.fc40 |
| Fedora 39 | 0.20230523-1.fc39 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: https://github.com/cvc5/LFSC
- License(s): BSD-3-Clause
- Maintainer: jjames
Related Packages
You can contact the maintainers of this package via email at
lfsc dash maintainers at fedoraproject dot org.
Sources on Pagure