package info
(click to toggle)
ladr 0.0.200806a-1
- links: PTS
- area: main
- in suites: lenny
- size: 10,228 kB
- ctags: 6,977
- sloc: ansic: 57,466; perl: 1,006; python: 576; sh: 442; makefile: 393; csh: 58; modula3: 13
Folder: debian
| .. (parent) | ||||
| d | rwxr-xr-x | 89 | patches | |
| - | rw-r--r-- | 2,062 | changelog | |
| - | rw-r--r-- | 1,186 | clausefilter.1 | |
| - | rw-r--r-- | 976 | clausetester.1 | |
| - | rw-r--r-- | 2 | compat | |
| - | rw-r--r-- | 2,975 | control | |
| - | rw-r--r-- | 2,131 | copyright | |
| - | rw-r--r-- | 17 | dirs | |
| - | rw-r--r-- | 1,212 | interpfilter.1 | |
| - | rw-r--r-- | 1,416 | interpformat.1 | |
| - | rw-r--r-- | 1,642 | isofilter.1 | |
| - | rw-r--r-- | 829 | ladr4-apps.1 | |
| - | rw-r--r-- | 375 | ladr4-apps.README.Debian | |
| - | rw-r--r-- | 8 | ladr4-apps.dirs | |
| - | rw-r--r-- | 28 | ladr4-apps.docs | |
| - | rw-r--r-- | 619 | ladr4-apps.install | |
| - | rw-r--r-- | 1,651 | 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-- | 40,810 | libladr4.symbols | |
| - | rw-r--r-- | 4,318 | mace4.1 | |
| - | rw-r--r-- | 1,809 | prooftrans.1 | |
| - | rw-r--r-- | 1,379 | 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,479 | rewriter.1 | |
| - | rwxr-xr-x | 1,454 | rules | |
| - | rw-r--r-- | 502 | watch |
