Dear mentors,
I am looking for a sponsor for my package "proofgeneral".
* Package name: proofgeneral
Version : 4.2~pre120104-1
Upstream Author : David Aspinall and others
* URL : http://proofgeneral.inf.ed.ac.uk/
* License : GPL 2
Section : scie
[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
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?
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
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
[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
> 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
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, ema
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
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". Troubl
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
11 matches
Mail list logo
