Julien Cristau a écrit :
> On Mon, Jun 8, 2009 at 15:51:16 +0200, Mehdi Dogguy wrote:
>
>> diff -urNad trunk~/matita/help/C/matita.xml trunk/matita/help/C/matita.xml
>> --- trunk~/matita/help/C/matita.xml 2008-06-20 18:39:32.0 +0200
>> +++ trunk/matita/help/C/matita.xml 2009-06-08 15:3
David MENTRE a écrit :
> Hello,
>
> I made a new status page that shows version number of OCaml packages
> for two distributions and a given OCaml release:
>
> https://bentobako.org/ubuntu-ocaml-status/raw/compare-3.11.0-unstable-karmic.html
>
Laby seems missing in your list:
https:/
Enrico Tassi a écrit :
> On Mon, Jun 08, 2009 at 03:51:16PM +0200, Mehdi Dogguy wrote:
>> You're right. I forget to push one line in the patch.
>> So here is the updated patch attached.
>> Using it, I was able to build matita without network (the documentation
>> was correctly built, I didn't wait
Hello,
I made a new status page that shows version number of OCaml packages
for two distributions and a given OCaml release:
https://bentobako.org/ubuntu-ocaml-status/raw/compare-3.11.0-unstable-karmic.html
Hopefully the coloured output will help to spot any issues in Ubuntu.
Source code is a
On Mon, Jun 8, 2009 at 15:51:16 +0200, Mehdi Dogguy wrote:
> diff -urNad trunk~/matita/help/C/matita.xml trunk/matita/help/C/matita.xml
> --- trunk~/matita/help/C/matita.xml 2008-06-20 18:39:32.0 +0200
> +++ trunk/matita/help/C/matita.xml2009-06-08 15:32:42.0 +0200
> @@ -1,6
I removed 532...@bugs.debian.org from CC as we are going off-topic but I
added d-o-m.
Enrico Tassi wrote:
>
>> P.S.: Editing patches in Svn repositories is a real pain. Won't you
>> consider moving matita to Git?
>
> I'm not claiming that svn is sperior to git, but the following 3 lines
> do th
On Mon, Jun 08, 2009 at 03:51:16PM +0200, Mehdi Dogguy wrote:
> You're right. I forget to push one line in the patch.
> So here is the updated patch attached.
> Using it, I was able to build matita without network (the documentation
> was correctly built, I didn't wait for tests to finish).
I see
Andrea Gasparini wrote:
>
> I think you'd want to modify matita/help/C/xsl/matita-xhtml.xsl as well.
>
Right.
#! /bin/sh /usr/share/dpatch/dpatch-run
## nonet.dpatch by Mehdi Dogguy
##
## DP: Don't use network when building help documents.
@DPATCH@
diff -urNad trunk~/debian/control trunk/debia
> Using it, I was able to build matita without network (the documentation
> was correctly built, I didn't wait for tests to finish).
Still fail for me, se the attached log.
( please note it's not a Debian pbuilder/chroot, I've not one ATM)
I think you'd want to modify matita/help/C/xsl/matita-xh
Stefano Zacchiroli wrote:
> On Mon, Jun 08, 2009 at 02:06:25PM +0200, Mehdi Dogguy wrote:
>> I assume that telling xsltproc to not use network is enough to solve
>> the problem.
>
> I seriously doubt it's enough.
>
You're right. I forget to push one line in the patch.
So here is the updated patc
Your message dated Mon, 08 Jun 2009 13:55:01 +
with message-id
and subject line Bug#531806: fixed in pycaml 0.82-10
has caused the Debian Bug report #531806,
regarding pycaml fails to build with Python 2.6
to be marked as done.
This means that you claim that the problem has been dealt with.
Your message dated Mon, 08 Jun 2009 13:55:01 +
with message-id
and subject line Bug#482917: fixed in pycaml 0.82-10
has caused the Debian Bug report #482917,
regarding pycaml: Missing deps on ocaml-interp and general bad packaging
to be marked as done.
This means that you claim that the prob
Accepted:
pycaml_0.82-10.diff.gz
to pool/main/p/pycaml/pycaml_0.82-10.diff.gz
pycaml_0.82-10.dsc
to pool/main/p/pycaml/pycaml_0.82-10.dsc
pycaml_0.82-10_amd64.deb
to pool/main/p/pycaml/pycaml_0.82-10_amd64.deb
Override entries for your package:
pycaml_0.82-10.dsc - source libdevel
pycaml_0
pycaml_0.82-10_amd64.changes uploaded successfully to localhost
along with the files:
pycaml_0.82-10.dsc
pycaml_0.82-10.diff.gz
pycaml_0.82-10_amd64.deb
Greetings,
Your Debian queue daemon
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "
On Mon, Jun 08, 2009 at 02:06:25PM +0200, Mehdi Dogguy wrote:
> I assume that telling xsltproc to not use network is enough to solve
> the problem.
I seriously doubt it's enough, as the incriminated line is a
of a remote stylesheet. Without net, the import can only
fail. Even if xsltproc has a fa
Package: pycaml
Version: 0.82-9
Severity: wishlist
Hello,
pycaml distribute .cmi file without any readable .mli or .ml file. at
least pycaml.ml should be installed and used to generate an API
reference documentation using ocamldoc.
Regards
Sylvain Le Gall
-- System Information:
Debian Release
On 07-06-2009, Stéphane Glondu wrote:
> Hello,
>
> I've updated pycaml and prepared an upload for unstable. The last
> changelog entry is:
>
Taking care of this.
Regards,
Sylvain Le Gall
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". T
Andrea Gasparini wrote:
> Package: matita
> version: 0.5.7-2
> severity: wishlist
>
> Matita fails to build in a non-networking environment, cause it attempts to
> download an .xsl file in order to generate documentation.
> ( reasons for failing only in i386 arch, in fact...)
>
I assume that t
Package: matita
version: 0.5.7-2
severity: wishlist
Matita fails to build in a non-networking environment, cause it attempts to
download an .xsl file in order to generate documentation.
( reasons for failing only in i386 arch, in fact...)
I tried to build matita in my launchpad PPA, and it give
19 matches
Mail list logo
