Accepted ssreflect 1.5~rc1-3b1 (source)

Jon Severinsson jon at severinsson.net
Wed Feb 5 05:32:05 EST 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 05 Feb 2014 10:00:00 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.5~rc1-3b1
Distribution: staging
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jon Severinsson <jon at severinsson.net>
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-3b1) staging; urgency=medium
 .
   * No-change rebuild against updated ocaml libraries.
Checksums-Sha1: 
 6a103433b3b173f78331da5536fa4cf1eaaba069 2265 ssreflect_1.5~rc1-3b1.dsc
 bce43c8f674746516775887011e29cbc5ad86ead 203960 ssreflect_1.5~rc1.orig.tar.gz
 fed52a3d6dc68d1be9a8bcd3322a7144926b88ab 12560 ssreflect_1.5~rc1-3b1.debian.tar.gz
Checksums-Sha256: 
 50c48b3ce80979f575b529c32cc8d80a86a0c1967028fe156778f01698bace10 2265 ssreflect_1.5~rc1-3b1.dsc
 f85d8ced769b6c38a499681a52480f2e0b9b7a0a8f028a3d35ecd1794ae64fc2 203960 ssreflect_1.5~rc1.orig.tar.gz
 c48b929dea65f39d960a65fd46d01b1dc3e505afff78112591f141cdddba9182 12560 ssreflect_1.5~rc1-3b1.debian.tar.gz
Files: 
 4f4bfa450a368c4716e4a5060c3221ad 2265 math optional ssreflect_1.5~rc1-3b1.dsc
 c08130242ea2cfd1cb4ae8754fa411fe 203960 math optional ssreflect_1.5~rc1.orig.tar.gz
 e6476cf493f94b0d76e6edd3fa9b7be8 12560 math optional ssreflect_1.5~rc1-3b1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJS8gU3AAoJEIxPDyvAFXjJiF0P+wYu5RIfdpM37zpbAIzUnXgc
QrxWyr4IcVvjEz5X2no9VbnI6VTWMPqM5ryDodYustwW5VPhSGxiPjRIE812WFRw
fSQuE3peiKxrcxWzvhfFO9q+G0yvodJnsHx+F7SDEVLHTpX3rZIpDV85Nw0/pQVE
ny0v7dhAHm9UKgsb6VZ15FQhEDW+fJPUI36yZYmppa9+x/uixdP2WYjaeyjGtQfZ
Rnh3ewmY85Ehs8eGJS0hlqt/BHGcaoz9/SNW/sBrZCRPDGjuyN8TCsgj8UtpRsbL
QHggMwm77zl89mKt0hNZ812PHK8QvADy53hIcEuL6n/wXwOJS9N1zN4lGe6gXpxs
jnhbFoN+TS9U/eEG3W4h6GgLe/YumCakPjyLW4HXBWKTkIfvACCkLVX6bpXm0+mA
Y7RCeQz8N2ZOnW71ZMQMiCppmQ7S2o8sszc3zSesEo2ZAFN1nbctDWtN8AW195os
NhRZF6clB6vnp13vm2oGJ7V1RoBb8sF9c6Y7gx+Ivjbsiyq41NUnlfZWM9WLoT0O
lyyWJhf6BX6T7cGOUrGmN9cYpPHGRnONsFVHxaMjz42rC76O2o9qH2y7BxEDxX/w
dzoUt/Hyqoe3iEyFy5X25fcclFXHVZMIBbofTbvWZlHrbzO/5c7CdZFQ+NAojAFI
9Y4w8kk02/gdq9NQ/JO+
=lODd
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list