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

Updating /mnt/store/melpa/working/flycheck-dedukti/
Cannot determine version for flycheck-dedukti
 ✗ Cannot determine version!
Fetched flycheck-dedukti in 1.139s, finished at 2024-12-27T10:44:35+0000