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 |