Files
| drwxr-xr-x | 0 | root | root | /usr/share/doc/coq-doc |
| -rw-r--r-- | 383983 | root | root | /usr/share/doc/coq-doc/RecTutorial.pdf |
| -rw-r--r-- | 1704685 | root | root | /usr/share/doc/coq-doc/Reference-Manual.pdf |
| -rw-r--r-- | 198284 | root | root | /usr/share/doc/coq-doc/Tutorial.pdf |
