Package: yasnippet-lean
Fetcher: github
Source:  https://github.com/leanprover-community/yasnippet-lean.git

Cannot determine version for yasnippet-lean
 ✗ Cannot determine version!
Fetched yasnippet-lean in 0.077s, finished at 2024-05-04T18:09:41+0000