3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
git-machete 2.10.0-1 0 0.00 Probably the sharpest git repository organizer & rebase workflow automation tool you've ever seen ilai
scm_breeze-git 1.0.0.r316.g134d101-1 0 0.00 Streamline your SCM workflow. ilai
tutch 0.53-1 1 0.00 A tool for checking constructive proofs ilai

3 packages found. Page 1 of 1.