Accepted ssreflect 1.6-1 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 30 Aug 2016 16:02:06 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source all amd64
Version: 1.6-1
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) unstable; urgency=medium
.
* Adding myself as co-maintainer.
* Update upstream version to 1.6
Checksums-Sha1:
ae69344d31e471f448769b01145c45921bde5ee1 2261 ssreflect_1.6-1.dsc
5d5053fd6adf7f45a7ced8a396964c28b85c0003 4624660 ssreflect_1.6.orig.tar.gz
e1d6f930ac69733f4fc3a128b1ca4794863b2eac 12448 ssreflect_1.6-1.debian.tar.xz
c3a8768a46da758e7fc3f01d2a3d4215e3e67e54 23720730 libssreflect-coq_1.6-1_all.deb
a2ec0869f88a4b5c639e6d72dbc460b12e08e26d 45786 libssreflect-ocaml-dbgsym_1.6-1_amd64.deb
428bc762c6a595fd03aebefdb89b3b1fd0962d3a 62524 libssreflect-ocaml-dev_1.6-1_amd64.deb
3c4f015e0593054569a1b5b42018c3bb70cc3bcf 450896 libssreflect-ocaml_1.6-1_amd64.deb
Checksums-Sha256:
3b5a5335eaab6ad87efbcd377c668c2d87bf2fb1a9570a556a20562fcc2e9545 2261 ssreflect_1.6-1.dsc
19c5b5b872f50f8b055b86ea3d42692549813b0ebf1ebc6cfa1f05c8892a1bea 4624660 ssreflect_1.6.orig.tar.gz
033ff2d7e595a7078679890480bca489558b639054b30e7e0b35c5d4d5d2065d 12448 ssreflect_1.6-1.debian.tar.xz
f1802e19e02b240e4863d426066fae159fb48aadf496f99acf5ea4190b8f193a 23720730 libssreflect-coq_1.6-1_all.deb
6f0802572fb2ac9f406d13fe8324524bfc0b1b4507104073583ac22f331874f1 45786 libssreflect-ocaml-dbgsym_1.6-1_amd64.deb
db205b2b584e452b9313f7bbb3ab97e31378e9eeeab842dcdd3741bd708cbb82 62524 libssreflect-ocaml-dev_1.6-1_amd64.deb
d79d1ab53ed52027e7e716a5a67baf47ba298f2468840f605c31750a0f5ffd74 450896 libssreflect-ocaml_1.6-1_amd64.deb
Files:
91eecb92df6dd68f98570494fb0831dd 2261 math optional ssreflect_1.6-1.dsc
e56733ac14d379f6230a4a910975cac3 4624660 math optional ssreflect_1.6.orig.tar.gz
68761321a4d56e8187e00ccf7f06d182 12448 math optional ssreflect_1.6-1.debian.tar.xz
742f9a15807fbbc2b506780a1521767e 23720730 math optional libssreflect-coq_1.6-1_all.deb
2f84660279e2952c0d3ca6b6b4fa1f61 45786 debug extra libssreflect-ocaml-dbgsym_1.6-1_amd64.deb
e0e22dde09462ccf741d0e5bd01e5ce8 62524 ocaml optional libssreflect-ocaml-dev_1.6-1_amd64.deb
f95c9310c1826f1aee26ae865ce8b25b 450896 ocaml optional libssreflect-ocaml_1.6-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJX7iykAAoJECUFM8yim3ZPQkEP/iX5q2vWy7YaAkPMfW20YNK+
+tci+oFUutaMXs4jgtfNjVEreh6WXzzxMNhxM6qV6GKl0bgMJHLWxmSVEJX4iqUd
ru+w/3naljRJlL5S+4nMjhEKgdioXsNSQUFogq9T1+OhnyVvbN9llv6HXhRofih4
EaYKM9hLwfpoMEgsF7LZvPSb4NxRUT/KudyAEEur/qHjFUKW4M8l1BZM36wd3rhb
x0ZPEkvEx3ApdAgLee/BRhHQRjmnbVeI2kqam4Oa42vc9EOUgtQku1up1nDeU8fC
wOJEVZUJvfCt9nsa1gjv290Zw5EelAfrzRAEBFspxcpMwwRGei3ZbSou7LqgoZtC
81wcmb3Li9ocCLZV2Ta9RhkQoZRWcHi3jGbacUWkfdtIvOULhEE8bkirNU8Kh48K
jmql309rhpVdWIFWRv9qfZrnYFzcNZholS/Ny9tMS04HihWc2VIojyPOsm8EAoYf
1lUQrR7HawRRKxWHhb/p+4FeDhI2suE7dvDMNHc/tf5331zB1FTxziQ6mPNcE6uW
I5HKOMbaYpoXdpfz1osP4kPB5WD2KlT7/2sArYtTnku7hqp9DSJXypMEsMAHT1z4
nD2/HH/9OxoFzwGWUNzxY9EPWc/FtNzu8a6+vkqUj1peQEl6wdwLd2rg0fPmEGph
viLXy9QCXBb/JtI23VOp
=2D/a
-----END PGP SIGNATURE-----