Ben Gamari authored Mar 20, 2025 and Teo Camarasu committed May 12, 2025

This is not relevant to head.hackage's validation since it merely
builds the Agda standard libraries. Upstream removed this
in [1].

[1] https://github.com/agda/agda/commit/5b89a8580b04000294c2618680f7c362ae26f62a