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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.0-1build7
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-ext-lib
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-ext-lib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.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-ext-lib deb ocaml optional arch=any
Checksums-Sha1:
 2014297759e8e54f2e5cb57ad6c096eacea5eab9 85306 coq-ext-lib_0.13.0.orig.tar.gz
 75d0036711c3f664d77a8e1706f8a3b5bc8a7af1 2644 coq-ext-lib_0.13.0-1build7.debian.tar.xz
Checksums-Sha256:
 e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e 85306 coq-ext-lib_0.13.0.orig.tar.gz
 51943c5e61523f4d06fe48d4763d5b153968930354de74d59965685ce57c83fa 2644 coq-ext-lib_0.13.0-1build7.debian.tar.xz
Files:
 0393eb00e923631c5316bfd49144c95b 85306 coq-ext-lib_0.13.0.orig.tar.gz
 100ceb82b6671b7f05a6e211602b99b5 2644 coq-ext-lib_0.13.0-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmmv+gACgkQWWH9vpxh
mAk0iA/9GSlH/et/JyaOra0cvtcPjmwCjYfyGGxdk1mxy0XjeRljJJBj6V0DconN
ulz0Yu/olBNFFou1P5UIrUJQsTE/S9d7fI9LCcQ6Z7mXuNgciQZnPgZrS1AWfiyh
K34pibkPB/jTZLdVn7u2GxuG9moapLjZrukhZwM4s79Ir+O3eCHoDMDgohYAsHZM
dYRYh3UzOaN1N5Z1Qtir5DyfzG8k5WZdAOWXpGGPP7zeM+N78KFacTOq/J4zm77l
MN8hnkz93AY7wYEqoOJM7OPur6QHom5dJH3Z2jM0vFHIDoJgyQZsGX2vIYXaOXiL
332Oyj4lrdFljEEG3u5uSsjplSFRObE3eyb0ZJMl1xDJ3oj7R5QAt9vVnUn3QU2j
JxEDGIQX6Pkk1Qm+RB/7sYYRTPuVx2pmnwvEn8vLLnBneKPNk/9sT2Bi8KQyulAx
XCFjRwL3gEViP0RGm3ey0Vjs32rWw16pSNqtjJFRJRLqq9zbXJAATRnu0uOzvC7e
aLBcSrXE5TESALwE+ZfWOaLak+1eFTmDIGL+EIJT3/DEUvcF46YqBEEVjEGerEHE
7hvwFIgxWburumJLGkl0yjyCB7GQDqLahFCEt1KB5FySltk1S+XgJqn5HpiOf0ep
6JfnqeVdmYtsx7ZgkewiIk5k6Y1Pi6rRr9c8E2C/G6PUWSdFxtA=
=tIFT
-----END PGP SIGNATURE-----