2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
git-machete 2.9.0-1 0 0.00 See what branches are out of sync with their parent branches and painlessly rebase them. ilai
tutch 0.53-1 1 0.00 A tool for checking constructive proofs ilai

2 packages found. Page 1 of 1.