Re: RFS: proofgeneral

2012-01-13 Thread Hendrik Tews
Stéphane Glondu writes: Thank you for your contribution! And thanks for your guidance and help! We should discuss the issue of concurring emacs coq modes, I'll post to debian-ocaml-maint about this. How should we continue our Proof General collaboration? I upload new versions to debian

Re: RFS: proofgeneral

2012-01-13 Thread Stéphane Glondu
Le 13/01/2012 08:59, Hendrik Tews a écrit : >Done and uploaded. The new version should appear soon. > > debian.mentors dropped my upload from yesterday evening. But now > the package is there. Uploaded to Debian. Thank you for your contribution! -- Stéphane -- To UNSUBSCRIBE, email to de

Re: RFS: proofgeneral

2012-01-13 Thread Hendrik Tews
Hendrik Tews writes: Done and uploaded. The new version should appear soon. debian.mentors dropped my upload from yesterday evening. But now the package is there. H. -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listm

Re: RFS: proofgeneral

2012-01-12 Thread Hendrik Tews
Great! You should remove the non-free disclaimer in debian/copyright, then. Done and uploaded. The new version should appear soon. H. -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Arch

Re: RFS: proofgeneral

2012-01-12 Thread Stéphane Glondu
Le 12/01/2012 21:52, Hendrik Tews a écrit : >For now I moved the package to non-free, see the latest instance >on mentors.debian. > > There was a prerelease this evening, containing the license > change. I've just uploaded a new package, which is now in section > main again. Great! You sh

Re: RFS: proofgeneral

2012-01-12 Thread Hendrik Tews
Hendrik Tews writes: For now I moved the package to non-free, see the latest instance on mentors.debian. There was a prerelease this evening, containing the license change. I've just uploaded a new package, which is now in section main again. Bye, Hendrik -- To UNSUBSCRIBE, email to d

Re: RFS: proofgeneral

2012-01-11 Thread Hendrik Tews
> Upstream has just changed the license to CC-BY-SA-3, see > http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/file/be73425fbe77/images/README > > Therefore the issue is probably not pressing any more for > proofgeneral-3.7-4 Great! Do you have an idea of when a

Re: RFS: proofgeneral

2012-01-11 Thread Hendrik Tews
[I've answered the points relevant to FTP Masters separately, and removed them from CC here again.] Stéphane Glondu writes: I was talking about the lines *between* changelog entries, not inside the last one. OK, I tried again, hopefully deleting the right lines now. I think paths

Re: RFS: proofgeneral

2012-01-11 Thread Stéphane Glondu
Le 11/01/2012 14:13, Hendrik Tews a écrit : >I've just noticed that there are files under CC-BY-NC-SA-3. > > Upstream has just changed the license to CC-BY-SA-3, see > http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/file/be73425fbe77/images/README > > Therefore the issue is pro

Re: RFS: proofgeneral

2012-01-11 Thread Hendrik Tews
Stéphane Glondu writes: I've just noticed that there are files under CC-BY-NC-SA-3. Upstream has just changed the license to CC-BY-SA-3, see http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/file/be73425fbe77/images/README Therefore the issue is probably not pressing any more

Re: RFS: proofgeneral

2012-01-11 Thread Hendrik Tews
Stéphane Glondu writes: I've just noticed that there are files under CC-BY-NC-SA-3. This is not free (the "NC" part). Is the current package shipping these files? If it You mean proofgeneral-3.7-4? Yes, just see /usr/share/emacs/site-lisp/proofgeneral/images/README.images Is it poss

Re: RFS: proofgeneral

2012-01-10 Thread Stéphane Glondu
Le 10/01/2012 15:56, Hendrik Tews a écrit : > - in debian/changelog, there are two extraneous blank lines after the > first entry; don't do that > > Done. I was talking about the lines *between* changelog entries, not inside the last one. > - consider using http://dep.debian.net/de

Re: RFS: proofgeneral

2012-01-10 Thread Hendrik Tews
I wrote: - the Proof General splash screen misses the picture (still investigating) Fixed now with the latest upload. - proofgeneral-coq, proofgeneral-minlog and proofgeneral-misc are not deleted when proofgeneral is upgraded. Would Replaces: proofgeneral-coq, ... fix this?

Re: RFS: proofgeneral

2012-01-10 Thread Hendrik Tews
[Stephane: I am moving the discussion to debian-mentors, because I got a reply from Mike Dupont there.] Hi, Thanks for your comments, Mike and Stephane! I am sorry for the missing build-dependencies. I somehow expected it takes much longer until somebody would try my package and that I therefore

Re: RFS: proofgeneral

2012-01-09 Thread Mike Dupont
http://fmtyewtk.blogspot.com/2012/01/proof-general-build-results.html here is my results it seems that it is missing dependanies for latex which is failing in the build mike On Tue, Jan 10, 2012 at 1:35 AM, Mike Dupont wrote: > This is good news. I tried out proof general at one point, good to se

Re: RFS: proofgeneral

2012-01-09 Thread Mike Dupont
This is good news. I tried out proof general at one point, good to see you working on it. I will try our your package when I find time. mike On Mon, Jan 9, 2012 at 10:54 PM, Hendrik Tews wrote: > Dear mentors, > > I am looking for a sponsor for my package "proofgeneral". > >  * Package name    :