Accepted ssreflect 1.5-1 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 13 Mar 2014 13:25:52 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.5-1
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-1) unstable; urgency=medium
.
* New upstream release
Checksums-Sha1:
01cf7ee5f411d43808d8bc2487412e43a05a1f5d 2229 ssreflect_1.5-1.dsc
131f4e2746b4a97627ae91a9f980f61ec42a00c9 217833 ssreflect_1.5.orig.tar.gz
ccadfc1bbc6e11a6214bd64fc03b287767ee063e 11444 ssreflect_1.5-1.debian.tar.xz
ec475206c25a8fd64a8661e81cc97b31575f6337 472358 libssreflect-ocaml_1.5-1_amd64.deb
6df26276f67c8e52bf5be8264f92198434f1be6e 64008 libssreflect-ocaml-dev_1.5-1_amd64.deb
1daa49a1b3bcb64c0ea5a9dbb18c11d4e210c347 1194126 libssreflect-coq_1.5-1_all.deb
Checksums-Sha256:
a98a5635fb361b6b6ee36aa77025577bb51181ecee258d7eb2862c6655f9ad7b 2229 ssreflect_1.5-1.dsc
bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142 217833 ssreflect_1.5.orig.tar.gz
8ecc04c5fad36a31ed27e9590c6ecb6e9cecc11c0a15b9d2b4106efac8b43ee4 11444 ssreflect_1.5-1.debian.tar.xz
db5043b169a686baeffb87f446ea769f9d7c00248d84430d7255c4ddd4134a9b 472358 libssreflect-ocaml_1.5-1_amd64.deb
3d803b52a5ced479fe552d5ddb90c8323bdd3d4d76b6816b0b29c43c02b987ba 64008 libssreflect-ocaml-dev_1.5-1_amd64.deb
76f012bb9a8addc209fd2cc12e2242a999753253599afb33f38bfbe030ce4352 1194126 libssreflect-coq_1.5-1_all.deb
Files:
577c2bc0aeff178fd95bd6cd2e2d573a 2229 math optional ssreflect_1.5-1.dsc
19155108bd73f5af98add53b9e418f5a 217833 math optional ssreflect_1.5.orig.tar.gz
785388e5de8b7a379e9bc65c2b2d929e 11444 math optional ssreflect_1.5-1.debian.tar.xz
e62ec14b95d34452455f322c3bff42ce 472358 ocaml optional libssreflect-ocaml_1.5-1_amd64.deb
69bac1283b1294d1ace83f825ca16c90 64008 ocaml optional libssreflect-ocaml-dev_1.5-1_amd64.deb
c95f12648fc9c322f883dea5a65b9714 1194126 math optional libssreflect-coq_1.5-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJTIaWDAAoJEHhT2k1JiBrT1cIP/2dPO2Lgii8OBXdkM9pFwA/E
5aKgEalCoYM4lwFPGIhx7j8weeHvidgZbotXC0GTwK6gIZ6GkNeb0YyoYfeiQCPH
Bcj9sU5zqTjzBOjJkBbJQCSBcXie3ujCr1mSfmMSYyBEWIVv88mA2folbrlnDaTc
KghDgp3XXQzqMSklFbnbwa01boYJ0Q30r/4k35qrbG3yUhdJbqQ23GwveMmxzqZT
9aVwLmliinwXuoWP4UijhHA7cDwaKGWCrfffPHO49o5rlJzLcvKWP42q5hlnaAMH
PatX+o4cvBvLnaS21y6/amUh7TJC9cuqHSP/vdJJFopEKMvapNvKX3n1ChNk3QQv
oIbTebXw6RG6T9RHoFtzY9+qYO0Nv+Q8WNx48Wuo7CK37V7D17usfrOttwcZgvNz
yjO1SPrNUYUilb7BF9amt7tSQJSIe3II/fg+N+2fPikJnI4D+H+rLTl89alUComj
2h/7HinDHM/x3dRzFCN7RkkEol0KByD92yOobOu9oHhAVHjSOf8WfCfH7E02rLJZ
xvtPgTIBLVABze+n+Ou3rPFvA+6Fw2jE5fQ3OqUaVqwz8Qi6VCZT82utXTbHq7bu
lI2+Htz9X+8xiW5DYjxqOvqoLnw6Dc5/xCSAGjaFkYcyPAJY8FADT0f18kaqdszk
qloTGLmq1+i9yjkahWdL
=ac2i
-----END PGP SIGNATURE-----