herd "legacy" repository We here provide legacy code from the herd team. This code is not maintenained. herdtools, an outdated version of the herdtools7 toolbox. herd-opam-repository, outdated custom OPAM repository for herd packages.