Accepted ssreflect 1.5-3b1 (source)

Matthias Klumpp mak at debian.org
Fri Jan 15 13:17:50 EST 2016


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 15 Jan 2016 19:14:09 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.5-3b1
Distribution: staging
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klumpp <mak at 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-3b1) staging; urgency=medium
 .
   * No-change rebuild against current OCaml.
Checksums-Sha1:
 a2bba2e20a833a26fb1b588f50156b8191d7470b 2241 ssreflect_1.5-3b1.dsc
 131f4e2746b4a97627ae91a9f980f61ec42a00c9 217833 ssreflect_1.5.orig.tar.gz
 9e1546e8d8898cc7c7cc139c3902e934501e7eb1 11552 ssreflect_1.5-3b1.debian.tar.xz
Checksums-Sha256:
 2e5187472505ab9eebb785f7fa0433dd5e197daa150bcbb3303c3efc15ac0e63 2241 ssreflect_1.5-3b1.dsc
 bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142 217833 ssreflect_1.5.orig.tar.gz
 7493c50dc3d33c7e982e65e50fcc6a6c879071283f5c1d8d3851a860193ba391 11552 ssreflect_1.5-3b1.debian.tar.xz
Files:
 0eba1ad233b021ad384cb1f69867ce4c 2241 math optional ssreflect_1.5-3b1.dsc
 19155108bd73f5af98add53b9e418f5a 217833 math optional ssreflect_1.5.orig.tar.gz
 db315f7694a2f875531352a0474ca673 11552 math optional ssreflect_1.5-3b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJWmTbyAAoJEElMil+/Tezr51EP/2qD8PrwpeiZW61RKXGMc/Ta
H9k1Rxg9sLCRYy5172SQ6CHD4IOvosDZfqs9FEYHxeyJnQL6wRhhhPClnXvJS0mE
NXeO1PPFDu2eN6kaeOD8CJb6bZnu6Colaamv06UTR6DA8IRT3r+vqbllADVhdxNW
5E90Ms2U3XXMD+XXHqAxCWTkg7G2CxuKtUfTjF9/m+mczRk8j4fBmpjs+hCAzkfQ
W6HypWJ1/gKw9Y6AQRvD9oX2I8XjvwMFh8X4Lvb+nYHR5FC5Hkpjd7xJ6g9/VpTH
h7O59i6tmNPt7+P6pLMs3CuJtOvzwIBNyhbmR0N1HI2wmsZjA5by6sOdz+kwDZjb
9NLN+YjtNisbT9LinVERgiXgFPJZZFIEXRNNaIEsJy9Meog54LqKMqBXhpIq7eCa
v9NlwKkSMwDrCTpDRoYCgsEM8oxSpVnFbXsp7bCBiBRxGASmG/XWjZA9Y19aYkq2
tdlbLV8AH+zEvaR2X/kNFSMCb85OiUeokyXeC2vccY+WAFhoKJw/1C/PDxNwPod4
lCyJ0bi7t1e/czVi1M06VOTUiMZtnbWoPSybyi0zq1apLy8VyX5xFx74CtMjjF1s
cD2IsqvfubHDjP0wgKLQYjc134kLLGckS/1+TPBL2abBXNxJ+sZKU1VI5xf6Bvw+
S5tNU2ylWKnTwynwIK4z
=Hj3a
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list