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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 11:42:32 +0000