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