diff options
Diffstat (limited to 'debian/boogie.install')
| -rw-r--r-- | debian/boogie.install | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/boogie.install b/debian/boogie.install new file mode 100644 index 00000000..956a1eb3 --- /dev/null +++ b/debian/boogie.install @@ -0,0 +1,4 @@ +Binaries/Boogie.exe usr/lib/boogie +Binaries/BVD.exe usr/lib/boogie +debian/bin/boogie usr/bin +debian/bin/bvd usr/bin |