package info
(click to toggle)
ladr 0.0.200902a-2
- links: PTS
- area: main
- in suites: squeeze
- size: 11,400 kB
- ctags: 7,168
- sloc: ansic: 59,953; perl: 1,006; python: 620; makefile: 403; sh: 86; csh: 58; modula3: 13
Folder: debian
| .. (parent) | ||||
| d | rwxr-xr-x | 73 | patches | |
| - | rw-r--r-- | 4,680 | changelog | |
| - | rw-r--r-- | 1,183 | clausefilter.1 | |
| - | rw-r--r-- | 973 | clausetester.1 | |
| - | rw-r--r-- | 2 | compat | |
| - | rw-r--r-- | 2,952 | control | |
| - | rw-r--r-- | 2,136 | copyright | |
| - | rw-r--r-- | 17 | dirs | |
| - | rw-r--r-- | 1,209 | interpfilter.1 | |
| - | rw-r--r-- | 1,466 | interpformat.1 | |
| - | rw-r--r-- | 1,639 | isofilter.1 | |
| - | rw-r--r-- | 826 | ladr4-apps.1 | |
| - | rw-r--r-- | 372 | ladr4-apps.README.Debian | |
| - | rw-r--r-- | 8 | ladr4-apps.dirs | |
| - | rw-r--r-- | 28 | ladr4-apps.docs | |
| - | rw-r--r-- | 639 | ladr4-apps.install | |
| - | rw-r--r-- | 1,718 | ladr4-apps.links | |
| - | rw-r--r-- | 104 | ladr4-apps.manpages | |
| - | rw-r--r-- | 25 | libladr-dev.dirs | |
| - | rw-r--r-- | 10 | libladr-dev.docs | |
| - | rw-r--r-- | 127 | libladr-dev.install | |
| - | rw-r--r-- | 8 | libladr4.dirs | |
| - | rw-r--r-- | 37 | libladr4.install | |
| - | rw-r--r-- | 42,909 | libladr4.symbols | |
| - | rw-r--r-- | 4,315 | mace4.1 | |
| - | rw-r--r-- | 1,806 | prooftrans.1 | |
| - | rw-r--r-- | 1,376 | prover9.1 | |
| - | rw-r--r-- | 8 | prover9.dirs | |
| - | rw-r--r-- | 32 | prover9.examples | |
| - | rw-r--r-- | 154 | prover9.install | |
| - | rw-r--r-- | 138 | prover9.links | |
| - | rw-r--r-- | 93 | prover9.manpages | |
| - | rw-r--r-- | 1,476 | rewriter.1 | |
| - | rwxr-xr-x | 1,454 | rules | |
| - | rw-r--r-- | 502 | watch |
