summaryrefslogtreecommitdiff
path: root/debian/boogie.install
blob: 956a1eb3e94f411533966171a8e325291c95990b (plain)
1
2
3
4
Binaries/Boogie.exe usr/lib/boogie
Binaries/BVD.exe usr/lib/boogie
debian/bin/boogie usr/bin
debian/bin/bvd usr/bin