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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.18-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/unicoq/unicoq/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unicoq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unicoq.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 fb0277f5527212e56f816561fc3f3a0b76e4ea97 593629 coq-unicoq_1.6-8.18.orig.tar.gz
 df1ecf9ae835dad351f84f36060c4ceeb98767a3 2792 coq-unicoq_1.6-8.18-1build3.debian.tar.xz
Checksums-Sha256:
 1823ab31382fca6e7d60437b02f02fb165298ce75897bbf8868ca8a7c6ce847a 593629 coq-unicoq_1.6-8.18.orig.tar.gz
 563bf376f8d20bb1cf2de48961f6826460e91f0b23794011b24616fcd05074d7 2792 coq-unicoq_1.6-8.18-1build3.debian.tar.xz
Files:
 408728377d894cb6125443ebed4ad9a8 593629 coq-unicoq_1.6-8.18.orig.tar.gz
 e8db00bf7f0199a30e01dfae512b9fa3 2792 coq-unicoq_1.6-8.18-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmY4ACgkQ808JdE6f
Xdljtg//fUCF49FJo2Ar0kjFRMrpsVE767WrvK3gZiiBtFPxejMw4g2a5FKK6wNf
T6PcBzlFDC0SzeaNFqnW5jsZ3pSZ8pwvg//QHHQgdSf59yVs2MsoAdQhcH7Ha3fP
zaJsVLOzucqykQNYVHRbepXUAJ3Vp46NkvfPiySoo1ETpUKlLMgkvoXgaPuobX3+
xjEFU4/nGCVwa7tDwqehK1teEw3ckN3jslElaNngdnKlkQx5iGKlAFXdCvWm3Qge
Uh3JCx1jTrsgXjYlvF1nVn2kHEONpojQk1ZgAFbVVoIP28IS9JEkl/SfaPedTIh/
06+NwWwHY/2eqW4Fpo6TFUZqsklX9VzC8c8GPYllJ8iesaQse1ZA5lxbVFA+mSpb
iqmuius9wHSLFcQAsE/QJHLQxhmAXtzmbEf4GUGoWyvKpIXRjG4zfbf/V/k5Jjvr
1gaNmrI4ZTTILjMqfUu/yWmoSepSRAjaGTGDpQBf5QE8pm4i8h4ycgOwwLmrwozp
qwYsxg2BX2OVi1emejYJ+2pMYCak+XQqvjHAHmxn1pPuQBTp2rgqDPsklbv5kZ6V
17PfuPmvwvNHvpZlQVTODbXlf6rjBN6kRXK1dn0JhfkD+KyDu1E/oQC/5w7FsDeW
H6R8E0s+gymzX1svkeOC/VxSOIP+zd4M4L0a80hoNaK7NFjDKfA=
=EfB2
-----END PGP SIGNATURE-----