-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 09 Oct 2017 10:43:03 +0200 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source all amd64 Version: 1.6.1-3 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.6.1-3) unstable; urgency=medium . * Recompile with OCaml 4.05.0 Checksums-Sha1: dce15a88411cf6903197a475f932bcda706847f7 2289 ssreflect_1.6.1-3.dsc 5297bccd54274b4d8a7328fd1d34e7d0a38e9fc4 12516 ssreflect_1.6.1-3.debian.tar.xz 96439c36d74e8d60987e7b4e654116bef5a2e17c 24206880 libssreflect-coq_1.6.1-3_all.deb 3bef5f9ffeec9315c8feecfd34f6c036e4974805 36662 libssreflect-ocaml-dbgsym_1.6.1-3_amd64.deb c7fd39979d5fc0847d3b71e8a4a7072ecd464e56 63416 libssreflect-ocaml-dev_1.6.1-3_amd64.deb 1009d697ad508d10fbbf0765a8b6149de0234f8d 404250 libssreflect-ocaml_1.6.1-3_amd64.deb 474391224030a0a7feb549f44a4d7dd25fa50e5c 12333 ssreflect_1.6.1-3_amd64.buildinfo Checksums-Sha256: c8dc799bdc8102a79fae82215d42c5d655f8d2fabfdeb8d7894bbac3383fa014 2289 ssreflect_1.6.1-3.dsc 02b04a199a625d25e3818825f27941478bbea4b610e53443617f3846b4e77701 12516 ssreflect_1.6.1-3.debian.tar.xz b850d1015acd0d5c18d6bb099f5c2f777b60b9067ce66dc3aac605ccaf276e0f 24206880 libssreflect-coq_1.6.1-3_all.deb d214b22e40cc91e688e1245c8dd1cd7520b89c923b92f4432ddbbdc1380d091d 36662 libssreflect-ocaml-dbgsym_1.6.1-3_amd64.deb b2d1dfa32dfd6ba234b3e67863b86f608af3fa568949d192f6a2e475933e2185 63416 libssreflect-ocaml-dev_1.6.1-3_amd64.deb 07508127842151e38910f81fe6e767f226705616a350d175bffe438a8067ed89 404250 libssreflect-ocaml_1.6.1-3_amd64.deb ea9a1324133c9733fc96ed51a99fea694f8cef9bd0423702e4c2235e996da425 12333 ssreflect_1.6.1-3_amd64.buildinfo Files: b7a176c4bd69848704c6f9397719cf11 2289 math optional ssreflect_1.6.1-3.dsc 386a778d2b071789e79151c37be4bb8f 12516 math optional ssreflect_1.6.1-3.debian.tar.xz 991684bc8eaf44672697b27c3fa59fa2 24206880 math optional libssreflect-coq_1.6.1-3_all.deb a06637f5ef7bfcfab319190e50d67f0d 36662 debug optional libssreflect-ocaml-dbgsym_1.6.1-3_amd64.deb 52cb31ab0af12747c6aee71449b5a249 63416 ocaml optional libssreflect-ocaml-dev_1.6.1-3_amd64.deb fdcf1f5f3288d0b6d04b6915e8ecfd1b 404250 ocaml optional libssreflect-ocaml_1.6.1-3_amd64.deb 0aab585b4e1444e15ef04f914e8ee652 12333 math optional ssreflect_1.6.1-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnbQMoACgkQeFPaTUmI GtP+8w/9GTaIQKZax3jz3tmwIi/1nWef32qTbsJ8juwYhvPofiHcU3TGPCG79VQ+ GGHoj3Wcn+nCTXa6H6ZFw47xF/Z8ENgR30UwzT1pae3ERTb4KbMfpkShlmTR+XGM y3Ckrao81MQHJ0n3KbrHbc2HIkaIjrny1iOsY6b4D3kGcEXnswORmZB4bxYtH/mq RbpLAUXDdyuRLQJcgCW1bEr9LSw7mEHx40IGI7lamedv+NVaZ94+iXxOCQAM70TQ IErSjQeVwsd8DlW96JB9rhLYvLYEvIncOqQH4lqcuYoPW2hG5yqaJRz0veDbhkU5 w0w+IQHZX000Ahk8ytyFFK8zLLqsIrn/KMH/a5IDldDLoER61gYEWI0vFIwYveES Wg5N3FEQLjPrV3N1UU7HEUTk5iC/a6emOyUHmDgzruz6J7rcmadMWfJkK2a1RUyt HKh169Ov/2rF9L1TUovpHKZ4O4eFZCQOGd/IWZ4zJo/GESt3TITK+EpH39NS6GfN UEuoz41fSKYTJP5+5pymuZA99eKVrmRnDK+rZZaBfOHHIIYSgASAgeHVmK1W/zej 9WieiPfVvNMbg9q1q2B51SWFBhwAkjATeKtRiJiQGYSv57A/H/WA5RRT6IuoLxJ/ VUZPLKdhhOx6dJmNetC8PwhHIGEtuko4zqWgSMIOcGHVsG2+39I= =h90j -----END PGP SIGNATURE-----
