-----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-----
