package info
(click to toggle)
ladr 0.0.200911a-2.1
- links: PTS
- area: main
- in suites: buster, jessie, jessie-kfreebsd, stretch
- size: 10,748 kB
- ctags: 7,252
- sloc: ansic: 60,251; perl: 1,006; python: 623; makefile: 368; csh: 58; modula3: 13; sh: 3
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 71 | patches |
|
d | rwxr-xr-x | 27 | source |
 |
- | rw-r--r-- | 6,188 | changelog |
|
- | rw-r--r-- | 1,183 | clausefilter.1 |
|
- | rw-r--r-- | 973 | clausetester.1 |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 3,094 | 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-- | 43 | libladr-dev.install |
|
- | rw-r--r-- | 8 | libladr4.dirs |
|
- | rw-r--r-- | 20 | libladr4.install |
|
- | rw-r--r-- | 43,020 | 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 | 347 | rules |
|
- | rw-r--r-- | 486 | watch |