dsc_fields:
Architecture: all
Binary: boogie, libboogie-cil
Build-Depends: debhelper-compat (= 12), cli-common-dev, mono-devel, tzdata
Checksums-Sha1:
- name: boogie_2.4.1+dfsg.orig.tar.xz
sha1: 4afce8c0fab76361d4cfc9086ca1a08a0e8db484
size: '1165764'
- name: boogie_2.4.1+dfsg-0.1.debian.tar.xz
sha1: d96b8aeb91ad583e7ebb15401fb12791b42fad5b
size: '9080'
Checksums-Sha256:
- name: boogie_2.4.1+dfsg.orig.tar.xz
sha256: 863dbb07fa71e2fdc117f87dac8193dc438ef8aaa9940379e21738ef86c9f077
size: '1165764'
- name: boogie_2.4.1+dfsg-0.1.debian.tar.xz
sha256: 3cd9c617d78183b42bacc3a3e40c1c6bbf1eb8ff37d07aa0f84466410b2a4ea9
size: '9080'
Files:
- md5sum: 48ad137c9193ba3359f734f4310d3ffe
name: boogie_2.4.1+dfsg.orig.tar.xz
size: '1165764'
- md5sum: 71e7c99e1268de6fee4c02632c1c1032
name: boogie_2.4.1+dfsg-0.1.debian.tar.xz
size: '9080'
Format: 3.0 (quilt)
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
Package-List: |2-
boogie deb cli-mono optional arch=all
libboogie-cil deb cli-mono optional arch=all
Source: boogie
Standards-Version: 4.4.1
Testsuite: autopkgtest
Vcs-Browser: https://salsa.debian.org/debian/boogie
Vcs-Git: https://salsa.debian.org/debian/boogie.git
Version: 2.4.1+dfsg-0.1
name: boogie
type: dpkg
version: 2.4.1+dfsg-0.1