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

Format: 3.0 (quilt)
Source: frama-c
Binary: frama-c-base
Architecture: any
Version: 20200625+scandium-2build1
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.5.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/frama-c
Vcs-Git: https://salsa.debian.org/ocaml-team/frama-c.git
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.3.1), libocamlgraph-ocaml-dev (>= 1.8.8), liblablgtk3-ocaml-dev (>= 3.0~beta4), liblablgtksourceview3-ocaml-dev
Package-List:
 frama-c-base deb devel optional arch=any
Checksums-Sha1:
 f3c1a40ba54ace7eb33ddb9f53fcf4d6f92a9a54 6381637 frama-c_20200625+scandium.orig.tar.gz
 78764fab50be826485d84b8510114cb4da88b195 15084 frama-c_20200625+scandium-2build1.debian.tar.xz
Checksums-Sha256:
 74c23ac34c97d2d266b8f3e62dd73fd5367058439ddba266a42c850103337507 6381637 frama-c_20200625+scandium.orig.tar.gz
 d5be4332d43d11467002053a16069173ed99410b88e0fdd69dbe6c9d2635ad96 15084 frama-c_20200625+scandium-2build1.debian.tar.xz
Files:
 2cfbcbc1d1121fb3b624577a15882aa5 6381637 frama-c_20200625+scandium.orig.tar.gz
 50bc3353270611c71d87b6d0f6555e05 15084 frama-c_20200625+scandium-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAl95GZMACgkQ5mx3Wuv+
bH28/g//fzWZ7FmaVHE5Mcn/Vy9DfTaITtJt1W8qkfXCtMUB4V8nwTJRnEoYz7BE
la9FlSN2YSvHx5vEx/nyxAmsdHLmTxTIdKvzCuXqQ6pVuLnhVKl8jPRNR3CUCiRl
7YJPbe8VKvk/zXDsZZl4Q9SV5rbr47kP43nro4I1ysPNa4p0L2cJhhpRN2y7Mt/l
IVxvGwBK+TB0W04UEDemuWlQbZNR1dXUM9vUekYdhaZHfuqgG7pXTaK4j9rXTE07
/N5XLITehL6Pr1HckosEqFmOSefAZT9eioETO2jaLpVB7IiGijXMhckibfcRIvU4
w/DanqPxXrvJJbSjoxnNj4qHgx5FnyAi9CBTAdZrzjkHKpU5vDZC+UdpVLrzobKY
qQ1VZhAxU9Qq4mNbWaYAXy9K7GE7DSp7F5ViTnKql0SpT2if5ei+5sOhOakMeZc0
FvdCFhrmew+SdVDI7tKPuNr9G8wZvo8l0PDJvGXTiMbLdvtumQIcN9RK91TsgWx3
O0dZEegSpyYgTltqCf04iV4HaU07syK2Ob2arW8f74mQXaszDGUNS1IV+uQM/9s6
ByLbQ4DMIKpZwxe5GMJcmlAcDnWSKOCnqEXFbE2EmaRyuSGO4+93pwfawGwNARYO
n+et4ErofnBXDwZrxAyI2XGi1uUQoNxvSvvUU3YbiMsuX2NjqX4=
=wVFG
-----END PGP SIGNATURE-----