Accepted cmigrep 1.5-13 (source all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 16 Oct 2015 22:12:25 +0200
Source: cmigrep
Binary: cmigrep
Architecture: source all
Version: 1.5-13
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
cmigrep - search in OCaml compiled interface files
Changes:
cmigrep (1.5-13) unstable; urgency=medium
.
* Recompile with OCaml 4.02.3
- Add 0004-Adapt-to-Types-types-of-OCaml-4.02.3.patch
Checksums-Sha1:
d21229b072c6bda5626231e1085acf1371f47000 2105 cmigrep_1.5-13.dsc
f78902b7edc34c5307b254a3435f620855902f97 7592 cmigrep_1.5-13.debian.tar.xz
df2857de41a11addc69a66d862078a5463a9f23f 261888 cmigrep_1.5-13_all.deb
Checksums-Sha256:
28ea739ce89379905278f53ac1f211fd37580fa60a2aeb9b6fa2c4993bbe2718 2105 cmigrep_1.5-13.dsc
77d7606ad93e3c3880f30b481cb48de6798cb468562319c5ad853114912e7a69 7592 cmigrep_1.5-13.debian.tar.xz
28cf1bff5486177f4f53aae0e357294a659ed42f49bac7fe78feb159f13ec2d9 261888 cmigrep_1.5-13_all.deb
Files:
7f8ae409343ab9761312b6508978e67b 2105 ocaml extra cmigrep_1.5-13.dsc
1b07eb0ac57eaa19331d125d85d12bdc 7592 ocaml extra cmigrep_1.5-13.debian.tar.xz
38483eeb2c6b2a6d49d76ba5844e4f59 261888 ocaml extra cmigrep_1.5-13_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWIVvsAAoJEDO+GgqMLtj/lTUQAIsS9ZsgUDhQ0SyCRsBhaOWh
zXmz00CPm+/Z1va0CGHTGSmhZgyIx2jDCnNfRheFQ1ouKTy2aAs6GjRAa7AAaAmw
/zZLAmBIXyTnaPiAc0MAxQ/zYjoXSTMFeBisRri6fwxqc8nyZfrlUwFEV/41lLQ6
oGqx2vPVPY4NAuleerJbxdX5WzKtPo5zAmE9e/lMf2Up+BZ9dz/rkL1RxVCHLoTz
GVxsJgtEOgi4dI3tcnnuI5IowZMyLg+Lqwml6XnPUg1k+5lFSFtgeiuk7n7kzP08
cXP55eGlSprM9N9eztSmcLSo93ioZbfg6Hw6q2GnSEFazMD5Dek6c1bHamRmMQgz
Gf5aU8kBBDC/UBKyF2GeifFaJuWJZn3CL/920+mcmyGLC2rnQXMHoBC2NhvZkV3F
ujKEjI0xW+eTHRPmfygJ911SWrAMI0D9yq6HuGxzDKvgkN/H1Fwg2+Qweod7EPmt
1BXjyhiwB3Hkpp7UV35Zkt8B/lwo+67Mh5MLUYj0s/sLou+VC3qPjsqmSfEFXwj/
7hRcjrGg7jBpj7MCDhpwx/ZNFELE8WCYw493tqyMW0Jxs1/vCYWOGmz4L2ktnxbF
BK8N7SIM2UfuiJj2RgWe1buIt9CM6rFCr9H9qxH6S1Nu1k2eDsxnV9vOM89Js0ji
ZmQqkLzOYyug1ZIqxW1H
=JkK9
-----END PGP SIGNATURE-----