3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
github-desktop-bin 2.9.3-1 32 0.70 GUI for managing Git and GitHub. fanninpm
lean-community 3.33.0-1 2 0.08 Lean Theorem Prover, maintained by the Lean community fanninpm
lean-community-bin 3.33.0-1 0 0.00 Lean Theorem Prover, maintained by the Lean community fanninpm

3 packages found. Page 1 of 1.