path: root/debian/bin/dafny

#!/bin/sh
exec /usr/bin/cli /usr/lib/dafny/Dafny.exe "$@"