/gnu/store/0ysvdnzkn1ffsnyaxq6nizgnirbs0pcy-emacs-dedukti-mode-0-0.d7c3505-checkout.drv