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: patches

d .. (parent)
- - rw-r--r-- 445 debian-specific-site-init.patch
- - rw-r--r-- 463 desktop-keyword-entry.patch
- - rw-r--r-- 540 dont-install-elc.patch
- - rw-r--r-- 1,187 fix-package-name-in-install-path.patch
- - rw-r--r-- 718 install-examples.patch
- - rw-r--r-- 846 only-install-simplified-pg-script
- - rw-r--r-- 2,134 prepare-user-manual
- - rw-r--r-- 1,265 restrict-installed-provers.patch
- - rw-r--r-- 232 series