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-- | 302043 | mockbuild | mockbuild | caduceus.ps |
-rw-r--r-- | 1351 | mockbuild | mockbuild | div.pvs |
-rw-r--r-- | 1273 | mockbuild | mockbuild | gwhy-2.26.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-- | 462509 | 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-- | 745 | mockbuild | mockbuild | why-2.28-Makefile.in.patch |
-rw-rw-r-- | 3106793 | mockbuild | mockbuild | why-2.28.tar.gz |
-rw-r--r-- | 15442 | mockbuild | mockbuild | why.spec |