Fedora why-coq package: Contains libraries for interfacing why with Coq. You shouldn't have to do anything extra - you should now just be able to use the Coq-related capabilities of Why.
distrib
>
Fedora
>
13
>
x86_64
>
media
>
updates
>
by-pkgid
>
c5678b552f49b85533a94e1ec303b3fa
>
files
>
41
