Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 25 Nov 2025 16:20:01 +0100 Source: ben Architecture: source Version: 1.13 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: ben (1.13) unstable; urgency=medium . * Remove armel from examples and default values Checksums-Sha1: fb3adedfc174ba3dfff888c885076312d0fb0946 1898 ben_1.13.dsc 35de860a259f9e2f9d2c18726b2c9a7427b3865c 75860 ben_1.13.tar.xz Checksums-Sha256: 942b9d2bfa361e9f2bf255b00c0c53baebee6fbcda230b4af38ba7107e35dbf1 1898 ben_1.13.dsc 3d71fecd68a97d0063da1b8a3d2d816231fc34c02d7560b8feb542becfc0b5a1 75860 ben_1.13.tar.xz Files: 15b61eee6431f88c13343afb8b7fcc90 1898 devel optional ben_1.13.dsc 2bfd2b260a2cc3744bf3e16b6c892c8d 75860 devel optional ben_1.13.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmklyyoSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBiw8H/09uN7sHltmLg7fJ7XmQdBcedTVIJsft yCVnd0NAjDvofrmBM7aKH++4fKzbAMkv/woJd/LTNAbsK5zRPla+HZaAo8cUeM/V eeSoVLy/REqZLi5ZX67DuiKOCn84zTsf74eRDJA/3I41kjLEkjG+QimcD5mnVUlQ D7J/bwJLyJL4GH1ZNHF/+a+CFRz9GlrhYR1XSAt+C37SL8gmxQsjZAOUpiiIuij8 Cco6coI65qcaLsfP5FnopB+VEUTXCvAVe37cmc6JNVZl/lbm+pSlHkZ/iOsKcUfx qNa6FGoB2X6r4rxAnAvd5e7vGtNLVqH3kB7JyFGUmPhT6fnnDmyQ4no= =Nghv -----END PGP SIGNATURE-----
Attachment:
pgpceHdak_wlD.pgp
Description: PGP signature