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

Format: 3.0 (quilt)
Source: coq-libhyps
Binary: libcoq-libhyps
Architecture: any
Version: 2.0.8-1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Matafou/LibHyps
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-libhyps
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-libhyps.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-libhyps deb ocaml optional arch=any
Checksums-Sha1:
 f76fddba5e33d6c43ce07a437f9916fecfc41a08 37247 coq-libhyps_2.0.8.orig.tar.gz
 410906e2ccb209900ff2e503f145f5e5dbe8be82 2244 coq-libhyps_2.0.8-1build2.debian.tar.xz
Checksums-Sha256:
 e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2 37247 coq-libhyps_2.0.8.orig.tar.gz
 82efb8026973fd14b92b3b7038723c84304fe7a06ffbf3758e4be0a1689a00df 2244 coq-libhyps_2.0.8-1build2.debian.tar.xz
Files:
 ca5263992fcd5f55211991f55a2d3c73 37247 coq-libhyps_2.0.8.orig.tar.gz
 cea2b069a87df6a030aafa774da120dd 2244 coq-libhyps_2.0.8-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cEsaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1GhQ/9EMu+AHUoVRkEnHaOCUXc
nm7E3TuiD01Ga5cqK7fuZJJzO+CNdEzH4UmrGF1QRyXrqHdNLkXlJW19d58+vwuP
E+WWe2CQ9LjyuGkKxZzIB9A9LOiepjRtrazfr9wX9HA+ltN0PxtBglH+GQHjveIO
VGjRO46S2LS+3I7zFpa6eosfyEWsA86UuwnhDH7Ws+wQqf9dCx/oaEo2VTPZI6sd
4hJ9ThVkZGbWlnn+a0HbIWczbGPd3Mapc085lpKnGeUr72z1P3r4a1lyWi5iTiLO
QWSmlD1eK8ZBw30HButuM82/7Hn4oomq+paiY3rpMUQuke5shS4BWYAFbiU55mEy
SSRL3LZRr7iYp+tirTIP8u76qCgJ69czR+6INWUKirei2v9g4CrLGIJGBpwZDeTe
p40Iqy7nWGWEg4vUKOLMuDqHkF2GaRuj3HB1VbcIKYRk9VSQJZzbPk7c0ccXr65q
1HWujzeaAjuJvNnkmy4H8Nwr+QOrDkBQE5RdxR+wLSi0ZR9sX4uKAY9AI3LAzWTH
X4fxbzf7NI5j/X5jH8bl/m4WCvwDGzb32s1eAjkQ7k1Yz5A6oBLttMZZb40V9lyG
bFXFRUOhy2r/Gc1Am57aTpsWE1Uu/Pht/oMawljF4Sq3HgWy209T82C82kqSG+59
KJJZPRbAYUj801+ytSA77q4=
=rxDK
-----END PGP SIGNATURE-----