-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: alt-ergo Binary: alt-ergo Architecture: any Version: 2.0.0-8 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, ocaml-nox (>= 4.04), menhir, ocaml-findlib, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4) Package-List: alt-ergo deb math optional arch=any Checksums-Sha1: 594a9fd98182c47155206f3e358ef27b7f30b059 353488 alt-ergo_2.0.0.orig.tar.gz da36eb2c6beb55497d0a57012da83bcf667e4beb 7380 alt-ergo_2.0.0-8.debian.tar.xz Checksums-Sha256: bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz 9aa91dbe4346bde850bdb2d2b4f1178a7367485c98d3c3cfce0b59b19ca5b43d 7380 alt-ergo_2.0.0-8.debian.tar.xz Files: e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz fed3bd86dcad939470c7da405c218585 7380 alt-ergo_2.0.0-8.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmF5qkEACgkQdFxHZtTK zf+gNg//X4++GiIxyLsyIV8hC14Vn68fG5F89tK4GX+H59CE8btoJ9NoqNKzrjpb 2d2wL+FVKAWbkhLjp+HEdHWOWETrmyvKoOhxTZU2gc728gyHMQ/rLNr9EGd79PKW e4Im8vfXqxewdFFzTL7jFZy043fUQWYBilJEkIB1rWfKY2inTxeNpqLD175t8RJG h331ihA2TKbKvZwl58vku669unoJP5jIjDQx03l1qq9Ur7szPi14qVCl6Z/UC7bp gdup/2LcoQrjdyAaWkRiTaSV91S7pwtBa/h+OfaLfMUbHdpmdr6I7ltPuYtFG0h0 ymAjxVR1vvd2LZd0to2pYfJdbBALoNszyRbfnTST8hAB8VIbgS1ybtAkQvQCozHx FPnRix5QEYTdvDp19Kz670BLCWoZlxkTHSXlL3774VSs1/0SX40yCVG1MCPYmUD8 a/finkjF9MP/fUwx3BiZDRsbs70vo6EnOUDTGb9mXkUpTrt1bzsR1vE8UOySOxrl FnMuU2/Vpwqd6TAem+1DYokHhKX3sBSjrLm4ELyM7iL2WvNl2NcO0h0cexQzPXMs gRr+idjg4+zE++Jw+pyBdDOqVk2OHzwlPy6OQC5SkRHZu+MXH3dHJ31RkymdZmkG W4GrPuZwCw/qp1Z0QraDANSSydZult6db7lX6RozzmlujN364Gk= =MDm3 -----END PGP SIGNATURE-----