Ubuntu

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
Coq Daily Builds	Various daily builds of Coq	10	61
Coq Daily Builds (master)	Various daily builds of Coq (master)	37	406
Coq Daily Builds (trunk)	Various daily builds of Coq (trunk)	11	143
Coq Daily Builds (v8.10)		8	103
Coq Daily Builds (v8.11)		6	105
Coq Daily Builds (v8.12)		6	90
Coq Daily Builds (v8.13)		8	121
Coq Daily Builds (v8.5)	Various daily builds of Coq (v8.5)	11	134
Coq Daily Builds (v8.6)	Various daily builds of Coq (v8.6)	11	129
Coq Daily Builds (v8.7)	Various daily builds of Coq (v8.7)	11	168
Coq Daily Builds (v8.8)	Various daily builds of Coq (v8.8)	11	119
Coq Daily Builds (v8.9)		11	114
Coq backports	Backports of newer versions of Coq	10	71
Many Coq Versions		36	697
Many Coq Versions with OCaml 4.05		30	661
Many Coq Versions with OCaml 4.05 (testing)	Temp ppa for testing Coq with OCaml 4.05	13	178
Many Coq Versions with OCaml 4.08		48	1127
Many Coq Versions with OCaml 4.11		53	1008
OCaml backports	Newer versions of OCaml libraries for building Haxe.	25	199
OCaml backports		25	226
PPA for Matthias Klose		5	218
Radio Giroll		77	462
Temp ppa for testing Coq with a new ocaml (3)		12	118
bfgminer upgrade for ubutu 14.04		72	171
precise-trusty-backports		6	25
precise-xenial-backports		11	41