Files
| -rwxr-xr-x | 2457 | root | root | /usr/bin/patch_jessie_pvs |
| drwxr-xr-x | 4096 | root | root | /usr/lib/pvs/lib/ints |
| -rw-r--r-- | 1351 | root | root | /usr/lib/pvs/lib/ints/div.pvs |
| -rw-r--r-- | 1344 | root | root | /usr/lib/pvs/lib/ints/rem.pvs |
distrib
>
Fedora
>
14
>
i386
>
media
>
updates
>
by-pkgid
>
d954245d2d739376d45eb40213c5798b
>
files
