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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.19-2
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.2
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:
 7dfd1153b6beb50f255fb1fd29a9083b41b59731 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 0b8aaacc69020f4299a161231b621f89c0c16c1b 3168 paramcoq_1.1.3+coq8.19-2.debian.tar.xz
Checksums-Sha256:
 b5f6e0f29a6cf2b6154bc73a3a21d272ab18bebb0e16beec3e1b1c3a043df55a 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 9f9d0a76a89cd70463a9981a2b4d30a1a4d63a07464c56b9bec11f23351e03b3 3168 paramcoq_1.1.3+coq8.19-2.debian.tar.xz
Files:
 8195351e30a8ac84fc12c736ab09ce21 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 b765e412576c5ce31779591ec820001a 3168 paramcoq_1.1.3+coq8.19-2.debian.tar.xz
Dgit: ebe086f200de2fd06b26b8079b70cd91ecd13fc1 debian archive/debian/1.1.3+coq8.19-2 https://git.dgit.debian.org/paramcoq

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+M4SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBsLcH+QHw8bSWLjDDgaG/rDDo+MkqzhUPEskj
QAhKanFDqMuo/GwVhBiCfMyonFCAQrhNJj7Jdx/9Rwl4xwc+EN74xIf/w4IwTBk9
N5l0bbf0vZ5OjTXF+q8DccGUTYGPRq/zGCiuIiaHmAHKaq6GYJLcpdfAfyTDjhHF
a7lP71sa/GxWUWP7eb53E+X201mUXccDZGxKgtfoYObWr1++GoTzu3BuG1tueZ3a
k29P4tCaH0RkK8u4LUw8s7vpT77pn8/EAbBJPMF6FY9g4tI75T6Z+yVkNpyv5Wqm
LgaU5esPOWMQkdZY3PZIs1BOvTa+9CsUKXyAhNkV1Yk3iJ6Li53oigQ=
=JvoG
-----END PGP SIGNATURE-----