-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 30 Dec 2016 11:39:11 +0100 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source all amd64 Version: 1.6.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Enrico Tassi <gareuselesinge@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-2) unstable; urgency=medium . * Fix build-arch target Checksums-Sha1: 492abb225cc635c27588ef8c588c409e92f7ffaa 2275 ssreflect_1.6.1-2.dsc 962e4c8d8a41e9a8e61a503ff5db3ecd8df6be71 12488 ssreflect_1.6.1-2.debian.tar.xz 2da2fcad39ae7da55fd1b37bc7ac4dd6579b08ea 24169130 libssreflect-coq_1.6.1-2_all.deb 6a51b33c70d6e988b32dab7abce3a6323019b372 35868 libssreflect-ocaml-dbgsym_1.6.1-2_amd64.deb 2604ac9d91bf95ed62c2b11a1c779cf753c1bcdc 63774 libssreflect-ocaml-dev_1.6.1-2_amd64.deb e3b004b85e876f469f1973255f6b5e2699204fb6 353304 libssreflect-ocaml_1.6.1-2_amd64.deb 799548ef90dcff4db0383980c62ab4f889fb9198 11269 ssreflect_1.6.1-2_amd64.buildinfo Checksums-Sha256: 0ff7e0b88ff29d26e44ca96c2adb5165fe4ec03222ef996bd79d504a764bc617 2275 ssreflect_1.6.1-2.dsc d11fd3c90b31e622ea505e4cd3349b12d18e53ff42f40b32cb1061b5e40cf5ea 12488 ssreflect_1.6.1-2.debian.tar.xz 37daa9866044736e9618d866816f3fa5d1adfd6eac2410a9f667f77036cef13b 24169130 libssreflect-coq_1.6.1-2_all.deb 7e2a21c24730bdc99a42754b0ce52db81c962692c0f30984a0fd599dfa4189fe 35868 libssreflect-ocaml-dbgsym_1.6.1-2_amd64.deb d561bc9149b6b4b1ba981020ad9ac9941c2a5674539fd8fa479d84ca1e4a41e8 63774 libssreflect-ocaml-dev_1.6.1-2_amd64.deb e59af90d2e6cd6c0c8fa50f3b603afffa8dc24c656826ecba4416683ee040542 353304 libssreflect-ocaml_1.6.1-2_amd64.deb 6cfa544131945282324556194898c7b5453bb6651170b1d165c05694026eece5 11269 ssreflect_1.6.1-2_amd64.buildinfo Files: 400570363be278a9f5b04a60cbe84dd3 2275 math optional ssreflect_1.6.1-2.dsc 09f88f4925c87aebd62259c2aea43b00 12488 math optional ssreflect_1.6.1-2.debian.tar.xz 7f40969555f27aae27d95e56e128d8af 24169130 math optional libssreflect-coq_1.6.1-2_all.deb f36c8cc9e249c69220563c94bb69a6a9 35868 debug extra libssreflect-ocaml-dbgsym_1.6.1-2_amd64.deb 171507851d3562662e79664eeb7f6ba7 63774 ocaml optional libssreflect-ocaml-dev_1.6.1-2_amd64.deb 23e918f873938ecfe267e4453497b378 353304 ocaml optional libssreflect-ocaml_1.6.1-2_amd64.deb 22a7e4ab3dc844c4a067d5aa7cbcd34c 11269 math optional ssreflect_1.6.1-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJYZkHPAAoJECUFM8yim3ZPcPwP/Apk4ZK5vBfAhZY9KYKAekPN 4RoqHUTbGLjL51PaSkJJCQZNA7d98qWgJES1l38oNMpKBz5UFT0Q/a1dznWFselm t9AKl6A4Zron7TpxPzfgS/+V2HlvNj/nvcRrUKGbSFLal2gi+90W9WlCKCkZRH4a sHwoVDanT9oQ3yZYlk17+D9VDD0s5Hzaz1YqZuBXlbjVR/denwScnVxy7q4E6Dds 2kZnSqhvTCRJ/P0LZdoHWai1Mqtk8k+RqBTtBA4bJlQCCkSTJvU8aWG4lwS6q3ZL 4NjKUkGlgZyvlnu5QmdOLJKA4SPOxsxLMFrJMqFD7BfLn0RgKeaJ+PvQ+nuxB9kR HhOA58JxW1AQ+z9PX4drRmc98ScEeKdAHF920RLl661Wd3738C4gyISdS0Nbs1SS 3agUlYcxdiX0Wm3rUDs9dynkgOPuzTiXJcA+6Hsahli5OCjGUSqQJLjP63poHh/c qifU1U336vu9uAyylmxDfjvO62dewjToCEY3iIDKUHexCvoRzMReBq0hMikVGd5S TkaBl5U1LERiqgCOKSVkOZ0yeaCAlSaLV/S1hFDRBrWoCQg18VUtaxyUylWMOa96 KaEeMYW1GgxRw+efrWpv2JrCg3O45wbw+F/OmH3avVzkqTnlxkg9SrrLDX8T+CTm 9hetMfskBJ5jrrLDdGfS =ESWR -----END PGP SIGNATURE-----