-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 22 Nov 2011 07:16:04 +0100 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source amd64 all Version: 1.3pl2-1 Distribution: unstable 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.3pl2-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 8d60bd4f9523949f9f4f0e97ed691394efd80248 2250 ssreflect_1.3pl2-1.dsc f32e660fb35a4452c5e69596518f17ee413a618c 834754 ssreflect_1.3pl2.orig.tar.gz 577b28a86c47aac583f973d85a2b94f4c0a0ea87 12259 ssreflect_1.3pl2-1.debian.tar.gz 4bd9d23401bc9387a375cc7e450fc44a5f3f1a0e 476286 libssreflect-ocaml_1.3pl2-1_amd64.deb ab0cf171b4640e0c428cb763b2ce69d0da7c3c05 394514 libssreflect-ocaml-dev_1.3pl2-1_amd64.deb 696fd7b079658ae147652fcc5818f2a561de2c48 15753172 libssreflect-coq_1.3pl2-1_all.deb Checksums-Sha256: abe5c71aaaa26b574305cfede9ad979ffa2b86ec8b131702f0a10ea56a9efe5a 2250 ssreflect_1.3pl2-1.dsc 9a3e10cbad61c307b1b1d4a80c17e39ad3d2c52d91dcab9292f3ef2bcc525339 834754 ssreflect_1.3pl2.orig.tar.gz d5648bbb8a49a60c9dbf7ef7f81704a14c560fb5ae9fa3a248f298febcf01a01 12259 ssreflect_1.3pl2-1.debian.tar.gz 4beb0c99d4c753d2557bb2fc4323ae0bc1829a04756dfc9a2ebe784b012e6e98 476286 libssreflect-ocaml_1.3pl2-1_amd64.deb d26c30fda6859c146a2fd4667e57030cdbf3aaebb6af7767bf4b39612d825dd0 394514 libssreflect-ocaml-dev_1.3pl2-1_amd64.deb b411924b2afa2ec609fa3e4e0f1d5f9253bf3018c05fc2ed7149a003131d1044 15753172 libssreflect-coq_1.3pl2-1_all.deb Files: 7b830b52845575bfb0bc65637046b771 2250 math optional ssreflect_1.3pl2-1.dsc 220592455f2076f0d50af2081b31504a 834754 math optional ssreflect_1.3pl2.orig.tar.gz b4e2a97030dac15f2d420d396a221eaa 12259 math optional ssreflect_1.3pl2-1.debian.tar.gz 246ca0b2cf7f9848b3131993c5ba7e96 476286 ocaml optional libssreflect-ocaml_1.3pl2-1_amd64.deb 8e827fe51e7e53f20f674961b4101b48 394514 ocaml optional libssreflect-ocaml-dev_1.3pl2-1_amd64.deb b8738c797ce48a30b6b0416a8a331fb7 15753172 math optional libssreflect-coq_1.3pl2-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJOy0LGAAoJEHhT2k1JiBrT5fYQALrxRPjtdGZu+0kpNPLBGXjA d0jm7RsOeZAHB7bZ1dkqg7Cfju6NMCSXUT+rylmb8IIoJCJ5pj4uBnRMBG07mIVd f+03eVGLDsEvNaCIEmSPK/Bx1cqey+CiR8HqWEJ/ABiO60JoqGoVOlqiD3qIqmn1 5nxJh78gGwvBfVQalz7IhKwZXC6Sp9qut9bT/nnXrB8htx7Fklkf0UF2SHuoDDfF 8wq76NlUBrFPOxIVCCKtYXlkeNW1Hz1ZbiDmrbU9n5CVLJ7FvITzKj7E+zdeydFK jjpDuuuIo1PV20RIDwQOCZWesWIxXZke5DHkHdDAwUI8u3xmD39pbqS6nnXGCnpF wg6NqW7EpOuzcIMNWJHd1YCeQbcrtsEBTP14iMTtSwV3sp7RcW+9hOY61SJ8X2tN 6vVch2sonU7JaLZBiFt/mNRCFlKn6p/aaUUXHNqgnyebD+pqrxQbT+MZ3wIXIrdi aPksO5a33vngmNBZzAIKzMxADXvHYMpKbA7SvKLB41VI2oFvt43JeGu5it2qnpvk Ur0AVpNT7zqCDbzyE5YJOe3morCFtSZ3L80z8/VoPzL5JntLcUh7Ys5awUomNm8c K+fioR1AlA01pfsOCYJ5aeMPL/mN9cEOTIrxsBM41KisBkGUv3xS6fQfsQvzByf9 R8ykczpyeDEUlgnmwe4x =PG/6 -----END PGP SIGNATURE----- Accepted: libssreflect-coq_1.3pl2-1_all.deb to main/s/ssreflect/libssreflect-coq_1.3pl2-1_all.deb libssreflect-ocaml-dev_1.3pl2-1_amd64.deb to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl2-1_amd64.deb libssreflect-ocaml_1.3pl2-1_amd64.deb to main/s/ssreflect/libssreflect-ocaml_1.3pl2-1_amd64.deb ssreflect_1.3pl2-1.debian.tar.gz to main/s/ssreflect/ssreflect_1.3pl2-1.debian.tar.gz ssreflect_1.3pl2-1.dsc to main/s/ssreflect/ssreflect_1.3pl2-1.dsc ssreflect_1.3pl2.orig.tar.gz to main/s/ssreflect/ssreflect_1.3pl2.orig.tar.gz
