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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-4build2
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.6.2
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, 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.5.0), libocamlgraph-ocaml-dev (>= 1.8.8), liblablgtk3-ocaml-dev (>= 3.0~beta4), liblablgtksourceview3-ocaml-dev, libppx-import-ocaml-dev, libppx-deriving-ocaml-dev
Package-List:
 frama-c-base deb devel optional arch=any
Checksums-Sha1:
 94cf9d19d886ee4228695259c35b22d4202656ee 8074351 frama-c_20220511-manganese.orig.tar.gz
 f8986cdd41077dd1e245174d658cdcab52846d26 16900 frama-c_20220511-manganese-4build2.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 d95cd0daa9c96368b05ac83308b49c501b191283b821e425ece74fa0a47f70bd 16900 frama-c_20220511-manganese-4build2.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 6574f93bd82fea0570caba0bf76d43a5 16900 frama-c_20220511-manganese-4build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS2K7QACgkQ808JdE6f
XdldPg//WWP9jEHB0GA9zAc+OV2hKot4ouJyZsJZJsr4aovid+90/SIPNtjw/iWh
WNn3I5Q81GUU4nMBU8Y3TlMuTCz5WWkkn+9S8mj8o/rTPB3ZgU4JBK9M7+gCJPdk
n6sC7sXFOasNSit0DrKBMcEfAkbr6esl+z22YsxEp7RrSv+S60pYdzSUJkA2q6oO
m+rA5IIkt0AiyFAaa3TDP4pHmicI2iO7HbD9ZMqPFglDVH8uO7RP0ri3Dk0xUh5x
bMJYoqkM2iNFq3lR6g8JMWsUX13ucGHK4Z9WL4oaBAEjdzrsevpeT+iefMHa3oaX
V12AonkF/42COphMREfA0wBKC7OhxpBlE+asprRIKrRr8nigMQO6YDjH5J0GYWo4
2gK8ASM8OW1qmv06no+NokS0qOmqW1U8ioav2WMA4tXUjuRt14BGH8gArcjkfv35
Mfr2RmySuzjQE2tNANdqqP2kb382muFHf6zcSVV495VfO6cpng1NhZ86kywC0KVO
kXtophXa2Ef8FXkAcHUc2qcuCAiSr9ipbxFsruUd9hNFgWlKegLO47Tj0fcKGmJv
LCLjy2v+MARyOPGuyFpw3zG7CppDpqR+HWXCPJxCWE8+UZxtpSXbH0rjgwny8xk/
yTsOwZXxMIb9QtbQuZ38VEBurHkRjH/+JAioprkUTBpaXex23qE=
=57Er
-----END PGP SIGNATURE-----