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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.4.1-2
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, 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
 0e5e3f8d4fd49c3a247eb1dd6eaee6d8b4c81cd1 7136 alt-ergo_2.4.1-2.debian.tar.xz
Checksums-Sha256:
 ea107a30d563c969b7aa73ea556710cae9e5be9b05d12100a2665f14803eb45a 2883046 alt-ergo_2.4.1.orig.tar.gz
 d0665637409757526e8beda242ca5eec28875d48c2fce0896e3b1c400c893ccc 7136 alt-ergo_2.4.1-2.debian.tar.xz
Files:
 35d6c6f3fa43bcd10fe7f524b1eb59ca 2883046 alt-ergo_2.4.1.orig.tar.gz
 df160fbd8bce7cca14466fedf992d346 7136 alt-ergo_2.4.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKRwvMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRw54QAIK07D5790dy8/bBia4+DcuXvUwdb3lL
k/HiCOGupgxgK/lCHsDbDvCzYKgbWzdlFKjm0/t92YOmoqYj7ICY4bEvMzSoSRjA
1iGjYfnRRNkZsAd5RtEmnNEp/RYPT7Rde7v73l/ZMHaHxtLD3pC1m/1ShjsD1dZD
6zgBVhRXqcz0TU44LMoWIcsaFrzn6CccVYU3cpoVB9gKuAdJNdYUeIrmxx4okeJY
jF5GL2PrG/d69U9umpEPCM0rzvVP14nQ7XQPR/v67PSh3PSX8mpg7AvYpoBRORbb
VmNy/N7TVIBmupzqrHOcrlAcV7h4l2ZsQ+vFpF1/QRA18ex4J/bfP/NG7TI0UGEx
qhgS1mSLpmeuKGBHNR30xprs2pY0sbc3ry7MzoRPqgQFlABCWPXaMdvjlU0ms8Kd
JqLydaGegH/xWqXKZuRhv1CHelL9plkG2NowUtMphPm3+gkE0/PaoDTRbR11OJDO
XE2wryKtgGFynI1f9qLuD2HvSkPk64sUguJO6TOFTU0WGCIzQBcAJKmgvx7cy/Yc
pvRN2oQlxihBwfmcvlHD/uSM1beJMARy5LkeTlWlSeqVkIoE9imvqrEjn857CY5m
2ftBP2xGcMu6mhs5/J11EGIWpm40cMtb+MsDtQkRDS/h+grB6sCWEG+ZnKUi7yAN
OFxJfuC8iCDz
=fyZ9
-----END PGP SIGNATURE-----