package info
(click to toggle)
proofgeneral 4.4.1~pre170114-1
- links: PTS
- area: main
- in suites: stretch
- size: 20,596 kB
- ctags: 4,099
- sloc: lisp: 43,825; ml: 2,239; sh: 300; makefile: 264; perl: 159
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | patches |
|
d | rwxr-xr-x | 27 | source |
 |
- | rw-r--r-- | 1,128 | README.Debian |
|
- | rw-r--r-- | 14,532 | changelog |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 1,417 | control |
|
- | rw-r--r-- | 22,007 | copyright |
|
- | rw-r--r-- | 53 | docs |
|
- | rw-r--r-- | 1,965 | emacsen-install |
|
- | rw-r--r-- | 284 | emacsen-remove |
|
- | rw-r--r-- | 1,017 | emacsen-startup |
|
- | rw-r--r-- | 801 | preinst |
|
- | rw-r--r-- | 411 | proofgeneral-doc.doc-base |
|
- | rw-r--r-- | 37 | proofgeneral-doc.docs |
|
- | rw-r--r-- | 22 | proofgeneral-doc.info |
|
- | rw-r--r-- | 7 | proofgeneral-doc.install |
|
- | rw-r--r-- | 275 | proofgeneral-shell-script |
|
- | rw-r--r-- | 1,329 | proofgeneral.1 |
|
- | rw-r--r-- | 2 | proofgeneral.emacsen-compat |
|
- | rw-r--r-- | 197 | proofgeneral.install |
|
- | rw-r--r-- | 22 | proofgeneral.manpages |
|
- | rwxr-xr-x | 888 | rules |
|
- | rw-r--r-- | 309 | watch |