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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20191204+calcium-0.1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <mehdi@debian.org>
Homepage: http://frama-c.com/
Standards-Version: 3.9.8
Vcs-Browser: https://salsa.debian.org/ocaml-team/frama-c
Vcs-Git: https://salsa.debian.org/ocaml-team/frama-c.git
Build-Depends: debhelper (>= 7.0.50~), ocaml-nox (>= 3.12.0~), ocaml-best-compilers, dh-ocaml (>= 0.9~), graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, libyojson-ocaml-dev, libwhy3-ocaml-dev, libocamlgraph-ocaml-dev (>> 1.8.5~)
Package-List:
 frama-c-base deb devel optional arch=any
Checksums-Sha1:
 37b41710bd07a6913f617219c1a71757aebbac98 5787697 frama-c_20191204+calcium.orig.tar.gz
 c9c80eacf71ff540a2e05a5382286fb66831b9ae 22460 frama-c_20191204+calcium-0.1.debian.tar.xz
Checksums-Sha256:
 167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d 5787697 frama-c_20191204+calcium.orig.tar.gz
 4f7f49920032d3c8cd70aae73372e8a156d2931c6218bea1ee8ce224dee01227 22460 frama-c_20191204+calcium-0.1.debian.tar.xz
Files:
 47b9a0a246ae172384dd927516ab184c 5787697 frama-c_20191204+calcium.orig.tar.gz
 85f231d25ffeba2f0271ba1d4bcfa41c 22460 frama-c_20191204+calcium-0.1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl59EKQACgkQ808JdE6f
XdlmWRAAhI//gWskkajhJBg0JbkHnz5U3paOrn+V2aYziTMVXZ6M1OIS4XhKVQCY
2m/PHKeKQgLFsFiEhERbwSEQHbc9GZP1AE22la8Ke2klZOAZ5N1V7KlSuWDyNU1L
s8dYHnZaEqRPLK/a2tbsvU1Pi/arlgtrk7+SETgS4pQRNPclVxKsmQ/HgWAE5+bw
xkGKUOFhEw77rSgsIaRlKPoxpx6wA3VeV6WgWDil1ljnNeoEOxLJk4iOH+/ZxHk+
kBb6lyxJVeCJMt84uLtssTiFnVn0moHHXkNVXWAfUXXf168Jk8TRSZKJbwj7u3qo
GhEesPOP6aQOL3rSrsEkeA9e7HeXxceYJmVhOJNNpNepwJmJH1CFbaUvEvEB6/cU
+L8Vtry4JMfD5sg/O57un+kAGA3UaBthrZJkF0nhdneg5QxVqd01MQ3todKwatO4
a8kzG9WUQVIAuv+lBp29tUNcx/4fkb9c02nUZjWTBO2TITBk4el5MOLTpxhdeLB+
M3Z0HA9gTr2ZUObLMW4nLAFltENkKWZBgcUKKgyVPUtWisA6XQ9NY0r2KVFKGfVE
/GqbwwS5gmKsZkIOnWOpAHtNv9DrwZk2oeYq8eFgGb2otBFpEnDb9FOLmqKttLvn
E1jy71CcSBhBG5OpqxiY4dQdU5hurRVloHjuQagiBA3WEUI4n9Q=
=I2YK
-----END PGP SIGNATURE-----