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

Format: 3.0 (quilt)
Source: paramcoq
Binary: libcoq-paramcoq
Architecture: any
Version: 1.1.3+coq8.19-2build2
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
 454fa0bf8dfa6129191f675e690f4547040c3c88 3320 paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz
Checksums-Sha256:
 b5f6e0f29a6cf2b6154bc73a3a21d272ab18bebb0e16beec3e1b1c3a043df55a 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 cdbdaccddcd5bdcef88abcd1947a9818e919b9385ade005d9e260b8310bd9f94 3320 paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz
Files:
 8195351e30a8ac84fc12c736ab09ce21 45881 paramcoq_1.1.3+coq8.19.orig.tar.gz
 7a57e8ecc9c301a8e48f0522a7fb6913 3320 paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZJ0ACgkQLIPbyOm9
DjecDxAAhqXBNPxinNPg48u/iIYx9EOnlhA5cXQiNbG3Xg46ucQwKgc3SBF16Bas
a4yk2zySbEK9MThOCKzDr8q1uBa3+Bj3nrNU3n2/3pdFMRcBF1/xCxeGRYVBt3+C
1obv8vfdyecldOrDqojsyWqpZbg3zEMUVZZmZpbv78R62OlLW9dKPIzIOJCmeRZ5
umlHSzTKIOF7tbav0JGkNhvq+bP9Wcfm96HiMA8hUvZZ6z8zMtkgcH04xuPX3q/S
pu26GPEaM/kFgb5b588cNi1UqS311GFPL7C8akS0DUzRV/C0fi9W9m7cSk0shTvP
WZwCldgjl8Mwyaz+5vmNw1Qwn1ML/CiT8OJp10s32HZKg7h4Wzv0NoOxM/kQERcd
t1LzaLfZZFCLbKFk7oZnmPTxwuZp6yvK+IW8Wlz/ZuwqyzuRTC2V11T2/X1WAvoQ
Pv2N3MGYt0SfML2xMfBCjlWAHGRB7zQ81xe3/rna+fETk6uBl+0hnO+hQeTim9Mv
GoZo34lD2QcKVzu26sKfU8xFeFRMu10krIjRZLG1wfy4a2ivIGErvjxzUzDumcFu
dGBSeCSlf8oSRIkBy30r3r+XzVTHWPc58vOV30QwK+gOjVt2JLF/AQawL5uyuXrk
/OpPCVeMkXurlfFyVrDy4DMvCytlCSP8lNDfcaVw3Mape7CQQzI=
=IrUV
-----END PGP SIGNATURE-----