Sophie: why-2.31-6.fc18 src

why-2.31-6.fc18.src.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

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.