Hendrik Tews t...@os.inf.tu-dresden.de 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
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
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
Hendrik Tews t...@os.inf.tu-dresden.de 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
--
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 should
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
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
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
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 probably
[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
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
[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
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
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 :
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 t...@os.inf.tu-dresden.de wrote:
Dear mentors,
I am looking for a sponsor for my package proofgeneral.
*
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
jamesmikedup...@googlemail.com wrote:
This is good news. I tried out proof
17 matches
Mail list logo
