-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20201209+titanium-4.1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://frama-c.com
Standards-Version: 4.5.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/frama-c
Vcs-Git: https://salsa.debian.org/ocaml-team/frama-c.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, libwhy3-ocaml-dev, why3
Build-Depends: debhelper-compat (= 13), ocaml-nox (>= 4.08.1), dh-ocaml (>= 0.9~), graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, libyojson-ocaml-dev, libwhy3-ocaml-dev (>= 1.3.1), libocamlgraph-ocaml-dev (>= 1.8.8), liblablgtk3-ocaml-dev (>= 3.0~beta4), liblablgtksourceview3-ocaml-dev
Package-List:
 frama-c-base deb devel optional arch=any
Checksums-Sha1:
 814ec267fcd434f552fb8aee3dfb85474603ec9e 6314293 frama-c_20201209+titanium.orig.tar.gz
 7919f23e7bf3a02136ef8878e4a79c9783095a9c 16204 frama-c_20201209+titanium-4.1build1.debian.tar.xz
Checksums-Sha256:
 1c01d6d59fe2e0a1b837b0efb9277e908d98352aefea20e0c3b8c202946881a2 6314293 frama-c_20201209+titanium.orig.tar.gz
 5144463d72644eb330d2db3c92502ea38e5711f389db87aa59793d01ae17df00 16204 frama-c_20201209+titanium-4.1build1.debian.tar.xz
Files:
 1c4cb7420d2d3981532ec613f15c1d54 6314293 frama-c_20201209+titanium.orig.tar.gz
 fe8cbb8dd77aa34c3883cdc156f6a270 16204 frama-c_20201209+titanium-4.1build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmGHKT8ACgkQ808JdE6f
XdmhhQ/+OifkBLgJQhsf8h8EU/SULM2kQR0zpQJKCksBX9qp8QM3l2ADEvCxHIu8
N7EnSUAu5K1uu6DocNFSDeTzxdfuQ8iqNXjxjSDUhTo2OKttAzijvqxxLOOLcPvB
iziI8wn3//jZ6d7XQ9vTdXvf6frcOzcmQh91V8Jk8k8/M5+FWtS87ofHiSL1ihVj
SN9QLrrM9rCcK92jO1S3x9gzvD0x6nPfhmGegtX4bi0Dvjujer7d5BBYU8c9d01Q
mIR9kxInyuWnBUMnQEBaJ65ubAUdwvVIq1XQEjXqYfmMvDBmyzsCErhVagbmdMaQ
ltSrAUFwjDYlB5OVhDtbzt+4MM1UM9ssolckbXnbr0Uobx0ZteNQpGaLQ4CTbv3P
tCNzou0Ubs+y5bOisA+9nI9pXAOg5uuBPO9bvt+3tXlSXliqDVJwqOcXVf5YCqY6
fRbia5TCI7eBpayPIDpZGw5uqZOlZA/sM7G+B8wIQRg8dGQe8dKPfbtCfVMFa01m
QZRzZdxfGcda6C2SOmzIeOMZRo99w01mGJQ5ai0lIOn8acL3JZFgVn/hs1Zjx9gZ
CXIPjwBOFSXVvVK36F4bQI/0+eZFDr5J072hL+6MOcagySc/QrVC7swYxhOy6sqp
ajIXFyonNhraqtlDNhhZ7ZmEJUrO08nd8TfXSgZw8gpN0aAkT4Q=
=OezQ
-----END PGP SIGNATURE-----