Source package boogie/2.4.1+dfsg-0.1 in crimson @ pureos

boogie - 2.4.1+dfsg-0.1 main

Versions in crimson: 2.4.1+dfsg-0.1
Maintainer: Benjamin Barenblat <bbaren [꩜] mit.edu>

Format: 3.0 (quilt)
Standards Version: 4.4.1
Architectures: all

Homepage Build Jobs VCS Browser

Owned Binaries

boogie all
libboogie-cil all

Build Dependencies

debhelper-compat (= 12)
cli-common-dev
mono-devel
tzdata

Files

Filename	Size	Checksum (SHA256)
boogie_2.4.1+dfsg-0.1.dsc	2.0 kB	`1d5b6e8701b81ca1b22259daaa1b16728de18d5b99c7122c434fbc0d7765853c`
boogie_2.4.1+dfsg.orig.tar.xz	1.2 MB	`863dbb07fa71e2fdc117f87dac8193dc438ef8aaa9940379e21738ef86c9f077`
boogie_2.4.1+dfsg-0.1.debian.tar.xz	9.1 kB	`3cd9c617d78183b42bacc3a3e40c1c6bbf1eb8ff37d07aa0f84466410b2a4ea9`