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 |
