Package: dedukti-mode
Fetcher: github
Source:  https://github.com/rafoo/dedukti-mode.git

Cannot determine version for dedukti-mode
 ✗ Cannot determine version!
Fetched dedukti-mode in 0.082s, finished at 2024-05-04T10:18:54+0000