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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.4.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://alt-ergo.ocamlpro.com
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/alt-ergo
Vcs-Git: https://salsa.debian.org/ocaml-team/alt-ergo.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dh-ocaml, libcmdliner-ocaml-dev (>= 1.1.0), libdune-ocaml-dev, liblablgtk2-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libpsmt2-frontend-ocaml-dev, libzarith-ocaml-dev, libzip-ocaml-dev, menhir, ocaml-dune, ocaml-findlib, ocaml-nox (>= 4.04), ocplib-simplex-ocaml-dev (>= 0.4)
Package-List:
 alt-ergo deb math optional arch=any
Checksums-Sha1:
 0c2430c40fcb5acdda9c8cd5ad56705e7e3b0005 2883046 alt-ergo_2.4.1.orig.tar.gz
 9d38388c12b88d78deeeccc69678d9ce318b3516 7908 alt-ergo_2.4.1-3.debian.tar.xz
Checksums-Sha256:
 ea107a30d563c969b7aa73ea556710cae9e5be9b05d12100a2665f14803eb45a 2883046 alt-ergo_2.4.1.orig.tar.gz
 91512f31596784a5817c744aaa059b5ef7fc3e4bb3ea4e0d0941d87d75e80298 7908 alt-ergo_2.4.1-3.debian.tar.xz
Files:
 35d6c6f3fa43bcd10fe7f524b1eb59ca 2883046 alt-ergo_2.4.1.orig.tar.gz
 47890014b7a3bce179118324eb5635e2 7908 alt-ergo_2.4.1-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK8HDgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRrFAP+gPmUuRoSLiryekBu0NeNXrGatYdNsu8
wwxFWEgv+vIZGPRqDtMFV4uBmHhR44BlZYB4SRVZ+XBX4wEVxqruNAPNQwmrYY0z
vknoMNZAF3U3WFqZrTP9kInRDwRjGaP9mIhaOm5ZOXklBjUKYLL+6l0hAc5casEV
aLmQWIXqUtCdJUPiz8Eu3W3OSTx8eLKxmXh8tzjFe8K/jxS3rPtDdcm0apAJndCZ
I0YG5SeTtqv6GK1tIFilmlIndtclCfSDvcTrSn3YAQA/wtZhENbm1iUwVVQRMvW3
wdMLNblt2ixHrdJUp9SEO7kCXrWDImGs/iGs8Rm33nAVyzu1hyb0IJP1MC9f8M5p
eMdSLhpUzxOW6BRgUcm6K/2wT2E9Bkbfb7sndj/mle6dBAwHtKO+7SQPa1BG62Re
oyNDCOYJg7q1hzcqpTjhGO5jjJuri4K0FdjmLNvv3ZhxqsYtqfoz+qvUjrVlEF2u
pz5RCw99MqK5jdBK1M0BZBLxIgM3QKq88nAzbrTE0EQ5WOnyI0I0cd5HuZ2fPTwk
7vArj/kETFtLsti5zYxRaT5VKPENfQAFon/SamXTfnoXW1btElfxAo16DyTQi+fU
XGNHvL4upFlZPFFFxmcO8WZHSuexyBYarqOtgt0xdJsxkAeolV0PwKRsm2Hw1YCv
rEd6l60Vh8re
=wDOH
-----END PGP SIGNATURE-----