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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20220511-manganese-5build7
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.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, dh-ocaml, graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, libyojson-ocaml-dev, libocamlgraph-ocaml-dev, 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
 0edaa8686a7e51963919c8fdc7b1647e0eb5cc0f 17088 frama-c_20220511-manganese-5build7.debian.tar.xz
Checksums-Sha256:
 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351 frama-c_20220511-manganese.orig.tar.gz
 a9b991053684ff47ef5315abefb4efc380bcb4b007ef0f3f4045342b6a06e93a 17088 frama-c_20220511-manganese-5build7.debian.tar.xz
Files:
 9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 frama-c_20220511-manganese.orig.tar.gz
 a014655567b234707eb835782820560f 17088 frama-c_20220511-manganese-5build7.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYI8kUaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1hMBAAvC1oVHq4qrIDXJVnzWaA
MqGzf40L/+DjKPlhtIw+0edzBGKJutDySPeU+a46pqCen9qgclte/mSg+LOPXehr
dVnRf8FPhGrbgIW2sHT5uFZubGKzWhKbWEmtxteUIO0yGhc80iFqmeJ/ivabTHxd
35sKOztG6nwwxmBrr302fKy5j97YQc16zphsimFtSW1p1xOry92xrFmdNw0s8NTF
t5t3fCtAm5LLI84mOlJMQyQwpPlRyGl1rsV04KGfLIpLXji5gBO7f0Mhrpdkojxv
uHqntibBdPaX4kA/Ertsy8jTz0bxWtKeNtOL32e4mH8cj1J0j6TAi07pgPeUsOWi
gSYnpJUZ8yiVJF95tLX9AkGAfv/kW0RBXHUsx8lbLhbEytd7DXBzCd57jSphH/Co
6Y9NuUYHenrEg15FebAaEaD4Kimld4iVeBbJP5ejbYvA/YO9xRsxJq0RlQenPOn7
cMhKoJg6ARW1Os8Zbks5yV9WARznxnwdJyIgwGxw0Ai0dTnVVYnSJKitg2io0Qex
8rb0t8WDHaent9vmj0eTFAb4XCQfBNEWRe92hUJbD7m3iA3aVm4YO4YW6Mp4bfxi
dqkI5e113bOsGRZFz1qtKjyav6e9lu4pkRtpLEp2cxAwGuHBF0SMWk60oQaul8Jh
Y6jpdGxI3Q48Lq0PlYYw4jk=
=QrY3
-----END PGP SIGNATURE-----