Le 29/05/2013 15:02, Hendrik Tews a écrit :
> I updated ounit to fix the FTBFS problem on armel.
Uploaded.
> BTW, where are the OPT: and DYN: prefixes for debian/*.in files
> documented? These prefixes do not work inside debian/rules, I
> suppose?
They are handled by dh_ocamlinit and should be
Le 30/05/2013 20:36, Hendrik Tews a écrit :
> Hendrik Tews writes:
>
>IMHO it makes sense to incorporate the two fixes into the package
>before uploading it. I am therefore going to remove the
>debian/0.3.0-1 tag from the oasis git repo, add the fixes and tag
>it again.
>
> Finis
Le 30/05/2013 20:38, Hendrik Tews a écrit :
> I updated the ocaml-fileutils package: new upstream version,
> changed to debhelper and some other cleanups.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Con
Le 31/05/2013 08:30, Hendrik Tews a écrit :
>Why is cp called with -i option in debian/rules:28 ?
>
> Because upstream might eventually supply the missing mli file. I
> intended to trigger a build error for this case, which does not
> work, as I realize now. However, the -i ensures at least th
Le 31/05/2013 16:29, Hendrik Tews a écrit :
> I updated caml2html. The new upstream version required some
> changes in the build process and some additional build
> dependencies.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "
Le 31/05/2013 22:42, Hendrik Tews a écrit :
> as the subject says. [...]
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/51a99aee.4020..
Le 02/06/2013 23:17, Hendrik Tews a écrit :
> ... as the subject says.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/51abc381.1070...@
Le 03/06/2013 15:34, Hendrik Tews a écrit :
> I updated ocaml-fileutils with a new upstream version that is
> supposed to fix the build problems on kfreebsd.
Your Lintian override is overzealous. Besides, it looks like you
wouldn't notice when a new spelling error is introduced. Am I wrong?
Moreo
Le 04/06/2013 13:14, Hendrik Tews a écrit :
> OK, I deleted the questionable lintian override. I made a new
> version 0.4.5-2 and set version 0.4.5-1 to UNRELEASED, because I
> could not delete 0.4.5-1 tag.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.deb
Le 05/06/2013 00:23, Hilko Bengen a écrit :
> I would really like the autobuilders to be able to build libguestfs
> since the latest upload (1.20.8-1) includes a fix for a security issue.
>
> The problem is that libgettext-ocaml-dev, one of the build dependencies,
> can't be installed. This is the
Le 06/06/2013 12:22, Hendrik Tews a écrit :
> I updated ocaml-atd. There were quite a few changes necessary,
> because the documentation is no longer included upstream.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe
Le 07/06/2013 15:45, Hendrik Tews a écrit :
> I pushed fixes for the two oasis bugs into the git repository. I
> decided to move the cmi and ml* files to the runtime package,
> because letting oasis depend on the development package seemed
> inappropriate.
I don't agree with that. Depending on de
Le 10/06/2013 04:56, Lifeng Sun a écrit :
> I updated the ocaml-csv package: new upstream release, fixed csvtool
> installation and made VCS-* fields canonical.
Please merge the last two changelog entries.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debia
Le 10/06/2013 05:38, Lifeng Sun a écrit :
> I updated the ocaml-res package: new upstream release, changed to
> debhelper, fixed homepage and watch file, and made VCS-* fields
> canonical.
In resulting packages, API documentation appears in double: in
/usr/share/doc/libres-ocaml-dev/api/
and
Le 10/06/2013 09:15, Lifeng Sun a écrit :
>>> I updated the ocaml-csv package: new upstream release, fixed csvtool
>>> installation and made VCS-* fields canonical.
>>
>> Please merge the last two changelog entries.
>
> Merged. Thanks.
Still one (tiny) thing: please add the Format field in the he
Le 10/06/2013 09:15, Lifeng Sun a écrit :
>>> I updated the ocaml-csv package: new upstream release, fixed csvtool
>>> installation and made VCS-* fields canonical.
>>
>> Please merge the last two changelog entries.
>
> Merged. Thanks.
I don't know exactly what you understood but it was not what
Le 10/06/2013 23:13, Stéphane Glondu a écrit :
>>>> I updated the ocaml-csv package: new upstream release, fixed csvtool
>>>> installation and made VCS-* fields canonical.
>>>
>>> Please merge the last two changelog entries.
>>
>> Merged. Than
Le 11/06/2013 04:15, Lifeng Sun a écrit :
>>> Still one (tiny) thing: please add the Format field in the header paragraph.
>>
>> Sorry, I messed up with my mailer. This was refering to ocaml-res.
>
> Fixed. Thanks!
The URL should be
http://www.debian.org/doc/packaging-manuals/copyright-format/
Le 11/06/2013 04:14, Lifeng Sun a écrit :
>> I don't know exactly what you understood but it was not what I meant.
>> Please remove the UNRELEASED changelog entry, and merge it with the last
>> one in a single entry.
>
> Fixed. Sorry for my misunderstanding.
You say "Fix csvtool installation." in
Le 12/06/2013 10:58, Hendrik Tews a écrit :
> I updated ocaml-extunix.
>
> The package contains a patch to disable the execinfo test on arm
> and powerpc. Why does this patch have
>
> Forwarded: not-needed
>
> ? AFAIU certain design choices are responsible for the failure of
> the execinfo te
Le 13/06/2013 16:00, Hendrik Tews a écrit :
> @Stéphane: please pull before uploading, I changed the
> discription of the patch and moved the tag.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact li
Le 13/06/2013 14:13, Hendrik Tews a écrit :
> ... after fixing an int-has-8-byte assumption.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.
Le 11/06/2013 21:03, Prach Pongpanich a écrit :
> I updated ocamlrss to version 2.2.1.
Don't you want to wait the current package to pass NEW before uploading
this one?
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscrib
Le 11/06/2013 07:10, Stéphane Glondu a écrit :
> The URL should be
>
> http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
>
> ...as indicated there and by "lintian -IE --pedantic"...
I fixed it and uploaded the package.
Cheers,
--
Stéphane
--
Le 14/06/2013 10:37, Hendrik Tews a écrit :
> ... as the subject says.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/51bc9369.3010...@
Le 16/06/2013 13:50, Prach Pongpanich a écrit :
> The ocamlrss (2.2.0-1) has migrated to testing [1].
>
> [1] http://packages.qa.debian.org/o/ocamlrss/news/20130611T163916Z.html
Ah, sorry. I was mixing up with prooftree. Uploaded.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml
Le 01/09/2011 23:50, Nicolas Dandrimont a écrit :
> This was bug #605695, closed in version 1.2.7+debian-1, and well, right
> now I can't seem to reproduce it.
I cannot reproduce either:
> steph@wencory:~$ ls /usr/lib/ocaml/METAS/
> META.bigarray META.camlp4 META.dbm META.dynlink
Le 17/06/2013 16:08, Hendrik Tews a écrit :
> are you sure, type-conv_3.0.5 is the latest upstream release?
> https://ocaml.janestreet.com/ocaml-core/109.28.00/individual/
> contains type_conv-109.28.00.tar.gz which seems to be more
> recent.
Oh, right. For some time, Markus Mottl made his own re
Le 17/06/2013 16:44, Stéphane Glondu a écrit :
>> are you sure, type-conv_3.0.5 is the latest upstream release?
>> https://ocaml.janestreet.com/ocaml-core/109.28.00/individual/
>> contains type_conv-109.28.00.tar.gz which seems to be more
>> recent.
>
> Oh, righ
Le 18/06/2013 10:33, Hendrik Tews a écrit :
> I believe using latest in the watch file is not so good, because
> with the next release, the current package probably vanishes from
> the latest subdir.
>
> It would be better to tell uscan to scan all these 109.xx.xx
> subdirectories, but
>
> ht
Le 15/06/2013 15:24, Hendrik Tews a écrit :
> I updated the atdgen package, it contains a fairly big makefile
> patch now, which makes it possible to run some tests.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe".
Le 21/06/2013 12:09, Hendrik Tews a écrit :
> ... it contains a new upstream version and the necessary changes
> for OCaml 4.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian
Le 22/06/2013 15:06, Lucas Nussbaum a écrit :
> During a rebuild of all packages in sid, your package failed to build on
> amd64.
> [...]
> Relevant part:
>> make[1]: Entering directory `/«PKGBUILDDIR»'
>> ocaml setup.ml -configure --prefix /usr --destdir
>> '/«PKGBUILDDIR»/debian/libbin-prot-caml
Le 23/06/2013 21:40, Hendrik Tews a écrit :
> after waiting for some time to get a proper 1.2 release, I was
> finally able to update ocaml-benchmark.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contac
tags 713387 + pending
thanks
Le 23/06/2013 23:31, Hendrik Tews a écrit :
> I added a patch to change the name of type-conv in the configure
> script.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact
Le 23/06/2013 17:35, Nicolas Dandrimont a écrit :
> To prepare a marionnet update, I updated ocamlbricks, fixing a few lintian
> issues in the process. Everything's in git.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubsc
Le 24/06/2013 11:54, Hendrik Tews a écrit :
> have you deliberately decided to not upload the newest versions
> of sexplib and ocaml-data-notation? Because of 3.12
> compatibility?
Yes indeed. I was afraid of incompatibilities, not only with OCaml.
For example, the fieldslib version I uploaded ye
Le 24/06/2013 11:18, Hendrik Tews a écrit :
> I finally fixed the last failing test with a patch from Sylvain.
> I also added some more build dependencies to enable tests that
> were previously skipped. The last test that is skipped is "Keep
> file rights" from test/TestFileTemplate, which needs to
Le 24/06/2013 13:21, Hendrik Tews a écrit :
>I don't see new commit since June 13. Maybe you forgot to push?
>
> Sorry, pushed now.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@l
Package: libzarith-ocaml-dev
Version: 1.1-2
Severity: serious
steph@wencory:~$ cat bug.ml
print_endline Z.(to_string one);;
steph@wencory:~$ ocamlfind ocamlc -package zarith -linkpkg bug.ml
steph@wencory:~$ ./a.out
1
steph@wencory:~$ ocamlfind ocamlopt -package zarith -linkpkg bug.ml
/usr/bin/ld:
Le 26/06/2013 19:44, Alexandre Rebert a écrit :
> We found a crash in jocamlrun contained in the jocaml-base package. You are
> being
> contacted because your are listed as one of the maintainer of jocaml-base.
I am sorry, but it is not a bug if jocamlrun segfaults when you feed it
garbage!
And
Le 04/07/2013 10:32, Lifeng Sun a écrit :
>> You say "Fix csvtool installation." in changelog, but what I see is
>> usr/bin/csvtool in libcsv-ocaml-dev and usr/bin/csvtool.native in
>> csvtool. How is that right?
>> Only one of the them should be installed. And without extension.
>
> Sorry, my fau
Le 06/07/2013 13:22, Stéphane Glondu a écrit :
>> Sorry, my fault. Fixed.
>
> Uploaded.
It failed on all bytecode architectures, for an obvious reason...
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe&q
Le 06/07/2013 17:53, Lifeng Sun a écrit :
>> It failed on all bytecode architectures, for an obvious reason...
>
> I pushed a fix few minutes ago, could you please upload it? Thanks.
Done.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "u
Le 06/07/2013 19:17, Stéphane Glondu a écrit :
>>> It failed on all bytecode architectures, for an obvious reason...
>>
>> I pushed a fix few minutes ago, could you please upload it? Thanks.
It failed again...
I had a closer look. The package was built with
DESTDIR=$(CURDIR
Le 11/06/2013 14:41, Hendrik Tews a écrit :
> I forgot to note that the package is not lintian-clean:
>
> I get ocaml-dangling-cmi twice for a cmi that was created with
> ocamlc -pack. Naturally, there is no ml or mli file that could be
> installed along the cmi. How should I handle this lintian t
Le 20/06/2013 13:31, Hendrik Tews a écrit :
> I have now prepared mikmatch_1.0.6-2 which targets experimental
> and compiles with OCaml 4.00.
Uploaded. I took the liberty to update the dependencies so that versions
from experimental are taken. I also updated the tag as well. I also had
to upload v
Le 10/07/2013 13:34, Hendrik Tews a écrit :
> I would still like to update sexplib to the newest version in a
> package which targets experimental. Would that be OK? (see also [1])
Yes.
> I updated mikmatch some time ago, version 1.0.6-1 for unstable
> and OCaml 3.12 and version 1.0.6-2 for exper
Le 16/07/2013 10:47, Hendrik Tews a écrit :
> I forgot about these dependency problems with experimental and
> that some of these dependencies may have to be removed when the
> package moves to unstable.
>
> So maybe it is better then to update the package in the git
> repository only, without upl
Le 08/05/2013 12:47, Stéphane Glondu a écrit :
> During the freeze, a new major version of OCaml has been released. The
> current version is 4.00.1 (already in experimental, the one in sid is
> 3.12.1). It breaks some packages, and many of those have been fixed
> upstream meanwhile. I
Le 23/07/2013 17:41, Lifeng Sun a écrit :
> I updated the sexplib310 package for experimental: new upstream release,
> update debian/watch.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas..
Hello,
The git repositories for these packages have been updated by you, but
I've seen no message on this mailing-list. Are these packages ready? I
am considering uploading them to experimental...
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
wit
Le 24/07/2013 10:35, Lifeng Sun a écrit :
> btw: could you please upload type-conv-109.28.00-1 to experimental? I'm
> working on janest-core related packages, and would update/upload them
> in a couple of weeks.
It is already in experimental. Did you mean something else?
Cheers,
--
Stéphane
Le 24/07/2013 08:26, Stéphane Glondu a écrit :
> The git repositories for these packages have been updated by you, but
> I've seen no message on this mailing-list. Are these packages ready? I
> am considering uploading them to experimental...
Same question for extlib...
--
Sté
Package: wnpp
Severity: normal
Hello,
Currently, camomile has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
wit
Package: wnpp
Severity: normal
Hello,
Currently, ocaml-http has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
w
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
Dear Release Managers,
I would like to start the transition to OCaml 4.00.1 (released last
November) as soon as possible. It breaks some packages; most of them
have been fixed in experim
Le 19/11/2012 13:23, Iain Lane a écrit :
> It would be good if ben had support for working with partial suites
> (e.g. experimental). One could then stage transitions without having to
> host a full repository.
>
> I'm interested in this because we've started using a partial suite for
> Ubuntu upl
Le 19/08/2013 15:03, Johannes Schauer a écrit :
> not quite sure why I was CC'ed but I do have some comments for Iain :)
I've put you in CC because my proposal will basicaly revert your patch
from #714703 and offer an alternative solution. Actually, I should have
put this bug in CC... done.
> How
Le 03/09/2013 15:54, Dmitrijs Ledkovs a écrit :
> ocaml-estrings has been accepted just now. So a build-dependencies on
> libestring-ocaml-dev should be all that's needed here.
Do you want to take care of ocaml-sqlexpr? It is currently (i.e. in git)
without human maintainer...
Cheers,
--
Stéph
Le 28/08/2013 20:41, Gabriel Kerneis a écrit :
> I have worked on a new ocaml-cil package, from scratch. I am also the
> new upstream for CIL and it has changed a lot since Stéphane first tried
> to package it.
Thank you a lot for that!
> My current version (ocaml-cil_1.7.3, not to be confused wi
Le 30/08/2013 23:17, Hendrik Tews a écrit :
> I made otags up-to-date. The updated package requires OCaml 4, it
> must go to experimental.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...
severity 723061 wishlist
thanks
Le 16/09/2013 01:31, Bernat a écrit :
> When purging this package it will remove /var/lib/mldonkey/incoming,
> shared and temp directories even when they're not empty. A user purging
> the package will loose all their files in these directories. I've set
> serious s
Le 16/08/2013 12:25, Hendrik Tews a écrit :
> I packaged a new version of Hol Light. The package should go to
> unstable, it builds there as well as with OCaml 4 from
> experimental.
Uploaded.
Feel free to ping if some of your RFS looks forgotten.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, ema
Le 04/09/2013 07:48, Stéphane Glondu a écrit :
>> I have worked on a new ocaml-cil package, from scratch. I am also the
>> new upstream for CIL and it has changed a lot since Stéphane first tried
>> to package it.
>
> Thank you a lot for that!
>
>> My current ve
Le 24/10/2013 08:27, Niels Thykier a écrit :
> Your package has out of date binaries on architectures were
> ocaml-estring is unavailable (e.g. armhf), but it appears to have
> built there in the past. This is a blocker for ocaml-sqlexpr
> migrating to testing[1].
> If ocaml-sqlexpr should no lo
Le 09/11/2013 10:32, Hendrik Tews a écrit :
> Debian FTP Masters writes:
>
>Source: ocaml
>Version: 4.01.0-1
>
> does this mean we skip the 4.00 transition and transition
> directly to 4.01, when the release team finally approves?
Yes.
> Does this also mean that you would welcome/spons
Le 10/11/2013 14:55, Andreas Beckmann a écrit :
> looking at the transition tracker pages, I sometimes would like to know
> about the state of a transition in testing, not unstable.
> E.g. when I filed 729214 I had no clue whether the openmpi1.6 packages
> had started migrating to testing ...
>
>
Le 10/11/2013 15:28, Andreas Beckmann a écrit :
>>> looking at the transition tracker pages, I sometimes would like to know
>>> about the state of a transition in testing, not unstable.
>>> E.g. when I filed 729214 I had no clue whether the openmpi1.6 packages
>>> had started migrating to testing .
OCaml Maintainers
Changed-By: Stéphane Glondu
Description:
libcalendar-ocaml - OCaml library providing operations over dates and times
libcalendar-ocaml-dev - OCaml library providing operations over dates and times
libcalendar-ocaml-doc - OCaml library providing operations over dates and times
Le 14/11/2013 07:41, Hendrik Tews a écrit :
> a few days a ago I prepared a new version of hol-light, but it is
> still sitting on my hard disk, because I cannot push to
> git.debian.org:
>
> wallace hol-light 5> ssh git.debian.org
> ssh: connect to host git.debian.org port 22: No route to
Le 21/11/2013 16:04, Hendrik Tews a écrit :
> I pushed now to got.debian.org. The new hol-light version works
> with the new camlp5 in experimental as well as with the version
> in unstable. It should therefore be uploaded to unstable.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries
retitle 718767 transition: ocaml 4.01.0
thanks
Le 05/08/2013 10:43, Stéphane Glondu a écrit :
> I would like to start the transition to OCaml 4.00.1 (released last
> November) as soon as possible. It breaks some packages; most of them
> have been fixed in experimental. As usual, it invol
Le 25/11/2013 20:50, Hendrik Tews a écrit :
> I was looking into updating ounit to version 2.0. But our git
> repository does only contain version 1.1.2-2. Some part from the
> 1.1.2-3~exp1 changes is missing.
>
> Did anybody forget to push or was the -3~exp1 version prepared
> without git?
It
Package: ben
Version: 0.6.6
Severity: normal
Le 09/02/2012 18:21, Niels Thykier a écrit :
>> While this post-processing of generated HTML files is kind of ugly, it
>> makes it easy to show which transitions might be entangled due to
>> collisions.
>> [...]
>
> I am in favor of using this as a tem
Le 28/11/2013 00:06, Gregory Bellier a écrit :
> could you consider pushing the ocaml-mysql 1.1.2 into Debian so that
> prepared statements can work with NULL values ?
Done.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubsc
Le 29/11/2013 23:48, Roland Stigge a écrit :
> please add powerpcspe to the list of native architectures. I.e., add
> "powerpcspe" to:
>
> * debian/native-archs
> * debian/natdynlink-archs
> * debian/control
>
> similar as powerpc.
>
> I'm attaching a patch that fixes an asm build problem on pow
Le 07/10/2013 17:57, John Whitington a écrit :
> Thanks for your hard work in packaging CamlPDF for Debian thus far.
>
> I'm just writing to let you know that CamlPDF:
>
> a) Is now under LGPL, so in theory can move out of non-free into main
> debian
> b) Has been updated to version 1.7
>
> Here
Le 30/11/2013 19:54, Roland Stigge a écrit :
>> Aren't those registers also used by generated code?
>
> The registers can't be used since they don't exist and the assembler
> would show errors if someone would try to use them. Now (with my patch),
> the assembler doesn't show errors anymore.
>
>>
clone 730830 -1
retitle -1 FTBFS with recent binutils-dev
severity -1 serious
thanks
Le 01/12/2013 11:09, Roland Stigge a écrit :
Aren't those registers also used by generated code?
>>>
>>> The registers can't be used since they don't exist and the assembler
>>> would show errors if someone w
Le 02/12/2013 13:54, Mehdi Dogguy a écrit :
>>> I would like to start the transition to OCaml 4.00.1 (released last
>>> November) as soon as possible. It breaks some packages; most of them
>>> have been fixed in experimental. As usual, it involves a lot of binNMUs;
>>> I will take care of those.
>>
Maintainers
Changed-By: Stéphane Glondu
Description:
libcalendar-ocaml - OCaml library providing operations over dates and times
libcalendar-ocaml-dev - OCaml library providing operations over dates and times
libcalendar-ocaml-doc - OCaml library providing operations over dates and times
Changes
Source: facile
Version: 1.1-8
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
facile FTBFS when binNMUed against ocaml 4.01.0.
>From the amd64 build log:
> File "fcl_data.ml", line 1:
> Error: The implementation fcl_data.ml
>does not match the interface fcl_data.cmi:
Le 03/12/2013 18:46, Ralf Treinen a écrit :
> I see Stéphane uploading loads of packages. Is there anything we can do to
> help? I could for instance upload some of the arch=all packages :
>
> ocamlwc, ocamlweb, planets, polygen, bibtex2html
>
> somewhen later this evening, but I am waiting for a
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
Source: dose3
Version: 3.1.3-5
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
dose3 FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
> findlib: [WARNING] Interface common.cmi occurs in several directories:
> doselibs, common
> + ocamlfind ocamlopt -c -w
Le 03/12/2013 23:03, Stéphane Glondu a écrit :
> dose3 FTBFS when binNMUed against ocaml 4.01.0.
> [...]
FTR, it fails only on native architectures.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble?
Source: libllvm-3.3-ocaml-dev
Version: 1:3.3-13
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
libllvm-3.3-ocaml-dev installs *.cm* files (which are ABI-specific), but
does not depend on ocaml-nox-$ABI. It must.
You should use dh_ocaml for that (dh --with ocaml + ${ocaml:De
Le 30/11/2013 15:28, Stéphane Glondu a écrit :
> * In pdfafmdata.ml, there is embedded data that is copyright Adobe with
>no clear license. I could not find its origin.
After further investigation, I bumped into:
http://stackoverflow.com/questions/10866240/adobe-font-metrics-for-st
Le 04/12/2013 20:46, Yann Dirson a écrit :
> nss-passwords, which I only run occasionally, fails today with the
> following message:
>
> Fatal error: exception Main.NSS_decrypt_failed("", -5977, 0)
>
> After trying several accounts on commandline, it looks like it
> succeeds in finding the passwo
Le 04/12/2013 23:39, Yann Dirson a écrit :
>>> nss-passwords, which I only run occasionally, fails today with the
>>> following message:
>>>
>>> Fatal error: exception Main.NSS_decrypt_failed("", -5977, 0)
>>>
>>> After trying several accounts on commandline, it looks like it
>>> succeeds in findin
Source: galax
Version: 1.1-10
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
galax FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
> File "datatypes/dateTime.ml", line 196, characters 20-22:
> Warning 3: deprecated feature: operator (or); you should use
Source: jocaml
Version: 3.12.1-1
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
jocaml needs to be updated to ocaml 4.01.0.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact list
Source: ocamlduce
Version: 3.12.1.0
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
ocamlduce needs to be updated to ocaml 4.01.0.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contac
Source: otags
Version: 3.12.5-2
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
otags needs to be updated to ocaml 4.01.0.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listma
Source: ocamldap
Version: 2.1.8-8
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
ocamldap FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
> ocamlfind ocamlc -package netstring,str,ssl -c -g ldap_protocol.mli
> ocamlfind ocamlc -package netstring,str,ssl
Source: ocaml-data-notation
Version: 0.0.9-1
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
ocaml-data-notation FTBFS when binNMUed against ocaml 4.01.0.
From the amd64 build log:
> ocamlfind ocamlopt -shared -linkall src/odn.cmxa -o src/odn.cmxs
> ocamlfind ocamldep -packa
Le 05/12/2013 00:01, Yann Dirson a écrit :
>> I've got also the same Iceweasel version, and nss-passwords works on the
>> currently-in-use profile, if by that you mean "used by a currently
>> running instance of Iceweasel".
>
> That's what I meant.
>
>> Do you get the error no matter which passwo
701 - 800 of 2282 matches
Mail list logo
