-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq-mtac2 Binary: libcoq-mtac2 Architecture: any Version: 1.4+8.20-1 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Julien Puydt <jpuydt@debian.org> Homepage: https://github.com/Mtac2/Mtac2 Standards-Version: 4.7.0 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: d64ca8604cd4bcb89518d6c81f96422fb404ea7e 252390 coq-mtac2_1.4+8.20.orig.tar.gz 425644da2df91ec296c70a0145fb58ad24c2374f 2924 coq-mtac2_1.4+8.20-1.debian.tar.xz Checksums-Sha256: 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz 32d63f6f122bb1ecd84052381f7f617513d19161d2b68e51549c4c9523199a86 2924 coq-mtac2_1.4+8.20-1.debian.tar.xz Files: b2f719ba452e18f8c309f5f69074e640 252390 coq-mtac2_1.4+8.20.orig.tar.gz 26e75ae9ccf13817a044f4ab8f485774 2924 coq-mtac2_1.4+8.20-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdB8YESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRqZEP/12EOm0sXZ3x6GTxuNx0SQOd4wLBwsZg bnpSLfwAzfiiVhTufxuk77Pq559iaqwtrfY72gJi8nc97NMTq8wVXQ34wrs5MiRE N5CUumKQzI498wCKmJfA5ki7fu88uJEgMAteIgLsSI22tMByl30rLYn1y9lU9x3f ulqJXUJCG4S7IgHMRA5r82kM84yzqk63HncYaVZ3xl+XpT/HEc4HPzYCJsqLHgmR ilbkxqgODLZItiMlbxjze1eHHkr9Zk5J4NYwaO3rE5oRAXN5V7Pwz9Ub4NqhjgLK vMQWS2+W/966lHgQotI7YSDkXL3brjGr2lPLTF2Xm/85UxUE3q3X8b3Ps+tZpqjI 2kzxH7vuEb9iMNaRlx57Z3kvn1HjoMmb021woG20BdO6rSlQKOqp8yu6WRiLn7pO wg43DPuxqL+cODeNOwV84wbX+Xpii6c0Ptf6OcesSqOMF0mKNWVNYwBAIPD/BR08 vxLv50ynlNNehfem/YXk3/VJ8f8hBEV0/w5IP/ARykOotoqXtMEwhuXlbDiymTUJ 0x9XBoYblO+Ngo4zx5fDMGWkbVTPT6Qj+rG9cceaXQU4AwcRYVeLP1a5P4QvRiXG aXR+STHBR0T9vRm2VxlGwPz+Ttd+Q2dyQZByOpUk/4INPHNC5/i5fQd9rtPVmyqm jnuI4RrLvQ3s =tL/E -----END PGP SIGNATURE-----