package info (click to toggle)
prover9-manual 0.0.200902a-2.1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 4,272 kB
  • sloc: xml: 212; csh: 144; python: 73; makefile: 42; perl: 10; sh: 1

Folder: debian

d .. (parent)
d d rwxr-xr-x 43 patches
d d rwxr-xr-x 27 source
- - rw-r--r-- 405 build-eg-list
- - rw-r--r-- 2,935 changelog
- - rw-r--r-- 2 compat
- - rw-r--r-- 858 control
- - rw-r--r-- 1,256 copyright
- - rw-r--r-- 31 dirs
- - rw-r--r-- 391 doc-base
- - rw-r--r-- 24 docs
- - rw-r--r-- 1,434 examples
- - rw-r--r-- 112 install
- - rwxr-xr-x 1,673 rules
- - rw-r--r-- 246 watch