Package: z3-mode
Fetcher: github
Source:  https://github.com/zv/z3-mode.git

Cannot determine version for z3-mode
 ✗ Cannot determine version!
Fetched z3-mode in 0.077s, finished at 2024-05-04T18:09:54+0000