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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.18-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Mtac2/Mtac2
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-mtac2
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-mtac2.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Package-List:
 libcoq-mtac2 deb ocaml optional arch=any
Checksums-Sha1:
 10bac22248f19fa3872559037caa1cad76c9e5d6 252158 coq-mtac2_1.4+8.18.orig.tar.gz
 96723d4e87fe7dbb202321b7b4dda357d9601702 2868 coq-mtac2_1.4+8.18-1build1.debian.tar.xz
Checksums-Sha256:
 3c37480148a24d6d948871913d7f626ab03d944cd6aaadf25cb2f40094f08cfb 252158 coq-mtac2_1.4+8.18.orig.tar.gz
 8672015bc803d8e92b0880112631cead2c26aebd8cddefef6880a13ef9efe868 2868 coq-mtac2_1.4+8.18-1build1.debian.tar.xz
Files:
 51b768f6f78c09d069eafd1378c7391b 252158 coq-mtac2_1.4+8.18.orig.tar.gz
 1be1f86b93e30caa5d110d3aba66dc9f 2868 coq-mtac2_1.4+8.18-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cGUaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1t9w//YF3fV0BLJ+hqk4K0C2xc
FLorUK1pCNnre2GaieBoQh8DTtornZVDTKIEW6ZwNgwcGFgs0css7oJKDDJyA1WX
q+np1raImWmOahRkKr2yX1ZwVNEvybd61pmcp9RF7x8T+fYTwnMZSGQToe6PmutW
qHTNT83NPj78kYa+VYKw5xj2d+9HXVl9n/WpZEXPZWNOfej3CZuumNX++DNCPggv
HGjThLyazthHaMP20rt9KZFITAemf0OyWWJFoYaIxOy01opqOIDKWnQ4UnZAjVGj
r0bHfYSlb16DflKfdZTM7LEYUAPu2TJzkmkgvLeaH9z6TjuyNxLxoV5XuCdmXyXn
ObZp8vTrrjGTGL0KoDZrzcBtvaDPxYQ5Nh5NGGvZHgCe9KAjCmaR0BGjNOx6Is9r
XAxHMmIbl/+qmtRdoerR1j6EhKAItMlxjq0HDrseamj4XOMEPPo8ACZaiU3wIusb
Iho9+aNEfoOGof8uhOI+MLSxQCKjJ92AAtmZgpAD2pQ7nJ10GaQ5oYPTh9T6Tf9J
nFo6QXeoJPEef9KPSkmoq6KPWySSXQENDqWGNqYM7S4k9sM87ssNrAY7oMWYYLkF
20LcwGAB0DQeR8nun4WEnTc1Xlnfdx5u8nM75bdutILKHM47TVBToO5lmcOYK3yK
9CMjU9IkpbRkMPFjcheoIm8=
=T/Y5
-----END PGP SIGNATURE-----