Build 61a4bd72-9cb6-4ebd-a842-ac3dfc75137d — bordeaux.guix.gnu.org
Derivation
/gnu/store/rgn832dzr0i76zzbd1fadrva1kswzj1m-coq-gappa-1.4.4.drv
Tags
Submitted at
2021-06-18 15:41:30
State
Pending
Priority
0