index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
bin
/
dafny
blob: 8950cf84f2c4bb1166e9ff0984f92558e77ec52b (
plain
)
1
2
#!/bin/sh exec /usr/bin/cli /usr/lib/dafny/Dafny.exe /z3exe:/usr/bin/z3 "$@"