-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 30 Jul 2014 10:21:09 +0200 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source amd64 all Version: 1.5-2 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-2) unstable; urgency=medium . * Recompile with coq 8.4pl4 Checksums-Sha1: 894a9a42191c23ab028d681aaa9aef319afef5f8 2252 ssreflect_1.5-2.dsc 8fe72d378584f968f68975e159618ee61a371f9b 11460 ssreflect_1.5-2.debian.tar.xz f216c1e7ff866ec11634842c34789c18134ba7bc 477236 libssreflect-ocaml_1.5-2_amd64.deb b9a4e70ca4619a297a7a3e76c6f7e050795e4859 64074 libssreflect-ocaml-dev_1.5-2_amd64.deb d9bd012d8cab4311f9abac78d10fab874a0fd17e 1193784 libssreflect-coq_1.5-2_all.deb Checksums-Sha256: f7698278e3fbedf230fb99700ba515875197c85bd0ec7b9ca2c068fa5edafac5 2252 ssreflect_1.5-2.dsc 30b3a9679f09bc1430663304b09f995099274860b675980648e1a52f845a13b5 11460 ssreflect_1.5-2.debian.tar.xz f6947bc92a4341d6e67c89d308b70dfc4f2a8fdf0efe3a9ce222d29daaf72dba 477236 libssreflect-ocaml_1.5-2_amd64.deb 5787011232702f40fc3edf20ef8e86be91f3237a60b11446e2f22f672fe501da 64074 libssreflect-ocaml-dev_1.5-2_amd64.deb 63cc382ec908d81bd934f2f3bd285f0fc564b7feac41dd179e98ed1ee558a40e 1193784 libssreflect-coq_1.5-2_all.deb Files: 1ec3b1ae3f8d117043d069c39675b1e3 477236 ocaml optional libssreflect-ocaml_1.5-2_amd64.deb 1d1c3a6240fd5f333e1177746c2ed1d3 64074 ocaml optional libssreflect-ocaml-dev_1.5-2_amd64.deb 3287b5f4d72dd1ab79128c1c824786ac 1193784 math optional libssreflect-coq_1.5-2_all.deb 047550865b1bd1a1a6fd6b0a495875bf 2252 math optional ssreflect_1.5-2.dsc 77551128f0403885dbe04b529c1f8332 11460 math optional ssreflect_1.5-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJT2LKRAAoJEHhT2k1JiBrTTFoP/iFbgsVt9QMkHcc4llhSIHB+ SQFcXDSIie7pipoJTfTg5bAw3vfEP1j3mYC344JQMnHjVP79Imf8ku5FjJYP3THe lB/AVvCRTDdoS1h7Dzn7M8R+lJ0xvqgc4Kda78XQ5QYr+3aD6g36xnpE9LVKeGKQ ZfjJxlqvKMFmax+gkljwwOnaeP7VF2CsmYx0TRPq1LTUKA/AtexR84jaRVxcTEnJ y2lo/p4GAL9qOOrmVJ427csGHBz+NDrW/mP2Y6ZTHNf+k5wlaYNq3E4SNCjaaa0S SBvjlAa/vjvDYPGv8Vxsbf27zNAXHGDW9qfkuATTTp4Erg/+nHpUIM/gZNRVzedT m/uTBbQZndcwzoHCyzFsSbfwvUZPnUEwZiMDXebfQHLncpV4yX8kLq6nKb44EZ+o LSPylQxl3+moZYyrAj4D1ltq2nuVAww3be+kxQd2rz2jlnFOrlM4TJjBK0erowHW 06H9/o3Hl5eBlyn6b4onS5FRW82Rp3Re+wxbG1gClobBq1piMJOmiyac3x73YgI1 3FjfjwoLjI4uZ99MXjRWa5L/B8Kyl2WYwn1YW7bN4cMDDkB/QcbAFMigT69n2JZW vzZib0paKNGhhY9fD/mENYIDyLfe/sKnJP5TfBB1L5ZUODsSq2PGI4ZPZmoWvUBn LYBCT3MLeHg4HjEubRzo =tIM+ -----END PGP SIGNATURE-----
