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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-1.3
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
 415eaac22e86029457d4d1e6e7137ace41e4f0ad 16000 frama-c_20220511-manganese-1.3.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 e1715e794688ef8e4f5177e97553b14d0fcf9117a209b05e7a8f4eb332187bdb 16000 frama-c_20220511-manganese-1.3.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 f0f578eef430b4095dc53aed096b6726 16000 frama-c_20220511-manganese-1.3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK5/FUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRM1cP/iAarcz53+zgPUfE+OtlnQ9mic+SGUVE
WAWhSYpw07D93srYJjziB+7NukFKJ1qb+mH8Z/q8pe6McOpbudGo21KAASFID3a1
TgZRrckOyN3I+pwKb/4qgpoaFeSBlt5PDztzDOeGSViesu+a2e1egITaO0mD1kLq
nWZnlC2WSzrIOanKHxro9H6yM6ufmLL1Y5pUbHBha01jGTCBb8MjHqZYL05UZSmG
5AdKYo9u+/hOf2fPYv9ZilZG/GrOpTWe5gEBDhcUgSPxU5oQSsdykgshcqi3Mjl/
imo6yjlvTjwZERhf0ch2DSZQzQFo5GpNFwfM2pZE3W5KfdZnBBnJi7rFESXJ5+pi
ha3bge0odyPGyLrCYGsTNZU3O6qUwC52FN8VXz8S0w4sBE7VfAPGkDTZGTrM240r
r9RPyW+j7rc31Lb5ZLKf63KICqhPn/nzsmP5qe3it+IrQPz+EgSNF2ov5lgo01j6
0jdAzrVxfcyS13LGDy13GSX9Zf1EvFyRHWWJdJHXOKOjw5COcXZqo8EeFQ8wdwCh
yFzJdhgSfzlRQOSWFr+P/c/+DUziwFe8vCFOqf3p0xUGJAyMlkqQbdvdPHmvICZI
FuMvSQr/yGLB3D2RquE4jkp7NIWQKAnJH+xXcA/NDzmgEyJw9canPwOBOrc3Qren
MmWXDHI9shsG
=Sf3c
-----END PGP SIGNATURE-----