Accepted ssreflect 1.4-1 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 18 Sep 2012 16:45:50 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.4-1
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
libssreflect-coq - small scale reflection library for Coq (theories)
libssreflect-ocaml - small scale reflection extension for Coq (plugin)
libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files)
Changes:
ssreflect (1.4-1) experimental; urgency=low
.
* New upstream release
Checksums-Sha1:
c58ce6a96ee052a7579323c25e170a82fb6447f1 2229 ssreflect_1.4-1.dsc
c9e678a362973b202a5d90d2abf6436fa1ab4dcf 998638 ssreflect_1.4.orig.tar.gz
3d2cc88c9833bd44d65f8138d9c28b62e915a7a6 12236 ssreflect_1.4-1.debian.tar.gz
8b06aced5ba7244cea2aa1065091f04644a6f726 590378 libssreflect-ocaml_1.4-1_amd64.deb
b91ca4261c0a243b2f6d77bb5af28864f43ec832 83208 libssreflect-ocaml-dev_1.4-1_amd64.deb
fe0486216ea00f6a7cdad3c8d1f7968f1934bdb8 26198040 libssreflect-coq_1.4-1_all.deb
Checksums-Sha256:
703b9c098e94a60e313d593cd944033e5de63bbfaf33fa037f24dd5225452003 2229 ssreflect_1.4-1.dsc
f044de8f75008000caf0ad61829f936384ee2d4b5fa40630352826c07b125dfb 998638 ssreflect_1.4.orig.tar.gz
bd55a82daddbba9a04efbfec2eef7ed52d7e7d7357d8882c7dfee5bdcb2bc350 12236 ssreflect_1.4-1.debian.tar.gz
aa1ba4bd3f7fafd53a60a8e9bc1dac3dbfbd6a0ab90fa52f7ced3ef152b88697 590378 libssreflect-ocaml_1.4-1_amd64.deb
99fc4013d15f58ddc210d0cd95021ecee1d50dd3e6e842b171e8426b782b0727 83208 libssreflect-ocaml-dev_1.4-1_amd64.deb
057e1966177d5362b8e1b219375b879e81fed7a1f8b494f288e9c0581f38094f 26198040 libssreflect-coq_1.4-1_all.deb
Files:
ba9cdc336f23bdf95345d826b35c7f40 2229 math optional ssreflect_1.4-1.dsc
19169ed3a9c1cd783b2f6c3b58e7fdcd 998638 math optional ssreflect_1.4.orig.tar.gz
b953069b27d1f8c9474046ba3e4f61b4 12236 math optional ssreflect_1.4-1.debian.tar.gz
96ae2c338b50a56b16b984243562c230 590378 ocaml optional libssreflect-ocaml_1.4-1_amd64.deb
af46f4bc460a2995d2b0393de2ca2e37 83208 ocaml optional libssreflect-ocaml-dev_1.4-1_amd64.deb
99ba7aa8617aedb8a341f1d52aaa5b1a 26198040 math optional libssreflect-coq_1.4-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJQWJbzAAoJEHhT2k1JiBrTiGcP/ilwjJiwCnlBlVhPUuC9OUuU
ryNY41Q6bhupO+lu2mb5/AtonO1iwadJDZR1VgEf2K4HhQqe0hjstlSZY8r2TgQa
ptNEbHfpiCnkhF8NjkBe5LhHkWzREDQhsPQh+uJQlO14sC5QCDkwQARvbBEt9RBn
cTgOjzcsoVp9Z+8VSfMCs14owXvC44Wagh4UsYGMBDDfMXpH8Wz5kXEzme9PRekK
HSq9OxCuh+M+Z7n+Ze8wMOJW0ZLpIR1JGU7YE2EollmWLKBIQBt3oqsPXD0X/Cye
cM5fwJWuDZWPdCeHd+8k7grdkloLksoI28z97oNsO8Jb7Z8dQKSOs6I82/WDxyOH
LI1Ft77mNP31f6xMHr9Fp6iZKdkjyq5TORvE1dYjhrFbStTBR8y1NoMVLUZHYIDW
XFYwUnzapAp06Z4Sx36UaNtzfKdHuqBKdzO0qK4b7UXYPUbQkTM2J/YoqEzZlU0k
gBo8mAs5iHdJKvszw8/iybfxegLzMDTpHRKyp7VeZ2EVHJjtZlhpCwpFVy0IeFQT
ec8JzXg8ms2A3kNnTOQrh0I1Pf7Yh782ZybEK7YyubbVcx2IY6q8+LIBGoK5QkAl
Jh11ylvfh4c7Kh+a7xRJvUQ8gSl4ZGZwBjT36Z1s106UPOcgw3tVRrunKjeZP/b2
PN7XUyeIxBeaZiegQLAf
=f8pi
-----END PGP SIGNATURE-----