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: 0.0.200806a-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 117 | TODO |
|
d | rwxr-xr-x | 4,096 | apps.examples |
|
d | rwxr-xr-x | 4,096 | apps.src |
|
d | rwxr-xr-x | 6 | bin |
|
d | rwxr-xr-x | 86 | bob |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 8,192 | ladr |
|
d | rwxr-xr-x | 64 | mace4.examples |
|
d | rwxr-xr-x | 4,096 | mace4.src |
|
d | rwxr-xr-x | 36 | manpages |
|
d | rwxr-xr-x | 79 | prover9.examples |
|
d | rwxr-xr-x | 4,096 | provers.src |
|
d | rwxr-xr-x | 4,096 | test.src |
|
d | rwxr-xr-x | 135 | utilities |
|
d | rwxr-xr-x | 140 | utilities-old |
 |
- | rw-r--r-- | 518 | .gdb_history |
|
- | rw-r--r-- | 17,987 | COPYING |
|
- | rw-r--r-- | 51,066 | Changelog |
|
- | rw-r--r-- | 1,492 | Makefile |
|
- | rw-r--r-- | 913 | README.AMD_64 |
|
- | rw-r--r-- | 162 | README.first |
|
- | rw-r--r-- | 610 | README.make |
|
- | rw-r--r-- | 290 | README.release-reminder |
|
- | rw-r--r-- | 74 | VERSION_DATE.h |
|
- | rw-r--r-- | 38,551 | libtoolize.patch |
|
- | rw-r--r-- | 775 | sed.gnu-blurb |