package info (click to toggle)
dafny 2.3.0%2Bdfsg-0.1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 15,608 kB
  • sloc: cs: 69,676; python: 725; sh: 43; makefile: 40

Folder: debian

d .. (parent)
d d rwxr-xr-x 26 bin
d d rwxr-xr-x 56 patches
d d rwxr-xr-x 27 source
d d rwxr-xr-x 76 tests
- - rw-r--r-- 882 changelog
- - rw-r--r-- 844 control
- - rw-r--r-- 2,364 copyright
- - rw-r--r-- 19,842 dafny.1
- - rw-r--r-- 256 dafny.install
- - rw-r--r-- 988 dafny.links
- - rw-r--r-- 15 dafny.manpages
- - rw-r--r-- 80 gbp.conf
- - rwxr-xr-x 2,436 rules
- - rw-r--r-- 229 watch