Jason Gross

Packages in “Temp ppa for testing Coq with a new ocaml (2)”

Temp ppa for testing Coq with a new ocaml (2)
Packages in “Temp ppa for testing Coq...

This PPA currently publishes packages for Trusty and Precise.

Package totals

The following information is related to the total published packages in the repository (not on your system).

Package counters and estimated archive size temporarily unavailable.

View all builds Package build summary

A total of 53 builds have been created for this PPA.

Completed builds: 14 successful; 39 failed

Packages

Source		Published	Status	Series	Section	Build Status
adwaita-icon-theme - 3.18.0-2ubuntu3.1~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	Gnome

adwaita-icon-theme - 3.18.0-2ubuntu3.1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Gnome

at-spi2-atk - 2.18.1-2ubuntu1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Misc	amd64 i386

atk1.0 - 2.18.0-1~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	Libs

atk1.0 - 2.18.0-1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Libs	amd64 i386

cairo - 1.14.6-1~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	Libs

cairo - 1.14.6-1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Libs

gdk-pixbuf - 2.32.2-1ubuntu1.6~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Libs	amd64 i386

glib2.0 - 2.48.2-0ubuntu4.1~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	Libs	amd64 i386

glib2.0 - 2.48.2-0ubuntu4.1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Libs	amd64 i386

gobject-introspection - 1.46.0-3ubuntu1~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	Devel	amd64 i386

gobject-introspection - 1.46.0-3ubuntu1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Devel	amd64 i386

gtk+3.0 - 3.18.9-1ubuntu3.3~ubuntu14.04.1~ppa2	(changes file)	2019-03-21	Published	Trusty	Libs	amd64 i386

gtk+3.0 - 3.18.9-1ubuntu3.3~ubuntu12.04.1~ppa2	(changes file)	2019-03-21	Published	Precise	Libs	amd64 i386

gtk-doc - 1.25-1ubuntu1.1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Gnome	i386

harfbuzz - 1.0.1-1ubuntu0.1~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	Libs

harfbuzz - 1.0.1-1ubuntu0.1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Libs	amd64 i386

libepoxy - 1.3.1-1ubuntu0.16.04.2~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Libs

libxkbcommon - 0.5.0-1ubuntu2.1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	X11	amd64 i386

mir - 0.26.3+16.04.20170605-0ubuntu1.1~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	X11	amd64 i386

mir - 0.26.3+16.04.20170605-0ubuntu1.1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	X11	amd64 i386

pango1.0 - 1.38.1-1~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	Libs

pango1.0 - 1.38.1-1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Libs	amd64 i386

pcre3 - 2:8.38-3.1~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	Libs	amd64 i386

pcre3 - 2:8.38-3.1~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Libs	amd64 i386

perl - 5.22.1-9ubuntu0.6~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	Perl	amd64 i386

wayland - 1.12.0-1~ubuntu16.04.3~ubuntu14.04.1~ppa2	(changes file)	2019-03-22	Published	Trusty	X11	amd64 i386

wayland - 1.12.0-1~ubuntu16.04.3~ubuntu12.04.1~ppa2	(changes file)	2019-03-22	Published	Precise	X11	amd64 i386