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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-1.2
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.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.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
 0132d566705f85f29a8536fecdc4e3c921b37ae6 15972 frama-c_20220511-manganese-1.2.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 79461f7e85f3dba4b87a43ca6265ac65e3dab0d945d6f1c7b9a092c422e80d9b 15972 frama-c_20220511-manganese-1.2.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 6ca8013ceb528b6e736431201e0db356 15972 frama-c_20220511-manganese-1.2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK5eU4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRluYP/ilBfwlDr7QuM8VGuDOiuKvDjNUNUmfW
0u/3vIaJMoRITzVDIKNNCSxy+v3m71e6kAcJ/hp1SnAxozUk8O26eDtIVdFOLFVA
mmbMsrmlgoKuv+g0ywG8KgtXIsR02OKz9u1+VByRkUMDrDyfjzJtqdV+EDsLtTtM
gS91HPgdiikOJKjmqjkhu2cW9GKCMOzFoqwXLb61bOEQKjOEiChGAyh+IYoo3NgS
pwX+m1KeKPoTn6hKxXBpykDtzqh1idZ+za3Bq5rZgqgSRRqijg+54Qc8n2jwWI6u
DSKTUaAq98ZtfwsppHVTnIhNnrlFXl7da9RRjFvE/RicIvnbxUEF2+vk3+zqlcYD
r/gGWdvkZ7GjnZBUwvbTkVbE3PgOqEt5RJh4vPmNaeSVwXvnNte9qmgisxElnGd1
KKxtSND3X43xCoXrNE3gJrU4gvo45JPxp/HIZWG04YYRYf8xUlacThmSP+6UIJs/
pfLIrGVRFXR674K/noQTTpQu8hApov1nahWfcoWcbt6gpl/PzFPQWw7aoe6DRdhX
RkHsBRP+FU/dn/GSE2kNjTLmk5tPTIf+8ogiAxpUSoyc062OIheOpi9BfMjRbTbz
VJNvCWHFMevPE2OJOQL8i9goquQFbw1OabVNiwsJYtLfiopTh7qiYUnGM3CQCGB7
ivJ2fDiIUFs2
=9OlL
-----END PGP SIGNATURE-----