package info (click to toggle)
cbmc 5.10-5
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 73,416 kB
  • sloc: cpp: 264,330; ansic: 38,268; java: 19,025; python: 4,539; yacc: 4,275; makefile: 2,547; lex: 2,394; sh: 932; perl: 525; xml: 289; pascal: 169

Folder: debian

d .. (parent)
d d rwxr-xr-x 131 patches
d d rwxr-xr-x 54 source
- - rw-r--r-- 12,071 changelog
- - rw-r--r-- 3 compat
- - rw-r--r-- 650 control
- - rw-r--r-- 4,226 copyright
- - rw-r--r-- 9 dirs
- - rw-r--r-- 267 install
- - rw-r--r-- 490 links
- - rw-r--r-- 15 manpages
- - rw-r--r-- 1 maven.cleanIgnoreRules
- - rw-r--r-- 1 maven.ignoreRules
- - rw-r--r-- 1 maven.publishedRules
- - rw-r--r-- 1 maven.rules
- - rwxr-xr-x 1,513 rules
- - rw-r--r-- 237 watch