Back to ssreflect PTS page

Accepted ssreflect 1.6.1-3 (source all amd64) into unstable



-----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-----