Files
-rw-r--r-- | 295 | mockbuild | mockbuild | README.why |
-rw-r--r-- | 188 | mockbuild | mockbuild | README.why-coq.Fedora |
-rw-r--r-- | 160 | mockbuild | mockbuild | README.why-gwhy.Fedora |
-rw-r--r-- | 1351 | mockbuild | mockbuild | div.pvs |
-rw-r--r-- | 1277 | mockbuild | mockbuild | gwhy-2.31.patch |
-rw-r--r-- | 972 | mockbuild | mockbuild | gwhy-icon.png |
-rw-r--r-- | 172 | mockbuild | mockbuild | gwhy.desktop |
-rw-r--r-- | 192 | mockbuild | mockbuild | jessie.desktop |
-rw-rw-r-- | 995643 | mockbuild | mockbuild | krakatoa.pdf |
-rw-r--r-- | 136 | mockbuild | mockbuild | min.mlw |
-rw-r--r-- | 723 | mockbuild | mockbuild | min_why.why.result |
-rwxr-xr-x | 2457 | mockbuild | mockbuild | patch_jessie_pvs |
-rw-r--r-- | 1344 | mockbuild | mockbuild | rem.pvs |
-rw-r--r-- | 703 | mockbuild | mockbuild | why-2.31-Makefile.in.patch |
-rw-r--r-- | 993 | mockbuild | mockbuild | why-2.31-coq84.patch |
-rw-r--r-- | 1006 | mockbuild | mockbuild | why-2.31-ocaml4.patch |
-rw-r--r-- | 3340 | mockbuild | mockbuild | why-2.31-warning.patch |
-rw-rw-r-- | 3809990 | mockbuild | mockbuild | why-2.31.tar.gz |
-rw-r--r-- | 20950 | mockbuild | mockbuild | why.spec |