Build

Derivation: /gnu/store/s4izzbrk6dy1iig8zw70djqg45y13hdi-emacs-dedukti-mode-0-0.d7c3505-checkout.drv
Build server URL: https://bordeaux.guix.gnu.org/