package info (click to toggle)
p9m4 0.5.dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 624 kB
  • ctags: 296
  • sloc: python: 2,909; makefile: 22; csh: 7

Folder: debian

d .. (parent)
d d rwxr-xr-x 74 patches
- - rw-r--r-- 337 changelog
- - rw-r--r-- 2 compat
- - rw-r--r-- 839 control
- - rw-r--r-- 1,243 copyright
- - rw-r--r-- 28 dirs
- - rw-r--r-- 176 install
- - rw-r--r-- 23 manpages
- - rw-r--r-- 718 prover9-mace4.1
- - rw-r--r-- 2 pycompat
- - rwxr-xr-x 1,175 rules
- - rw-r--r-- 275 setup.py
- - rw-r--r-- 235 watch