Testing: Excuse for coq-interval

Excuses generated on: Thu Jun 13 14:05:13 2024 UTC

Maintainer page Package tracker

Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.

Experimental manual migration pseudo-excuses (YAML).