-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 11 May 2022 17:02:41 +0200 Source: paramcoq Binary: libcoq-paramcoq libcoq-paramcoq-dbgsym Architecture: source amd64 Version: 1.1.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-paramcoq - Coq plugin to generate parametricity statements Closes: 1010852 Changes: paramcoq (1.1.3-1) unstable; urgency=medium . * Initial release. (Closes: #1010852) Checksums-Sha1: 429b9e905447adb38832ed29791aebe8f035b9e5 2003 paramcoq_1.1.3-1.dsc 5f36c83b4a730b073c080e995ec7fd089a8166ee 45726 paramcoq_1.1.3.orig.tar.gz deaba6e466e10e9a8b9f5167dcd6a8aca7eca076 2544 paramcoq_1.1.3-1.debian.tar.xz 3d9eb2da2cd01c3458501f2ac748ebbe50fa11e2 12104 libcoq-paramcoq-dbgsym_1.1.3-1_amd64.deb f8a1c5698c1cc191628c3e5165eb75c4555f2f0e 113988 libcoq-paramcoq_1.1.3-1_amd64.deb 5283e474f3c6e6560546996ebb7b59ad0014f0ef 7308 paramcoq_1.1.3-1_amd64.buildinfo Checksums-Sha256: 044f22715ade03d5cd4ff416dbd0d6373647e48a89c5a9c127a981eeaf6f18ae 2003 paramcoq_1.1.3-1.dsc 235e1490f18b2985fd113b9bf17e33bf8b073360e13177c81f0e4879888420fc 45726 paramcoq_1.1.3.orig.tar.gz 476902d4365efd9438ce5e9fc287e449ee537a680be87a11e41d875c229b272c 2544 paramcoq_1.1.3-1.debian.tar.xz 035a8b264104866d6422cf0bc4cb8b4f4a82e0ebe2a93daf2bf3f2a89b51becf 12104 libcoq-paramcoq-dbgsym_1.1.3-1_amd64.deb 217e898a877a8c1a93b1c01f57480ff1373762657b783fb61cf0dad326feb507 113988 libcoq-paramcoq_1.1.3-1_amd64.deb 8559d4a4d1f1cef0749c0ee5649eebb7bb428410ed9e28ff4d387ae68234faeb 7308 paramcoq_1.1.3-1_amd64.buildinfo Files: 7c1b79defb3ed7e9f2b4af9f7bf848a1 2003 ocaml optional paramcoq_1.1.3-1.dsc d7ed4aab639d1670312b721bd82b0eec 45726 ocaml optional paramcoq_1.1.3.orig.tar.gz 94feeb64c7bfde2cdc3cc7fb10339ba2 2544 ocaml optional paramcoq_1.1.3-1.debian.tar.xz ddc5e9a3b4903df61c30fff4a1bc9326 12104 debug optional libcoq-paramcoq-dbgsym_1.1.3-1_amd64.deb 7377e2f55ba9337a6b32d4af42c3844d 113988 ocaml optional libcoq-paramcoq_1.1.3-1_amd64.deb 2ff263a308e8eac71fed435147a3d0a0 7308 ocaml optional paramcoq_1.1.3-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ71SoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/v8QAITqbkTMFd56uGvWrKjXtVWlI+mCFlIO CLpE+Kf5U/RDEphaUh9OhDm9PkRLRVgzV+KdN+sjkxEJhl1tWZH/3D6ebTTwrBCh A7VenS+PdzqNLfoG6FMVRsm59tELrpDzoJFNyhrC5K1TQXzvHde6mB6zFuO/3OKZ qNjL4SjjAwOVnATzSayIGbrpCGnUsMA5uRgIEDUQHYejO1c2UqK3el0C/G6gZ5M0 s0VflbDf3ETkBYgKTy27QPjcKtdnaeA3+it28GyxqDyBf8GE+c2PJQjZlJVwRa9z YFEqLD/2w4nUL+NC1Ozg9WOJGkwF7aYJILY3lTHT/04mSdDJbbHjycZ2800QwLGo tkEF0KlVHUA9nnQd1+2icmYPtaRryT+yLl27hB6Q4HOtqGQTjlTQCr4/YozJi8oq Flgop+u3m4nZDCHgPUZQdMk73WONAgH1RcOBi5BU5+NNYzFJIVKm43tJ9B0I1X1v u4UVj8tuXEoahtZrYU2iICuv8gceFreCKVSFGoh4F8JX3XexGP6kS2gJlX+/GkOQ 4LAAWnnxRy167qFjWAxTgn8HilaFmdQGaKDJ7NkFc8+pbNtCvKIq7BEpe6EF7GhN aY4P3JLgEziQOuTLVeP9ss+5j1iBygkxMLYcOFbcM3obTmGCJcsN9YYieC4ekDyH 6hhSJZwSqP88 =Do95 -----END PGP SIGNATURE-----