-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 03 Nov 2011 06:30:00 +0100 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source amd64 all Version: 1.3pl1-5 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.3pl1-5) unstable; urgency=low . * Recompile with OCaml 3.12.1 (no changes) * Bump Standards-Version to 3.9.2 (no changes) Checksums-Sha1: df1847a005bf2a5f4ded299f3f0f0a94f0dab87d 2241 ssreflect_1.3pl1-5.dsc d025b99da04970c155ecf122f5d89f004ccbdaff 12214 ssreflect_1.3pl1-5.debian.tar.gz d98e9bb35310ec164f22991654acd0d058fa4d23 468690 libssreflect-ocaml_1.3pl1-5_amd64.deb 2fc3d608ee248dde83ba0ea09bab682f1d049abd 387818 libssreflect-ocaml-dev_1.3pl1-5_amd64.deb 45b5c657c10f19494034b364299243e538f2252c 15753106 libssreflect-coq_1.3pl1-5_all.deb Checksums-Sha256: 18589d02f05524e9e6e294aac4ff8824ac0989e9b76bce7dd431dfcb21fab39e 2241 ssreflect_1.3pl1-5.dsc 95ea4e79716a9ed6cd95495dde7fb5e844e4e79e95b53e7c91384f5b5bb47b87 12214 ssreflect_1.3pl1-5.debian.tar.gz 79f4275a4b020cae2e52d5d1f36466138260e830ce178eea3eafacbef4dd2b37 468690 libssreflect-ocaml_1.3pl1-5_amd64.deb 8f9e6bc15af6b80732cfdcb339b8131c7eab210c7b2355a0889eabde9a0493d7 387818 libssreflect-ocaml-dev_1.3pl1-5_amd64.deb 460cb5fa126a19591c9bd770e45a2b6a2700fcd7f76d2e5f7e139bafa9b318cd 15753106 libssreflect-coq_1.3pl1-5_all.deb Files: 908675a6c4da7ac5a5b3b89547d64427 2241 math extra ssreflect_1.3pl1-5.dsc c2fac31a555f44aa57d595c2832cfe31 12214 math extra ssreflect_1.3pl1-5.debian.tar.gz f36bbd695d22d994ca64cbe9c18bd824 468690 ocaml extra libssreflect-ocaml_1.3pl1-5_amd64.deb e3adfdfca3f673d88e5e31e4286cde08 387818 ocaml extra libssreflect-ocaml-dev_1.3pl1-5_amd64.deb e411614a81c88eeab8660fefa5efd0d6 15753106 math extra libssreflect-coq_1.3pl1-5_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJOsjCBAAoJEHhT2k1JiBrTSzIP/ApINIWcuWjSJrsAIBzPYKtC k70VuTGUWqAOXHCU00Otw6Ai1MHlMO5/akbjvZP0kslLL4Jruve/tbpSmmhva5gL nBb+aOJDdvAXDNje5/jxblYpluHVEDUCnV1Oel4CypzHUiqj/c53+U3+aTyS7G+x +4+SHiNAKufLUe4mx/xm8xnz/xwi5koHff6ZSZsen6oBD9VLom/V8Z7QOQX5zPCC GMHSw805IvyJQgMADO6d3S8ZaQj1lmv4DQREOTyVL4mTs/RLsgvtcpWQiW5GqqkN WgzSUtGvq01SGrcb8HhldJ6i4CERIEZqrh8o9nMEw83YKaR9u8SisOrbkpy5AUf+ 4bY/LlgUwbhffX0T7UmBX5Oji4trICZY5SaIadj6nCgyFnMzcTQa/m7V04sVTUwv pOm/8lgszIc3B+mNqpFQSTGiaVGyovbMcGTkYtbg/DyxrHJVbrXW5amvQvj1iVrX GDyluo/uPK1HYhnaDvLi/0gjSxn7AVZx7sTH88v6sap0cWA43d5JErnP0UW3OvM5 y7LfDQ4bcycjOP1eMk2bMqolP5QWpCgg+IuMNgUf+opgcOXqzZ+bohPhDbosax0r bxkUOPTnWzyC4UUN7i6NVkGbOmaso+ETS5NC1uG7eBN3fheo3bVh7R4a1sxGyfoL YnKP1AV+5zx4R7IJHJdz =pp7l -----END PGP SIGNATURE----- Accepted: libssreflect-coq_1.3pl1-5_all.deb to main/s/ssreflect/libssreflect-coq_1.3pl1-5_all.deb libssreflect-ocaml-dev_1.3pl1-5_amd64.deb to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl1-5_amd64.deb libssreflect-ocaml_1.3pl1-5_amd64.deb to main/s/ssreflect/libssreflect-ocaml_1.3pl1-5_amd64.deb ssreflect_1.3pl1-5.debian.tar.gz to main/s/ssreflect/ssreflect_1.3pl1-5.debian.tar.gz ssreflect_1.3pl1-5.dsc to main/s/ssreflect/ssreflect_1.3pl1-5.dsc
