-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 09 May 2013 13:36:48 +0200 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source amd64 all Version: 1.4-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) libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files) Changes: ssreflect (1.4-2) unstable; urgency=low . * Bump debhelper compat level to 8 * Bump Standards-Version to 3.9.4 * Upload to unstable Checksums-Sha1: 0fbfe887cf7fd8c204846e83fdb6a5f5e442b9a4 2223 ssreflect_1.4-2.dsc 41779816ca4d596d9a4d3b1ea38cf39f24798b10 12315 ssreflect_1.4-2.debian.tar.gz c60a578012a925e6a3f0ee9f7bd705b67de29b03 580490 libssreflect-ocaml_1.4-2_amd64.deb 3b84c0e0be7baacba6a42ab8e0ca33f31db0d0aa 82194 libssreflect-ocaml-dev_1.4-2_amd64.deb 932f367e34b563a7f281ed2e39055c8dc3046d51 24763054 libssreflect-coq_1.4-2_all.deb Checksums-Sha256: fa416bc385e10c9db196840821ffb60c9a01f55342abf6a990dbb18c7d6dce3a 2223 ssreflect_1.4-2.dsc a4b5bfb83b5f9af958b1d60b5a34ffbaabb1503ee3bdd6adcc80262ca6baecd9 12315 ssreflect_1.4-2.debian.tar.gz d0e842bd980089a5cfca0eef141de06f2bfb95ceba317c57681fb50463fabb51 580490 libssreflect-ocaml_1.4-2_amd64.deb 704a3ae6a3e7b0a0ded6c3d058d38e5855de2e5173ea0dfe570fed94c6315608 82194 libssreflect-ocaml-dev_1.4-2_amd64.deb fd801a618b5c5f5d155fa938cf6687a197dd3ec34a3b06040270c92832b59a17 24763054 libssreflect-coq_1.4-2_all.deb Files: 7de5ea3d7403ed4962aeb85137b9a1b5 2223 math optional ssreflect_1.4-2.dsc de837f342518ac06d9678986ae7b18bc 12315 math optional ssreflect_1.4-2.debian.tar.gz 8104958f5637714aafb6df93fecf8643 580490 ocaml optional libssreflect-ocaml_1.4-2_amd64.deb 232b495b23667613b2d5c3b02733ae97 82194 ocaml optional libssreflect-ocaml-dev_1.4-2_amd64.deb 5bd446800ae2b444fda86a78e5de2f6e 24763054 math optional libssreflect-coq_1.4-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRi58ZAAoJEHhT2k1JiBrTdswQAJrRgBPTQqGtb0sTccEcnfeY L9XTPT/qXpuCmhLsnUw8jaHpqlzES6CqsFL0MXywnW/T2ZDnyKoPsdVZDAPwIaGs RtrTahD6VXsVacznwgYEpfqUUDfCbIhD5JiQhEwLhHHnShGzKChKtD9jNIGzyd5U kOyec6QsMbKD6V37k5r8ZBSn0lSefzydgghK2HSQRD9tNhkIY+tocXHpsDKpiKLV ssc1NUZRBUXjviajq03Z7brNKuD9oGY1SRbFhkPm5zSDD30NZE9wi8ubDsc8WbDU GWPHmhDZUo8PB36Fhu6lPKLwgV5ekwaDCeAKIFEC9z6t7D8GvAYpuX/FAB1mEuZR ur73qx+zLb/ZwxXwhNRXuLgohsNMMEeOV3ywAS4EgigAs9NyexqsyL7Fdk/w3hFK Ekg1JPBaC4dOdHva8dbOGWH/Mu2NQni4rXGkCJXE0LjMOfP9iC8X5Mhjs55JOqdC BClWDus+lotpZit98Ek6ZNwJy0EmaO/hpcADnAvQ/QGWp4qFQ0vYyOTHdRX5dGO4 RjHNP9jhJaLK+vQE1LIbskH3ZeOpgl6mRbJcYVFpxopqIp+UyN5V7wgptxlKRVZe Feqxaz+8xi1VnokXRMyAR8+TL6BBSPOL6bx0B3Uew4FB1JwJ6jTI+yheF8j6NLJS zpFWGOrRNmYK4QDV9Te7 =JMsR -----END PGP SIGNATURE-----
