-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 05 Jan 2016 23:30:20 +0100 Source: otags Binary: otags Architecture: source amd64 Version: 4.01.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Mehdi Dogguy <mehdi@debian.org> Description: otags - tags file generator for OCaml Closes: 802166 Changes: otags (4.01.1-3) unstable; urgency=medium . * Add patch to port to OCaml 4.02.3, patch from Hendrik Tews (Closes: #802166). Checksums-Sha1: 5fd6ae1d963ed8666b993e64dd70c8cd17d03bdf 2039 otags_4.01.1-3.dsc d1c2eea6cdb85f411fe815032d902150653f4979 7176 otags_4.01.1-3.debian.tar.xz 49d0b6c11e62a44454fb573bb8fa67a6cb4f9749 135800 otags-dbgsym_4.01.1-3_amd64.deb f2f57f702f9396715b5ac7f28ff1397c111051f2 787444 otags_4.01.1-3_amd64.deb Checksums-Sha256: 737838117fd05ec545fa9149fb177a7a28bf388ba537f8b94e604f6ffcc98e2c 2039 otags_4.01.1-3.dsc 3169f05086f00eb0d9e9de5ed5366cc83fe1799c4081cf96fe76d4c079740345 7176 otags_4.01.1-3.debian.tar.xz 8e1b016b7b9459a385c40d8109d409900b033adfe71e5aa9c0c2fae41f51670b 135800 otags-dbgsym_4.01.1-3_amd64.deb 8f4ad92a6672d25bf2638d4bfd8abf5e5d79ee3011e19556eb560c656c8013fb 787444 otags_4.01.1-3_amd64.deb Files: 6f7172239181f1fbbaa1f69e539ecbfd 2039 ocaml optional otags_4.01.1-3.dsc bdb7e6b892d6883796b75a720aaa8cc1 7176 ocaml optional otags_4.01.1-3.debian.tar.xz 3995c3484507f3f7a620b1bba13c1bf9 135800 debug extra otags-dbgsym_4.01.1-3_amd64.deb ccf3228ead379852e3199e7fa811135a 787444 ocaml optional otags_4.01.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWjEtMAAoJEDO+GgqMLtj/M0gP/3VrAU2+MrDV6O733LdGkw8x 2oCBfuoFOUtDwjvrk2VErfR16c754YAf5uaphC9PnHWMGsUfGQmIs/vErfSySCaL 4ephAjMj9foLtsw/V5bjGVErmDDlMqyfFfcoe/RpxgXkslF/Z3bL3p5NKUQb/GW8 UbgEwmv/7LGo6P0RXKYBqeL/XPOfakUx3FJrAQs1Pnmb3JIwXYwPkslLfzbC3olY yRxWRZPlgJVk3zEXcbf2lCG995e2fGmheNdpag3Nh9Ky7jpGBu6sUNdzXsn5eCQB L/IQcPCC3ThfVskaGpead708subgkbuz260bfOLY/eA0W9bOdugXNROUa28933lE rAdzHYyF2G5Fq2E665GgPUQ+ZsdskZaIbcnGEiN/8j/rbcIvkRvCkjsfIhPaS1EN y5SkrfloH9lPI/bCjoHIEI1kijHrawLpl6O2BN3rbqCDUDalzTXGoRGWUaiZUZBp 7ZBgShAzHP5kp7OL+1S9Io1gpICzRNG5iDHGSC2/HvN+qeYUfZyhNwRAaXFg4dff VxWx0WJ901Qnm04sij9mdoXBFm8oqQjRJbeuCay++d53NWQy3FxGltIPTzvuw/Je GYf6BiZDqpF1SexRd4DO3cITWTFwmLsm2s6EjyEsKPLyYUy+fplq0FCTTP+DXz53 rxgahwlrfx2JQY1ysPbB =oGXs -----END PGP SIGNATURE-----