Ubuntu

Overview
Code
Bugs
Blueprints
Translations
Answers

Personal Package Archives for Ubuntu

Personal Package Archives (PPA) allow you to upload Ubuntu source packages to be built and published as an apt repository by Launchpad. You can find out more about PPAs and how to use them in our help page.

Search user-contributed software packages published in any Ubuntu PPA.

Show PPAs matching:
	Including descriptions of empty PPAs

PPA name	Description	Sources	Binaries
test	test it bro	18	18
lean	Unofficial Lean Prover PPA	7	14