-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 20 Jan 2014 08:53:40 +0100 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source amd64 all Version: 1.5~rc1-3 Distribution: unstable Urgency: medium 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.5~rc1-3) unstable; urgency=medium . * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update debian/watch Checksums-Sha1: 9299a26f239875cd8e9902f27b0d761355110458 2240 ssreflect_1.5~rc1-3.dsc e718fcf18c1e993f06d1d18e51d06d3aa729cd8f 11448 ssreflect_1.5~rc1-3.debian.tar.xz 9600f8d0ce9e600f3390d37cf689e0f377971e34 453136 libssreflect-ocaml_1.5~rc1-3_amd64.deb 1d2305175cec2675d4d5e02e7c172d0279b86547 62394 libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb d6e108fced1ad1a6cbf00fc6724cf2b9219d013c 1190406 libssreflect-coq_1.5~rc1-3_all.deb Checksums-Sha256: 5ff8912de41befcd1ded43944ba0cdc6fc00e948c61531348b69d26b576d4db1 2240 ssreflect_1.5~rc1-3.dsc fd273dbd60ed2a961cde3ad753ac542675a832855f1b3cdc00342377e8f0da37 11448 ssreflect_1.5~rc1-3.debian.tar.xz 9e34e427a8f3e1d87e2cb1fd4c654d2666c9634d7bbf7cfa7c88fb975f4f584c 453136 libssreflect-ocaml_1.5~rc1-3_amd64.deb 39ffb7d2dc373fbd17434588cf921c3786e183924bbe73d6d510bacf56f1274d 62394 libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb 3b83d23d43109c85ae2af07034648bead02647146ac3e2c0e9e495b6538ec08d 1190406 libssreflect-coq_1.5~rc1-3_all.deb Files: e1342cb9138cc8dd3dd3e9d074b8009a 2240 math optional ssreflect_1.5~rc1-3.dsc 4e950f99418b22c0d07b45264c5faf31 11448 math optional ssreflect_1.5~rc1-3.debian.tar.xz 9044078c332b713dd321dfeb786ca2b0 453136 ocaml optional libssreflect-ocaml_1.5~rc1-3_amd64.deb c738152e0c49b1333994a9f7215c496e 62394 ocaml optional libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb 1fcc10c77aaaa88525ff2ea996164a1c 1190406 math optional libssreflect-coq_1.5~rc1-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJS3NjsAAoJEHhT2k1JiBrThiYP/1hQJOjdRq8JTV6PMMOQ3hTq YKcZNDezbeD6W5aVvS0SKQZPyz1EQLFL0g8dv18yb5imsxA+9lOjUmC92NJ/VD6I ttLETXFoEv4Hr0vIOZnoTeoerHfrUZoRnmROP/ub3Wpn2ryFz7Cm0MmelaIkV7Z8 Dd2PZTZEYuOX89kTW/zmN6g9CJy+goGQ+vuD39WQ0pVylT6aNoqqtMczOfqUkpGr bBMPFeBbu4zIp6f57GgBJNuyznApjhtbp2P4Ylw6j5jCTOuGO9RhZDPH27KSccO2 OTjeLm8g5LR/aKbRwpnfR9DtXWdMNVzP/PXy7cYgYwCoiZo8Qtq2cCnZIDHJ/6zr X0oRvAzbr3aGsLz6YimDnIKpPS+qOzzYZiJItOdvOGOnB0zDUUNm1tyfGXPK5rrv jqLfP7R07wop0xKCrwsxT/R0mzB2P0yY4IxqPhOP9i9vw2Rc8gTraREkD1kh4o3u L3Gjv6b2y//Kkd8NEuo5VMGS5DPHK4uRbm1YjhiXixAsTuiL5A5y8U5OB5co7F5S a76vgIFxaApMWREq01Rq+t/zOF3TPX53xrDUCWiLbucqEkzBBQlIIltAUJk1k4ys dV9e8yljNKA4QkWrEsKFNShaa2FFEoSmVDLfQBF18a7zD/3duX2auZADvJIaFEx3 DPX7KcPrHk2OlDwT3ps9 =fhxH -----END PGP SIGNATURE-----
