diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2016-04-01 16:17:46 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-04-01 16:17:46 -0400 |
commit | c92628e68f878293d1408fdf9d4317a7ab71ddc1 (patch) | |
tree | fb1b889a891ec7cbd928c265a4bd0c8f7e2fa5f5 /debian/bin/bvd | |
parent | 3c5818f34339a8a3660d904000b207d1f63ae805 (diff) |
Package Boogie programs for experimental
Diffstat (limited to 'debian/bin/bvd')
-rwxr-xr-x | debian/bin/bvd | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/bin/bvd b/debian/bin/bvd new file mode 100755 index 00000000..49f7a3d0 --- /dev/null +++ b/debian/bin/bvd @@ -0,0 +1,2 @@ +#!/bin/sh +exec /usr/bin/cli /usr/lib/boogie/BVD.exe "$@" |