-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 30 Jun 2026 00:55:36 +0200
Source: ben
Architecture: source
Version: 1.22
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.22) unstable; urgency=medium
.
* Revert "Use Domainslib instead of Parmap for parallelism", because
Lwt_process uses fork which is incompatible with domains
Checksums-Sha1:
2ab3f5b3516141dcd9e44bfb6d9469aec71bdc2a 2380 ben_1.22.dsc
657093754d98d711d6c86c03e83516f0d9702f9a 76932 ben_1.22.tar.xz
9a51c66ac1a509bafabd4cd917a4bcf7b07ab15f 150424 ben_1.22.git.tar.xz
8e02aa8231ab7619895753a411b8482b539d5eb6 17468 ben_1.22_source.buildinfo
Checksums-Sha256:
a947f77f29895715b1aea142cf30e16616a331290dcc288cf70ff156c7d57397 2380 ben_1.22.dsc
a2b27fe2240a0d1d0fe2c86e33eb0ab21444a75f5973b4ab7a36a70c00a0d9ab 76932 ben_1.22.tar.xz
91c1acb6db1c1871444085a4aba94a2195c8f5fb2a6308de4a415d5f67f61c9a 150424 ben_1.22.git.tar.xz
45340f7cd3e1c68f8d55aa02049e03e64496b5a966e20651709e9ad659dec6a2 17468 ben_1.22_source.buildinfo
Files:
9b72e5820783cfd1485d00c7caafc5dd 2380 devel optional ben_1.22.dsc
48e6b1becb09dc9f02f0a72405853e48 76932 devel optional ben_1.22.tar.xz
32dc5a79f20308fc35e75df6cf2faf44 150424 devel None ben_1.22.git.tar.xz
7eeef80a6e44b08c8ed25dd86f554b5b 17468 devel optional ben_1.22_source.buildinfo
Git-Tag-Info: tag=97a19ea71cecec56c1e0049258499618143db045 fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stephane Glondu <steph@glondu.net>
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmpC+MAACgkQYG0ITkaD
wHnPuA/+MaYpllm6en6tvS09FluVG60hqmHZY1OEoO0I9bxmBev/ZPc1SNClE2S6
IuofoVl+mE/R/fYZuF9kpMAlOIYY40Upwm5PLPQjnuxQyWHfXAKbZffRHQXZgxOn
EXX9gx7/kPUO7PRWp3hQTGAFxJT5SAkS2XabSsO6q28ioO54h140eCxPDmisTJY3
P0i9pfH2F2ENctLDcdQSXhfbViJJY9MKyBfXPiB7WNNZjt5MNIFfY3G6SoIGQv5d
fLd0PCEiGuy2Ol8Z+NFxGkeNXYLIjmM2Au6YI2fT09kN6M+bsrEH8zzExueSYJVU
WIMZhcI9ThKP04973vADXJ647d0SRqGtgh+Yj7GHcnPCKmXZuSf7PofTz7n9RfPQ
7qF3fVtfoyjTPW/rqdI3Ylm5bevsI2YrUAdmcG1Altvbw9uzFe/krpMKl7A66Iwr
6sdw/dcS6Us8iMzokyVoY94f3IteYGrb7VyWqqqX4vGLzO1CLJCWw3+1DIjYt8y3
zzmORXI34PULZvj8QbUWDsZmzbBwQB6XjGaZax0Mz8rB6d9aUktrDUFTaDrgVElm
FEmIPXktkj6JZJdB2GtcIKWBUVIj+LplxhhGeTRCpcTZbCpbgGGSwDG6zc3Ij1kf
f99IMgplmILopZ5GkF6Q1XmVBOvBcwVpvw8X9MtqZct2i9VesIw=
=LlUp
-----END PGP SIGNATURE-----
