-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Apr 2011 13:59:00 +0200 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source amd64 all Version: 1.3pl1-2 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.3pl1-2) experimental; urgency=low . * Upload to unstable Checksums-Sha1: a3ee8f009ca483a04faadc9ea39e4079ef267d54 2113 ssreflect_1.3pl1-2.dsc 1cf8a76d61c71c62569dba37916fb329deaf9f0e 11797 ssreflect_1.3pl1-2.debian.tar.gz d5890fc09bdb789ca74fa37e924e03467f5b4873 468812 libssreflect-ocaml_1.3pl1-2_amd64.deb baac87dfa7e2082bbab020301d0bb9f9ecdd024d 387166 libssreflect-ocaml-dev_1.3pl1-2_amd64.deb 0405542ddb64f8d975ad8857baec615a3384e339 15755304 libssreflect-coq_1.3pl1-2_all.deb Checksums-Sha256: 3afaafbecca196296f700f01da20c668ed6e760ccc29d98ab4110e3f0ff24d92 2113 ssreflect_1.3pl1-2.dsc 78768f188595c7d254eb2f83370bd91dd19a04e0d3c37567b232a26856e46f7f 11797 ssreflect_1.3pl1-2.debian.tar.gz 1feb51375d9689ef200513ef51b8dedea5b1f441ccdf448a3fe5629e0c38aaf3 468812 libssreflect-ocaml_1.3pl1-2_amd64.deb 9dbec39519dfe03379205576088c62087727f5ebb6991d99b3057ff583b8121c 387166 libssreflect-ocaml-dev_1.3pl1-2_amd64.deb 3b3eebe77ec77c0b81af7d67be3c97892dcc29cb6f3c321218667ac3b95fcc85 15755304 libssreflect-coq_1.3pl1-2_all.deb Files: affb561b612a4bc3647d53432d957da9 2113 math extra ssreflect_1.3pl1-2.dsc c90afb455beee4fa2bec6d38c84f9614 11797 math extra ssreflect_1.3pl1-2.debian.tar.gz d02010fc417076b2b15d269cd26a2efe 468812 ocaml extra libssreflect-ocaml_1.3pl1-2_amd64.deb a785ca55700d19165d657a5e5edd6ba6 387166 ocaml extra libssreflect-ocaml-dev_1.3pl1-2_amd64.deb 1c1ba1aa01b9df6ad13e2b22e8a44ed6 15755304 math extra libssreflect-coq_1.3pl1-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJNsCj7AAoJEHhT2k1JiBrTEFgP/AqoRiXFiDlOD79uFJSBvhZN WdOR15xIPCFpA7O6RXQtencurxrEeMWq34WXCHZQPguyniWF8x8nUo/YKo879fAI xoC4OnuMoPmKor3f9VF6C+swcjfZJPUdnh/lM46FQm+pAeh6LoZUgJJPvaYYIuqp 1nbZbFV293D1IKK6ZNwUPRncTlnxyEmvlj/PcpYB3Rp/P2vntHa1j1+7V7DTXoiW PbDhWaZ96aaVBngTVMDEDZT6Hld/4El3h3k2IbZnQ95AcIixOeTzPL3eoTw+8P1h QaT6GT67kaF4rvZOGRLBYYX+swnPgdqoThixPFfdLaf2z2qKmvpdgpHcfBL2r892 moTbSRiUh6XzKS6h82A9zmi0ETitysgaZ8h30830WkmJCfyqtTh7cafjOeaALEaq jVxn33SAxENdZb9npnUg46D1scCCyi1+kbvP9xg3NYHAc5g6LEQLDxyM8zR/jsoM vsAgIFrlIN4fLOr0gQUTnipRj+Q9OzfZ28U0veGtalLEdWu4EF4zYkaV6Ke2SrQT 5iRn8mOI8Lp1juj4A1I9XfpFuMykl9wZBVNnDdPfIx4jgBIl4V9YjBM76+jQm2LK 4OTkqJGpTmdTuRAsE742DkzVtRpoMBFa1Jk2k2V/7EXh8GvfenvnWiR6Zvd8EIy+ aiFUpkPZ7eEUMWpBYysT =d95E -----END PGP SIGNATURE----- Accepted: libssreflect-coq_1.3pl1-2_all.deb to main/s/ssreflect/libssreflect-coq_1.3pl1-2_all.deb libssreflect-ocaml-dev_1.3pl1-2_amd64.deb to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl1-2_amd64.deb libssreflect-ocaml_1.3pl1-2_amd64.deb to main/s/ssreflect/libssreflect-ocaml_1.3pl1-2_amd64.deb ssreflect_1.3pl1-2.debian.tar.gz to main/s/ssreflect/ssreflect_1.3pl1-2.debian.tar.gz ssreflect_1.3pl1-2.dsc to main/s/ssreflect/ssreflect_1.3pl1-2.dsc
