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

Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.12.0-1build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-ext-lib
Standards-Version: 4.6.2
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:
 e55370aa1341593d510771de4bd244c8d7f63c5a 83450 coq-ext-lib_0.12.0.orig.tar.gz
 4ff790f75a7e5a370826ee4a18847ceb892ece2e 2408 coq-ext-lib_0.12.0-1build2.debian.tar.xz
Checksums-Sha256:
 b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51 83450 coq-ext-lib_0.12.0.orig.tar.gz
 651de6840c0b8452c6dc4f68dac804647e03f187ba438836deac31a762269f79 2408 coq-ext-lib_0.12.0-1build2.debian.tar.xz
Files:
 ab08c703d854fdb90f35cf40614e089a 83450 coq-ext-lib_0.12.0.orig.tar.gz
 c27437e2d48e50d670fc906bb07416a1 2408 coq-ext-lib_0.12.0-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cBwaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2npg/+JgWjeklNTrABiEYti560
EEso7LTWNZTDEsFW9QSaHlauCurvPZ0g6/BjRjThLiB1TintZcWLIDr8LGMPWIFa
cuus+nuyMd9m5JSHRUD22GEXtQez7Q1/6OUaI55jn2tyl1gMXMNu5VUdut4DyPex
aHQUE7VRbKnedINNR6taC6t4rbnEMzbouXWY2EaOo+DXVBcujqjjlSHIoagVySKv
jYTtZSuu2Y9krsqiTKxU1KNN57ohsVofd5Z8gHa0xBHI0niZaaXh55m349HxKJMz
55Xdx809IB3HuPbtuP5I+YqCJO5JcKLylug+sI668+mQpEjgA0HpNEOcY0Z8sa3s
4EdjXONwgAHikXYbogN+EKvVQCWhPlUzEkT+WSG2oSTNbBpPo8uRNgkCFW+EbEtw
rYQuHWVkj9wItGqN/e4KqMai73osGWVWVakb4FQn0V7IPIr8M4vgWUXgfrX3Ikx8
aQUk+ie/5QNKjk6rtQAIh2QP9NEM4sR3MEuhRKcC4OPVZfB2WNlF8eUjZHPp3iBn
NOcDJJn15uwB2MYct96remulCV8gD/DfENXYlM+554aR4MRRAVcQmxcddXVVRcjB
1OWN20o5lnNU0qUKbsJ3/LtfuIJYpQ2bqRBSmf4m5XhqytJ3uNu6AT4k2jl8FTLI
io1W7SaXxjiSERpCa3dGQt0=
=9m/o
-----END PGP SIGNATURE-----