-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.16-3build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/paramcoq/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/paramcoq
Vcs-Git: https://salsa.debian.org/ocaml-team/paramcoq.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-paramcoq deb ocaml optional arch=any
Checksums-Sha1:
 7f38b7dcfa1502376d840213722f0de0db0a26bf 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 be74267a14a3b233d91d1823a0c05216cd5c9cc7 2960 paramcoq_1.1.3+coq8.16-3build1.debian.tar.xz
Checksums-Sha256:
 6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 11de463011c8dd5ce0cba81f8fe046ceb4173fc01560c71b9fb1ae195358e937 2960 paramcoq_1.1.3+coq8.16-3build1.debian.tar.xz
Files:
 ae4a02f476e0fb5749e33f80499b13db 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
 7f8fda71ebe47ffa8816b031733907a7 2960 paramcoq_1.1.3+coq8.16-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSea8ACgkQ808JdE6f
Xdn/PQ//as7fKDkqAelI6xXEHcHcO57wI5wjZc5P2rhE0Lr7JK4E5tr1ktS3Qev4
5PI3JyyUIvwJp5vK3OpOGpa0Q8/n7pt7uo+3wR92elRAaAQGErMmH1SOm7UZzixN
pgeXgZhtyr9D4pWaY9SvZ8aIKB45qpfeJ/Hwm6crMh3ZCsUVLAou0pD2KyZyBj+/
5wnzmOgJscO4zvTEmuyWOHYQ8+16Iy4dTUI1H8gNlv9pQpB1XKKCEKQYaxfccfj3
AADEPBIZSSpRsg6/Cl1YMRo1HX9MkA5ip6u6RfQ1jAIzTKsEjMTVAT4USIRkzKwQ
4o12bmasHEr4e3FFYz9X6qsnfk/5GTe0oJiUv0C3QrEXLLPJr5WAHRcAEQToxshP
UACv/ITIIIi4Xra0DZxYapFctnQ6JTK3yMg8SCq2eYChuCPmOBv564tOOnsST1KA
haZIi/qb228eWk4ovKvEiC71o5A4zBaRpnp16FycELiwXYdVIezybTRi7nNx7FuL
VOMQaRWBGLVvc15E6T1HfTDDh6/FI6j49eScLqd0ZlRySimdbWwCI9jiUTpLo3C+
ly3ALc5JzlrI1GUfwGN5Jaym7mPSPqm1xP3UzsJ/Bz0XwKXTKHOAW1CzAjT6wvOx
Mh2bTC4ppw80UJu8L6ou4CMlPHMKkQTGBztzl30guT26XnSk47Y=
=o3ei
-----END PGP SIGNATURE-----