/gnu/store/8s52sbakyq7cdyqfzxn2k8xypzhwpwj0-coq-coquelicot-3.4.1