Robuta

https://ftp.fau.de/gentoo-portage/dev-util/herdtools7/?C=N;O=D Index of /gentoo-portage/dev-util/herdtools7 index of gentoo portage dev util https://packages.debian.org/source/testing/herdtools7 Debian -- Details of source package herdtools7 in forky source package debian details forky https://lists.debian.org/debian-ocaml-maint/2026/03/msg00000.html Re: Please enable CI for herdtools7 please enable ci