-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 23 Jan 2023 07:36:52 +0100 Source: ben Architecture: source Version: 0.10.1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Closes: 1029398 Changes: ben (0.10.1) unstable; urgency=medium . [ Stéphane Glondu ] * Tracker: honour --archs flag (Closes: #1029398) . [ Adrian Bunk ] * Download: change default compression to xz Checksums-Sha1: 88e4c092b1ae0ece4f0cb5f40cd2899ddf38d405 1872 ben_0.10.1.dsc c089469da4c55fd7eadb426a844433451afdd7d3 71744 ben_0.10.1.tar.xz Checksums-Sha256: d6a4a521e01f57a3a61fc5c8ea2a118405f0d3be7f49b8bb931e85370cd0471e 1872 ben_0.10.1.dsc 61622d7dbecae7bee3c47e4578c8906fd65021cd303da81e2551566926bbca1d 71744 ben_0.10.1.tar.xz Files: d9c772747f29f4e48e844aa505b0a167 1872 devel optional ben_0.10.1.dsc 568a052a64bea9a228e06a7960ceef03 71744 devel optional ben_0.10.1.tar.xz -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmPOLO0ACgkQIbju8bGJ MIEFWgf9GouST4lohLYJDmV+YSOODCxl+rhvZ2zIHcZW6rcPMd2gx3gNKPzRc1xi rrhTuURrCMPzIB7arXL+AzdgPT6kW/O912Fm76FA3rDT70KL5goPLjC9ByWQaBxT Fi5Rx0wIF8ScupwUC3ebA6T1hk8dWkao579m+Or5WNyM6qbxDPQxUsbPM/Cu02PI FKkwmfTrb5dCmqdeRSqGq0lS4e4b1ADUhq5N88KHr0kG7J1QSPtTS0TKo1kPgD2p xZ6ljeF4fH5j9QC9Tw0JQJ1PN1o3/m+YAazOMkPKq12RD/kRhjCKqidvGQwj4fvB 3zZ5Pxxz16cK1SGlOobtuE0Tc+h/aA== =WP4Y -----END PGP SIGNATURE-----