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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.19-1build1
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
 1f238f68359b02adcccac390f49290e42b62bf35 3168 paramcoq_1.1.3+coq8.19-1build1.debian.tar.xz
Checksums-Sha256:
 b5f6e0f29a6cf2b6154bc73a3a21d272ab18bebb0e16beec3e1b1c3a043df55a 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 cb8670c454fc2c3cb20101e3a2abe6260a15b08cccd274f4f602d78fdd75cc6c 3168 paramcoq_1.1.3+coq8.19-1build1.debian.tar.xz
Files:
 8195351e30a8ac84fc12c736ab09ce21 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 900523d00513b5e66fb9f7f7b077a7d6 3168 paramcoq_1.1.3+coq8.19-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpwEACgkQ808JdE6f
XdnzRxAAsgm786l2aAJ/l2enFFdjWrLj2AOIzMYBKqpu7OtANAn9A8CSyhLmjXQL
dKYEilicfrILu804vGBT+iZ2/cDEGN6pW7ya1JJz3/nQmFHZn+jg6W1zjhl1Ufek
Qr8ankSgiTWK4v7EYfH2zLSWWHb5w5IS2L3Fd3b6UBd6FC+ZgDPnZMU9X7VTPp+3
9WlYuknEO/bDymxno9F08UFDdH4ZLHwyXGCI8HT4tHAzhTOhoNJ2ealogfyPbZWY
p5dAWqCs6dCf1jggItcAx9Pc/lf9rpgvXwFP8i4t7BQJJbH52fATTE5HK4qMpZdl
FULKIzUW3iPuVZkcMOjPrqTiM/R9Ilylhd7HjKVbh1bQKl/LixWo03UsPCPMp0qP
BBMyz73b7jnsDaFZX0GWKWXKQw4gvBuK4v9rHGZzEj3/6jNITHtJeZ0rLNpmdLGb
ALX4JQQuomEQxbjeIgd23gxhGzqs2z3Godj3Dtpfx5TaQ/EvqudaszTS5YuIxFnQ
4EO0bXofbEc3oT6FWqt5oTE5RdYYikXo01uH6HVvYIMTdavUEMEvJpval0m04C/3
thia4nrcPyqMBkytkN/78mdCK3bTXFabFmpZTVC1EPnzojgkHjC8ufV0EhnrsLhS
MTs/UpOgkLu2UaHJJ236nHUB0vI1QNpwI80jvFTCm5uoSGZStA8=
=IcYu
-----END PGP SIGNATURE-----