Accepted paramcoq 1.1.3-1 (source amd64) into unstable, unstable
-----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-----
Reply to: