<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Dec 15, 2014 at 8:44 AM, Dirk Hohndel <span dir="ltr"><<a href="mailto:dirk@hohndel.org" target="_blank">dirk@hohndel.org</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><span class=""><br><div><blockquote type="cite"><div>On Dec 14, 2014, at 10:30 PM, Benjamin <<a href="mailto:nystire@gmail.com" target="_blank">nystire@gmail.com</a>> wrote:</div><div><p dir="ltr">Are the two (Debian and Ubuntu) now so different that the same package/repository can't be used for both?</p>
</div></blockquote></div></span>I really don’t know - which is why I’m asking the experts here.<div>It’s my understanding (for whatever that’s worth) that Debian cannot use the PPA that we have - and the PPA is so convenient that I certainly won’t move away from that for Ubuntu and LinuxMint.</div><div>Maybe the underlying repo can be exposed to Debian - I don’t know how.</div></div></blockquote><div><br></div><div>If the dependencies can are satisfied with Debian, then the Ubuntu PPA repository should be an easy option. I think the marblewidget and libgit were the most problematic ones so this might be an easy option. As long as the package names (for the dependencies) don't change an old Ubuntu build should work with Debian...<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>Or maybe Miika has a simple script that allows me to automate making a repo for Debian.</div><div><br></div><div>Basically at this point I’m exploring the options to figure out what’s reasonable.</div></div></blockquote><div><br></div><div>This option might be safer since our build chroot contains a clean Debian install and all the dependencies should be based on that. And automating own repository should be quite straight forward.<br></div><div><br></div><div>miika<br></div><div> </div></div></div></div>