tibbs set package ghc-ForSyDe summary to A formal system design methodology library for Haskell To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-ForSyDe