DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
dafny
/
2.3.0%2Bdfsg-0.1
/
debian
/ bin
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: bin
.. (parent)
-
rwxr-xr-x
58
dafny