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: 0.0.200902a-2
 |
.. (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 | 10 | bin |
|
d | rwxr-xr-x | 110 | 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 | 48 | 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 | 4,096 | utilities |
|
d | rwxr-xr-x | 4,096 | utilities-old |
 |
- | rw-r--r-- | 518 | .gdb_history |
|
- | rw-r--r-- | 17,987 | COPYING |
|
- | rw-r--r-- | 59,572 | Changelog |
|
- | rw-r--r-- | 53,247 | Changelog.save |
|
- | 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-- | 78 | VERSION_DATE.h |
|
- | rw-r--r-- | 12,458 | err |
|
- | rw-r--r-- | 38,551 | libtoolize.patch |
|
- | rwxr-xr-x | 343 | rev.py |
|
- | rw-r--r-- | 775 | sed.gnu-blurb |