#91: Package ForSyDe --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan* Type: task | Status: new Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: | Keywords: formal method, hardware design, haskell --------------------------+------------------------------------------------- Changes (by shakthimaan):
* owner: shakthimaan => shakthimaan*
Comment:
ghc-type-level{-prof, -devel}, a dependency is available in Fedora. ghc- parameterized-data, another dependency is now up for review at:
https://bugzilla.redhat.com/show_bug.cgi?id=637360