Source Package lfsc

Builds
Updates
Bugs
Sources
Crash Reports
Koschei

Subpackages

lfsc - SMT proof checker
lfsc-devel - Files needed to compile side conditions

Sources on Pagure