/gnu/store/70b23sqkwnvpn26wy07xvm6pnwwab0qh-coq-gappa-1.4.6-checkout.drv