-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 10 Nov 2013 16:39:37 +0100
Source: cmigrep
Binary: cmigrep
Architecture: source all
Version: 1.5-10
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
cmigrep - search in OCaml compiled interface files
Changes:
cmigrep (1.5-10) experimental; urgency=low
.
* Team upload
* Compile with OCaml >= 4.01
* debian/patches:
- Compile without godi
+ Adapt to Types types of OCaml >= 4
+ Adapt build system to OCaml >= 4
* Update Vcs-*
Checksums-Sha1:
b2cf9c9519b28b6c872f983eda7280ae3347cf35 2160 cmigrep_1.5-10.dsc
83739fb7877f601fbfddab78517bb7f2c36f7491 7755 cmigrep_1.5-10.debian.tar.gz
5eedcd10a414501d303fe8bd6711108457f575e7 91478 cmigrep_1.5-10_all.deb
Checksums-Sha256:
8cbb56fff16ea3948bd4fec2b015faa9539002844b7430db7910dac2c1e766f1 2160 cmigrep_1.5-10.dsc
ded9d8c87171a09225c4815f60675d59a0fec61cef5274b0443e4c63d465dace 7755 cmigrep_1.5-10.debian.tar.gz
072d348e9db88daf8e3dd5f622fb111dcf3c994ea2a37be73298002be63aab6d 91478 cmigrep_1.5-10_all.deb
Files:
5e789383bbdc3c53191914f449980689 2160 ocaml extra cmigrep_1.5-10.dsc
c7ced248796a9b94152119e100c8b3ca 7755 ocaml extra cmigrep_1.5-10.debian.tar.gz
d2b238b3340db47bce0acd1df345603b 91478 ocaml extra cmigrep_1.5-10_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCgAGBQJSf6kkAAoJEHhT2k1JiBrTUacP/11SaOw/8w3cY+45dyuGg+B3
Dtmy9eEcZtKUfOr+W2SGYgQ8gxvpKrSy4eW+J4/bi+56mdDMF7HLdxJ7FRndPchU
BvCw7me6JwjksMAlUP1r5bOfwwpLc6x+piiE/zis9TCFPFDDy/hsdjdKV3nYRc5z
1mQeek8smV9KAZ1NEE81hz2KZnYJpVLxGXMEuHAhtThr84qeehKMbWVHzevC+5yW
m7Z0SIPgVXk4IcNVp+v8Epm277cea4islcCmk0LtHBwpmOPVElS3dsf+CE/TVouP
QtF3EZ9iLKkTzGquf042RkIcZFU3Dk8jeUuX0Pwv/ZgdhtVXPWfSimLKL8beejJP
kAclSYVCT5wfW6cceM+RVohs40mWJ5/xt4dT75Lp7Jv79usr3tDu+XDlV242w+xR
7tQ5BFD4GWaAd5q34zzQEsFDNOA+rrBtDlt36qO55GfikARiAnJ0cad6H+bXQ0M+
o3AmsVuYiOv3t65rwEgIL3bJYvIp9slJFvgMGzCvO2+Z5vD7XemAHNx1GhCnUbi7
PbvQYOY5vKAJMn+Y5NXSo/8kmn6FSs3Z6dpzY8F37lbwsNqJ+6U6ndpb4XJ8nUHM
TfgrGmiD3I5jA8Ow3WzYwzE74zWcar31T4v7Spk2RfxvZHSL6pysu2pnTuhPRxgH
iP5C13iYIKjIHJaJnh8F
=ldvS
-----END PGP SIGNATURE-----
