a8d84c4
Abandoned by upstream and fails to build from source
Authored and Committed by 
jjames
5 years ago
.gitignore
file removed
-3
README.why
file removed
-8
README.why-coq.Fedora
file removed
-6
dead.package
file added
+1
div.pvs
file removed
-35
jessie.appdata.xml
file removed
-43
jessie.desktop
file removed
-7
patch_jessie_pvs
file removed
-59
rem.pvs
file removed
-35
sources
file removed
-3
why-frama-c.patch
file removed
-809
why.rpmlintrc
file removed
-27
why.spec
file removed
-634