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

Folder: .pc

d .. (parent)
d d rwxr-xr-x 29 debian-specific-site-init.patch
d d rwxr-xr-x 24 desktop-keyword-entry.patch
d d rwxr-xr-x 29 dont-install-elc.patch
d d rwxr-xr-x 29 fix-package-name-in-install-path.patch
d d rwxr-xr-x 29 install-examples.patch
d d rwxr-xr-x 29 only-install-simplified-pg-script
d d rwxr-xr-x 43 prepare-user-manual
d d rwxr-xr-x 47 restrict-installed-provers.patch
- - rw-r--r-- 15 .quilt_patches
- - rw-r--r-- 7 .quilt_series
- - rw-r--r-- 2 .version
- - rw-r--r-- 232 applied-patches