Accepted ssreflect 1.4-2 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 09 May 2013 13:36:48 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.4-2
Distribution: unstable
Urgency: low
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.4-2) unstable; urgency=low
.
* Bump debhelper compat level to 8
* Bump Standards-Version to 3.9.4
* Upload to unstable
Checksums-Sha1:
0fbfe887cf7fd8c204846e83fdb6a5f5e442b9a4 2223 ssreflect_1.4-2.dsc
41779816ca4d596d9a4d3b1ea38cf39f24798b10 12315 ssreflect_1.4-2.debian.tar.gz
c60a578012a925e6a3f0ee9f7bd705b67de29b03 580490 libssreflect-ocaml_1.4-2_amd64.deb
3b84c0e0be7baacba6a42ab8e0ca33f31db0d0aa 82194 libssreflect-ocaml-dev_1.4-2_amd64.deb
932f367e34b563a7f281ed2e39055c8dc3046d51 24763054 libssreflect-coq_1.4-2_all.deb
Checksums-Sha256:
fa416bc385e10c9db196840821ffb60c9a01f55342abf6a990dbb18c7d6dce3a 2223 ssreflect_1.4-2.dsc
a4b5bfb83b5f9af958b1d60b5a34ffbaabb1503ee3bdd6adcc80262ca6baecd9 12315 ssreflect_1.4-2.debian.tar.gz
d0e842bd980089a5cfca0eef141de06f2bfb95ceba317c57681fb50463fabb51 580490 libssreflect-ocaml_1.4-2_amd64.deb
704a3ae6a3e7b0a0ded6c3d058d38e5855de2e5173ea0dfe570fed94c6315608 82194 libssreflect-ocaml-dev_1.4-2_amd64.deb
fd801a618b5c5f5d155fa938cf6687a197dd3ec34a3b06040270c92832b59a17 24763054 libssreflect-coq_1.4-2_all.deb
Files:
7de5ea3d7403ed4962aeb85137b9a1b5 2223 math optional ssreflect_1.4-2.dsc
de837f342518ac06d9678986ae7b18bc 12315 math optional ssreflect_1.4-2.debian.tar.gz
8104958f5637714aafb6df93fecf8643 580490 ocaml optional libssreflect-ocaml_1.4-2_amd64.deb
232b495b23667613b2d5c3b02733ae97 82194 ocaml optional libssreflect-ocaml-dev_1.4-2_amd64.deb
5bd446800ae2b444fda86a78e5de2f6e 24763054 math optional libssreflect-coq_1.4-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJRi58ZAAoJEHhT2k1JiBrTdswQAJrRgBPTQqGtb0sTccEcnfeY
L9XTPT/qXpuCmhLsnUw8jaHpqlzES6CqsFL0MXywnW/T2ZDnyKoPsdVZDAPwIaGs
RtrTahD6VXsVacznwgYEpfqUUDfCbIhD5JiQhEwLhHHnShGzKChKtD9jNIGzyd5U
kOyec6QsMbKD6V37k5r8ZBSn0lSefzydgghK2HSQRD9tNhkIY+tocXHpsDKpiKLV
ssc1NUZRBUXjviajq03Z7brNKuD9oGY1SRbFhkPm5zSDD30NZE9wi8ubDsc8WbDU
GWPHmhDZUo8PB36Fhu6lPKLwgV5ekwaDCeAKIFEC9z6t7D8GvAYpuX/FAB1mEuZR
ur73qx+zLb/ZwxXwhNRXuLgohsNMMEeOV3ywAS4EgigAs9NyexqsyL7Fdk/w3hFK
Ekg1JPBaC4dOdHva8dbOGWH/Mu2NQni4rXGkCJXE0LjMOfP9iC8X5Mhjs55JOqdC
BClWDus+lotpZit98Ek6ZNwJy0EmaO/hpcADnAvQ/QGWp4qFQ0vYyOTHdRX5dGO4
RjHNP9jhJaLK+vQE1LIbskH3ZeOpgl6mRbJcYVFpxopqIp+UyN5V7wgptxlKRVZe
Feqxaz+8xi1VnokXRMyAR8+TL6BBSPOL6bx0B3Uew4FB1JwJ6jTI+yheF8j6NLJS
zpFWGOrRNmYK4QDV9Te7
=JMsR
-----END PGP SIGNATURE-----