-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 03 Jun 2018 14:08:45 +0200 Source: ben Binary: libben-ocaml-dev libben-ocaml ben Architecture: source Version: 0.8.2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Mehdi Dogguy <me...@debian.org> Description: ben - toolbox for Debian maintainers libben-ocaml - OCaml libraries for Debian maintainers (runtime package) libben-ocaml-dev - OCaml libraries for Debian maintainers (development package) Changes: ben (0.8.2) unstable; urgency=medium . * Fix typo in reference manual. Thanks to Paul Gevers for the patch. Checksums-Sha1: 1b09b82e23540e57019312c2ceb7e67ab7ee2af8 2139 ben_0.8.2.dsc 418f247455893716a91dfc59e57a96a61f442945 63232 ben_0.8.2.tar.xz 175b90b1b30834e00754e0bbcb7cd7af5ed53ea4 9162 ben_0.8.2_source.buildinfo Checksums-Sha256: b432a420bee7f42c4216075c45184f8dd1e9456172c67752ccd7e488acf06efa 2139 ben_0.8.2.dsc ef5673e60200abe1de96a99cc2cdc84fd7d1e0bf41bb6a35386a01f6c13b1ca1 63232 ben_0.8.2.tar.xz 4c95f452e73b3406e421751536fd1e54e559476e9db5282e3fca8cda21c1caf6 9162 ben_0.8.2_source.buildinfo Files: 7f6842355b17d59c17f5b5abf6dfad4b 2139 devel optional ben_0.8.2.dsc 4fa2a9674134f8be56642fdc028e75f5 63232 devel optional ben_0.8.2.tar.xz 22d3f9a837158403368961a38ec6aa8c 9162 devel optional ben_0.8.2_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQJFBAEBCAAvFiEE/IeFmw45V03XKU7GPfRgADmhQMQFAlsT2mkRHG1laGRpQGRl Ymlhbi5vcmcACgkQPfRgADmhQMTmOg//WDCW3/oJp3s/HZvKLeBZ1EDbIb8YQysx i7Gn4QfpB3q75rxZg0kMID5f0s2WeMYHTEXMwacVcOWzemNUy3ZRmff/bYmyYpnh MQ6j9z3mVklDzu+toh1z9C3t6J/W6xgGOFj7LsZhN1YksPfp3rAeFjtxUIpCGTy9 iSawgpZ1s+3dYsJ7PVciwuCMp475HV0BGFI0kBYa1CYIlCGIlG7Zt8vllgnEHp+I ZJ6R6yTtmc2tjhF6n5QXOL/zP72TPCo9p/qoPcH6UeTGURwENeAY/xY5oKCVgSdD rNBafE8775ku7Pd7YbDJKXJBOadwB6IalH3QnKtHKinIkraxLAnPvc/tTto9G5JW traS683TEya1D5kmet50Ft+8BOVTziYIXI/agDQPnilJ9Mlxgw1AZXQthLV7NHl4 coAzI5FeSPy2yh7Cx4TN2LK8YP8cHcSGox1BRRshvj07gjGwxz2zaRG+PcFob96I hBuHxXwr3o/Eg0dPidJq7kz6k53xoN2fXqoRPANnyBqVLnn+oX7EBD4fPOHGgqCB Bo6vLFbrwq/hm5hWhsRB55PbtneMn7vgJZf67u6UyvJoJFdk5QJlnDwPXJQDe0JH A5uZ0Al7qz6V29mYvaXfWe08zVJZhuxPux8l/ob468dDLKqymwUSGv0tLZmGe7gt 2UOx44YrcPk= =gc5O -----END PGP SIGNATURE-----