-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20201209+titanium-4.1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 84f079cfd0cfd0d32ee031b71e458a5e9e9ce8d5 16312 frama-c_20201209+titanium-4.1build2.debian.tar.xz
Checksums-Sha256:
 1c01d6d59fe2e0a1b837b0efb9277e908d98352aefea20e0c3b8c202946881a2 6314293 frama-c_20201209+titanium.orig.tar.gz
 d663677f9be49632a7080d8c449bd0abb912f56d4b92c49d74bb77d164cf07d0 16312 frama-c_20201209+titanium-4.1build2.debian.tar.xz
Files:
 1c4cb7420d2d3981532ec613f15c1d54 6314293 frama-c_20201209+titanium.orig.tar.gz
 48b7abb2979873bde18a10f00dfa5eb8 16312 frama-c_20201209+titanium-4.1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmGyJn8aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1rzA//dvzlbIB6if+cGPCNOsgW
MAE2NY/fhVhieFI7yjXl5fXYT8qbLuLMg5PJyY+mpSkMc2y1LxAt0hIhnjIM6Uir
JsReP++j642ATnRMwe8XTB4rUm51ovqdxwvbfaRfzhPS9yKvqWQXnImZ698OMUiy
nD69hnStEJiNTR9Uq0l8Nv1M/LSMbnLPTEOI5BLGdbSV0rp51g/r5rONp5iHsB8K
SXccFp76lXlj2aqCgUG5vWDltrMYyLx2O3jSl76FUK6V0gLd1N5FnqiWi44snrqX
NMd1UvLyeBnJKL6NVpF1zdaOIEg5ARMSjrJLm3u0CVQ+eT/Cq7nfaQ9TM1ueOIh7
s/DcdqrFpZRmzgi2FIIIWNQQkd09qyElhpUFIOPvqFkNzdEzmFSAGvsCkAkoSlLU
tpupndEc/ZKvnl31xbjhmtVadqAa5ya6HAsY165BW/+upZdETLsj+vER/VNCCYaI
7/Qafvgzx/w+TZKEIASiHMgNAOWzmMeV5VjmQevpsjZrSlXajGPfoQoe61aDNadz
mY+tT6EyrTbZnNUGZZQFr7S3dI/Nl7u0HDhJxOFwi2Rhg3FDtybXVqQWQpIWn4xW
tjNsUUj+WFT8Ch1kNfhOVJed+3JftZYiIT7v5V3DwfFtJO9qnjfNjSJtd/TdZ56b
nT1ese1SdHmPHBGRnlZFkl0=
=6een
-----END PGP SIGNATURE-----