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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20201209+titanium-4.1
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
 4766c58c367ce356ad1bdfff6ee72eec8656fd43 16160 frama-c_20201209+titanium-4.1.debian.tar.xz
Checksums-Sha256:
 1c01d6d59fe2e0a1b837b0efb9277e908d98352aefea20e0c3b8c202946881a2 6314293 frama-c_20201209+titanium.orig.tar.gz
 c5c26956905f2c7f1d30158cabc7961e0ed3e19fe8789221f45612df63e7725c 16160 frama-c_20201209+titanium-4.1.debian.tar.xz
Files:
 1c4cb7420d2d3981532ec613f15c1d54 6314293 frama-c_20201209+titanium.orig.tar.gz
 de0d6c093823982c2dbe2b6ed822363d 16160 frama-c_20201209+titanium-4.1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmAm22UACgkQ808JdE6f
XdlWdRAAuyY6asrXXUOnKyAIG+nB/g8XDEtv9+0Hw7y0Y3fCc5k1TITQowglqLTN
aJGeGl7+GmjO0bjnNQEXLOEDbUmA/AcgsPGtZtY9zOQ6RUGbachjV/CKBXrcQgZv
NRdBA2NeBWw1ZhKA7hHLbmF7TmEbJ0ECkTZQGgyilTK6Bjo/+E+unLTrRAMlVraQ
do2S6w1MT0GhQRXVkFmdkt5K71cKCyvk20gg/uPOVOcXOsmyV4zqIAcwrUXK/OYr
Yj+Wm7sjwOw4Q7YaD0XqAMmMWIzXI8YARH7bTbs9WFaK6wORfoA4gAiqupJh9k7n
7ykJWAZJbfRxwUnn4kBPZDVf5XYlKG1TAfRjA0HAvtaIRxY6qHQmyah/n2WxT+UT
vikap+Yz5x7Rq2AbMKCTfc7VNsSiFlrYDqdETVVPzgDGaPwX8DsjjUIn6LcTFVGB
Oi0ApVlRIJvnyTOiEDF2vXxfrvMo2G0UpqP3ppCnU2nHOlAsms1IikvPrmxQTTnC
1lSq3emLKuHKZJJ0/gCAe65VSnK9ZXVA/vDooHGq4M176F+7zEBxdNb1NF/Nw5C7
hs/sdiGsFlpWB9LBBkK7+Dng5xJ1Un9McyFBlMydnSJCjO2eCHdzLJelyNH3pHPx
r8GGs7DBE1k+ekJ6kGakStx1qmiZYXSoI52POr6JQGxOeS0EaPE=
=i3Ia
-----END PGP SIGNATURE-----