[openrtm-users 02606] Re: PPAおよびLaunchpadについて

[Kei Okada]

入れ違いになりました

> まだよくわかっていないのですが、バージョン番号だけ更新すると、
> 古いパッケージは自動的に削除されてしまいませんか？＞PPA

なるほど

それは、確かにそういう気がします。
それで
provides openrtm-aist
みたいにするのが、よくありそうですね。