Content of RPM why-coq-2.28-2.fc15.i686.rpm :
/usr/lib/caduceus/coq
/usr/share/coq/user-contrib/Why
/usr/share/coq/user-contrib/Why/Caduceus.v
/usr/share/coq/user-contrib/Why/Caduceus.vo
/usr/share/coq/user-contrib/Why/Why.v
/usr/share/coq/user-contrib/Why/Why.vo
/usr/share/coq/user-contrib/Why/WhyArrays.v
/usr/share/coq/user-contrib/Why/WhyArrays.vo
/usr/share/coq/user-contrib/Why/WhyBool.v
/usr/share/coq/user-contrib/Why/WhyBool.vo
/usr/share/coq/user-contrib/Why/WhyCM.v
/usr/share/coq/user-contrib/Why/WhyCM.vo
/usr/share/coq/user-contrib/Why/WhyCoqCompat.v
/usr/share/coq/user-contrib/Why/WhyCoqCompat.vo
/usr/share/coq/user-contrib/Why/WhyExn.v
/usr/share/coq/user-contrib/Why/WhyExn.vo
/usr/share/coq/user-contrib/Why/WhyInt.v
/usr/share/coq/user-contrib/Why/WhyInt.vo
/usr/share/coq/user-contrib/Why/WhyLemmas.v
/usr/share/coq/user-contrib/Why/WhyLemmas.vo
/usr/share/coq/user-contrib/Why/WhyPermut.v
/usr/share/coq/user-contrib/Why/WhyPermut.vo
/usr/share/coq/user-contrib/Why/WhyPrelude.v
/usr/share/coq/user-contrib/Why/WhyPrelude.vo
/usr/share/coq/user-contrib/Why/WhyReal.v
/usr/share/coq/user-contrib/Why/WhyReal.vo
/usr/share/coq/user-contrib/Why/WhySorted.v
/usr/share/coq/user-contrib/Why/WhySorted.vo
/usr/share/coq/user-contrib/Why/WhyTactics.v
/usr/share/coq/user-contrib/Why/WhyTactics.vo
/usr/share/coq/user-contrib/Why/WhyTuples.v
/usr/share/coq/user-contrib/Why/WhyTuples.vo
/usr/share/coq/user-contrib/Why/caduceus_lists.v
/usr/share/coq/user-contrib/Why/caduceus_lists.vo
/usr/share/coq/user-contrib/Why/caduceus_tactics.v
/usr/share/coq/user-contrib/Why/caduceus_tactics.vo
/usr/share/coq/user-contrib/Why/caduceus_why.v
/usr/share/coq/user-contrib/Why/caduceus_why.vo
/usr/share/coq/user-contrib/Why/jessie_why.v
/usr/share/coq/user-contrib/Why/jessie_why.vo
/usr/share/doc/why-coq-2.28
/usr/share/doc/why-coq-2.28/README.why-coq.Fedora