Accepted ssreflect 1.5~rc1-1 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 10 Aug 2013 22:11:00 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.5~rc1-1
Distribution: experimental
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.5~rc1-1) experimental; urgency=low
.
* New upstream release
* Update Vcs-*
* Compile with OCaml >= 4
Checksums-Sha1:
3401282ec73a31f22aaf58505982cf42641bbe85 2254 ssreflect_1.5~rc1-1.dsc
bce43c8f674746516775887011e29cbc5ad86ead 203960 ssreflect_1.5~rc1.orig.tar.gz
01517a944099e4aef54238be2e6f58511679204d 12324 ssreflect_1.5~rc1-1.debian.tar.gz
8353dddf20f99b845c7859822cb1bf02838d914e 452796 libssreflect-ocaml_1.5~rc1-1_amd64.deb
e75aa1548711ef253cc17e1ba85be57ab920c7b8 62404 libssreflect-ocaml-dev_1.5~rc1-1_amd64.deb
4ddd057211bd1c0bad036cebbd8e1377313d7b06 1190518 libssreflect-coq_1.5~rc1-1_all.deb
Checksums-Sha256:
6dfb0213af969f9389f619c86437890b2e343acf00e65c0f6eda610a791934b4 2254 ssreflect_1.5~rc1-1.dsc
f85d8ced769b6c38a499681a52480f2e0b9b7a0a8f028a3d35ecd1794ae64fc2 203960 ssreflect_1.5~rc1.orig.tar.gz
bd939ff7a82787c32d96383e0ba80e941c4581e39db1a0787a16670acdf6856b 12324 ssreflect_1.5~rc1-1.debian.tar.gz
d6d2c16830557a23cf1e6167bcd5a292584612e4935d70f1c5d0d87fce107953 452796 libssreflect-ocaml_1.5~rc1-1_amd64.deb
0aeb9fe43c2636d5df9c978face401b2e1989bab0f207cb859483bfdb63b68d3 62404 libssreflect-ocaml-dev_1.5~rc1-1_amd64.deb
0c28986c27e31c00bb3e7d17a61efbaa195157ee85ecaae21955e89d74f62067 1190518 libssreflect-coq_1.5~rc1-1_all.deb
Files:
b1958f3e3137dea0d0e812465bae307c 2254 math optional ssreflect_1.5~rc1-1.dsc
c08130242ea2cfd1cb4ae8754fa411fe 203960 math optional ssreflect_1.5~rc1.orig.tar.gz
d5f039c8db95564285e889ebe2e96acf 12324 math optional ssreflect_1.5~rc1-1.debian.tar.gz
d3b2c75307b097c55c6ec6451dff97f2 452796 ocaml optional libssreflect-ocaml_1.5~rc1-1_amd64.deb
26b3d9cde1c1d3c34547e5cb025e8ac1 62404 ocaml optional libssreflect-ocaml-dev_1.5~rc1-1_amd64.deb
63984def1302ea7b395228c5cd80bfba 1190518 math optional libssreflect-coq_1.5~rc1-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iQIcBAEBCgAGBQJSBqBaAAoJEHhT2k1JiBrTCscP/1GoPlh4oQkEWYXtx6ALW70m
kauJPmL1+l9GRh1bv6fSjsQK4lC12BbcU3dYABEuPiWa3OmcC28Nxl0LviJJAxrX
0N2teTKg4wEQmp1i3XtFO/TDTMsH0QVg+3NExEltvh1/iG0fUl4Qt0rFaDlXzE/K
GTF9MXIfgGRXv1Zro4YR6Vd3qgH7ALMo5WmwHj3HGOuor0PH3WoqWskBvXFnnITK
uoPNi7qMd0yB7uamTuiWVmjxHM1oXh2OMcvApTQRu6UvxmDzhh66WG51W7jJG76D
NIisvYiaciKakGI114rkZzOU3QVHWtYf0QdJXPB8tD06lnCiMjfhBKIXtDftGjDB
n5lvaY1ZaxQFlov+4RUJbiN4Lm6n9soO6q9FuqvCQP/u88Ebuab+qTW1E1IPeldc
8E6yOXhlAhvuS6SbeewGEs7gcP2EfBl7FWHoIvkYyXecDOO2v1y7WT8BCdR36Cj4
AhWP5jfTqY0AM2J95g81U5txR4ZyEeFtDbQjKw7e6iNbK469zNct4cbPL0xG49I5
br80A5ivJcw8KpNiaOZDjzsAV2tpmPxF8zWnoBCUJcOnU4foItjN7BVNefP8nu6a
SCoBxyjwUO8chQFPxx2ireZ6s2BxkwlL34b03hbGLB8FAYcr01/1+CPoWML3C5NV
e4tkH2XqfYN0Q476zRF2
=4prg
-----END PGP SIGNATURE-----