package info (click to toggle)
proofgeneral 4.5-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 5,172 kB
  • sloc: lisp: 33,783; makefile: 388; sh: 118; perl: 109

Folder: debian

d .. (parent)
d d rwxr-xr-x 4,096 patches
d d rwxr-xr-x 27 source
d d rwxr-xr-x 29 upstream
- - rw-r--r-- 1,128 README.Debian
- - rw-r--r-- 16,002 changelog
- - rw-r--r-- 1,628 control
- - rw-r--r-- 22,007 copyright
- - rw-r--r-- 310 coqtags.1
- - rw-r--r-- 52 docs
- - rw-r--r-- 41 elpa
- - rw-r--r-- 12 elpa-test
- - rw-r--r-- 704 emacsen-startup
- - rw-r--r-- 152 lintian-overrides
- - rw-r--r-- 399 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-- 112 proofgeneral-shell-script
- - rw-r--r-- 1,329 proofgeneral.1
- - rw-r--r-- 2 proofgeneral.emacsen-compat
- - rw-r--r-- 179 proofgeneral.install
- - rw-r--r-- 39 proofgeneral.manpages
- - rwxr-xr-x 920 rules
- - rw-r--r-- 72 watch