-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 02 Sep 2009 19:18:26 +0200 Source: ssreflect Binary: libssreflect-ocaml libssreflect-coq Architecture: source amd64 all Version: 1.2+dfsg-2 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) Changes: ssreflect (1.2+dfsg-2) unstable; urgency=low . * Use -R when invoking coq_makefile to avoid warnings and need of explicit exclusion of ssreflect path; set it to user-contrib/Ssreflect Checksums-Sha1: f4f3bab62ecda76366b544a716b04ebaaa65a801 2064 ssreflect_1.2+dfsg-2.dsc 9c788b4d2cb50dab99d37216d4108fb36eeeb1c5 11911 ssreflect_1.2+dfsg-2.diff.gz 915d6715eb7c6efd87a200b384bcf494a4c1d2ae 446010 libssreflect-ocaml_1.2+dfsg-2_amd64.deb 15c78b3efaf1ad4658a00ed0b272ad6661bc1509 3662216 libssreflect-coq_1.2+dfsg-2_all.deb Checksums-Sha256: 667f6ed5ba36bdeacc8bf808f2fc08654846a4f171450c9550ef30b7093661ff 2064 ssreflect_1.2+dfsg-2.dsc 8ce7b49d97bd1c4b33cf1508593d52c8d10ddd32ca7818f061b7a1ca033bae48 11911 ssreflect_1.2+dfsg-2.diff.gz 7fec272d49312bb5a4bc5c14a589f9b8ba946f80b53e6d43569d92f5fac4dce3 446010 libssreflect-ocaml_1.2+dfsg-2_amd64.deb 4c9b44da15be6821271622c1f23b18d12823b45c3262ef56b001236b1731b240 3662216 libssreflect-coq_1.2+dfsg-2_all.deb Files: ba5f93b25816a0bc9f3b871dabd73c77 2064 math extra ssreflect_1.2+dfsg-2.dsc 7a979e6918f243c65c6e421e150bf558 11911 math extra ssreflect_1.2+dfsg-2.diff.gz 880d6a37de15026a4e0cd0650c49928f 446010 math extra libssreflect-ocaml_1.2+dfsg-2_amd64.deb 49c07107202220204634573175fbf17a 3662216 math extra libssreflect-coq_1.2+dfsg-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iQIcBAEBCgAGBQJKnqv2AAoJEHhT2k1JiBrTtMQP/18fbVi/lMuN19XOt1jSqX5l wMWmKItVViZpZJnYp1ULpz+Xc+mNLtF+NnR7MsbXki1zk/ZWFypldxvigc1rzE7h JZ7N873zIwtpuT7LAmdWerBEAdbAXJ3rjmNoX1behqO2BkNW499jROWABVoeLmou CMN1+dcG+Q97qhI+tH39F6CGrnfb/SOfG4xK8mQh5BcNosV84uEQpRbQ5PkQegio 7JxFlYF8FnIYEG/OPiUrRijF2G68AIzagXjpvmj0vu7WwACjW1I1pW0yY6fP9u7J dx3sO8uVdNZM841FOEBr+tGOI4+fDQ7UWLnpwqD+NElQPi9JRuZt0sSz4BHqRSaW OmSjrpKB9RXMw3EDcptuNRxRjFtPCZIOHxHAlq3JSB06Yhg3As0d1xRXUIWuFtUT LAllUsWBFGiJ1+gsl+B6cEF6j3IIebZf+Gyhd5E/c4rnOWh0DnbCELMJYfwJuayY O7J8nKPLxlJssLS3kvwLY0Rvf4P4gJrD9R719oiWvETeeU+dW1p1vSc4lO0lTGGd uimx5Nq2VyWBuWYV6vWIjHjwmgITpilbKvLwWpbEdnhrj4fHnC7KJ8nKUcl/mEBp OFpZ31VrkDrURTZXaxovhiPO/yOR/RfW4b+guoQJSA+66iatOXar5ADpOJBc2cgo gy42elnl8TnAObmytR0H =pC+S -----END PGP SIGNATURE----- Accepted: libssreflect-coq_1.2+dfsg-2_all.deb to pool/main/s/ssreflect/libssreflect-coq_1.2+dfsg-2_all.deb libssreflect-ocaml_1.2+dfsg-2_amd64.deb to pool/main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-2_amd64.deb ssreflect_1.2+dfsg-2.diff.gz to pool/main/s/ssreflect/ssreflect_1.2+dfsg-2.diff.gz ssreflect_1.2+dfsg-2.dsc to pool/main/s/ssreflect/ssreflect_1.2+dfsg-2.dsc