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 |