/gnu/store/njkksni892p24qk8qm6x20xkvjqwj98l-coq-flocq-3.4.2-checkout.drv