package info (click to toggle)
boogie 2.4.1%2Bdfsg-0.1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 19,456 kB
  • sloc: cs: 90,888; python: 183; lisp: 99; sh: 66; makefile: 14

Folder: debian

d .. (parent)
d d rwxr-xr-x 41 bin
d d rwxr-xr-x 27 source
d d rwxr-xr-x 72 tests
- - rw-r--r-- 17,277 boogie.1
- - rw-r--r-- 10 boogie.docs
- - rw-r--r-- 116 boogie.install
- - rw-r--r-- 29 boogie.manpages
- - rw-r--r-- 1,729 bvd.1
- - rw-r--r-- 1,630 changelog
- - rw-r--r-- 1,402 control
- - rw-r--r-- 1,662 copyright
- - rw-r--r-- 80 gbp.conf
- - rw-r--r-- 10 libboogie-cil.docs
- - rw-r--r-- 30 libboogie-cil.install
- - rwxr-xr-x 624 rules
- - rw-r--r-- 231 watch