package info (click to toggle)
p9m4 0.5.dfsg-3
  • links: PTS
  • area: main
  • in suites: buster, stretch
  • size: 664 kB
  • ctags: 296
  • sloc: python: 2,909; makefile: 21; csh: 7

Folder: debian

d .. (parent)
d d rwxr-xr-x 99 patches
d d rwxr-xr-x 27 source
- - rw-r--r-- 2,352 changelog
- - rw-r--r-- 2 compat
- - rw-r--r-- 575 control
- - rw-r--r-- 1,258 copyright
- - rw-r--r-- 28 dirs
- - rw-r--r-- 391 install
- - rw-r--r-- 23 manpages
- - rw-r--r-- 715 prover9-mace4.1
- - rwxr-xr-x 1,191 rules
- - rw-r--r-- 275 setup.py
- - rw-r--r-- 235 watch