Package: boogie-friends
Fetcher: github
Source:  https://github.com/boogie-org/boogie-friends.git

Cannot determine version for boogie-friends
 ✗ Cannot determine version!
Fetched boogie-friends in 0.120s, finished at 2024-05-04T10:14:39+0000