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: 0.0.200911a-2.1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
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-- | 62,287 | 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-- | 78 | VERSION_DATE.h |
|
- | rw-r--r-- | 38,551 | libtoolize.patch |
|
- | rwxr-xr-x | 343 | rev.py |
|
- | rw-r--r-- | 775 | sed.gnu-blurb |