On Jul 28, 2012, at 7:17 AM, Thomas Jollans wrote: > Are other PPAs set up like this? Is this common? If there is relevant > Ubuntu policy, what does it say?
Not sure -- the documentation for the PPA system leaves much to be desired. As far as I can tell, when you push a new version of a package, the old version moves into "superseded" status, at which point it's no longer available to end users or other PPAs. This is in contrast to a normal Debian repository, where old packages and new packages live in harmony together. If anyone knows how to alter this behavior I'd love to know! - Eric _______________________________________________ vala-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/vala-list
