Re: ounit: new version fixes FTBFS on armel
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 documented there (but they are not). Feel free to fix. Cheers, -- 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/51a655db.7000...@debian.org
Re: [OASIS-devel] updated oasis
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. > > Finished now. Why is cp called with -i option in debian/rules:28 ? Cheers, -- 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/51a7c859.9050...@debian.org
Re: ocaml-fileutils updated
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? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51a7c9c4.3050...@debian.org
Re: [OASIS-devel] updated oasis
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 that an > upstream supplied mli is not overwritten. > > For the current version, the -i is harmless, because the target > does not exits. OK. 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/51a8e94c.4010...@debian.org
Re: caml2html updated
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 "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51a8eaff.8060...@debian.org
Re: easy-format updated
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...@debian.org
Re: cppo updated
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...@debian.org
Re: ocaml-fileutils updated
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? Moreover, I get this with lintian -IE --pedantic: I: libfileutils-ocaml-dev: unused-override spelling-error-in-binary Cheers, -- 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/51ad8516.1010...@debian.org
Re: ocaml-fileutils updated
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.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51aec713.4030...@debian.org
Re: libgettext-ocaml-dev cannot be installed in unstable -- what to do?
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 output from my local i386-sid sbuild: > > The following packages have unmet dependencies: > libgettext-ocaml-dev : Depends: libfileutils-ocaml-dev-3oek0 which > is a virtual package. > > This is correct: The current version of libfileutils-ocaml-dev:i386 in > unstable (0.4.4-1) provides libfileutils-ocaml-dev-mojy1. > > Would a rebuild of ocaml-gettext fix the problem? I just rebuilt > ocaml-gettext locally and sure enough: It depends on > libfileutils-ocaml-dev-mojy1. It should be enough. However, a new version of ocaml-fileutils has just been uploaded. Once it is built everywhere, I will schedule a binNMU of ocaml-gettext. Cheers, -- 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/51aec80f.90...@debian.org
Re: ocaml-atd updated
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". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51b10603.3030...@debian.org
Re: Bug#711452: liboasis-ocaml: Needs to depend on ocamlbuild in the META file.
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 development packages is fine for things running ocaml scripts. Even if you move one specific cmi to the runtime package, theoretically any depended-on cmi (from other packages) might be needed as well... therefore, a proper development environment is needed to run ocaml scripts. Cheers, -- 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/51b1e845.7030...@debian.org
Re: ocaml-csv updated
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.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51b55f1d.1000...@debian.org
Re: ocaml-res updated
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 /usr/share/doc/libres-ocaml-dev/html/api/ Note: "lintian -IE --pedantic" complains very loudly about it... There are many missing changes in debian/changelog. Please consider switching debian/copyright to the new format, and update debhelper compat level. Cheers, -- 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/51b56562.30...@debian.org
Re: ocaml-csv updated
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 header paragraph. Cheers, -- 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/51b64160.60...@debian.org
Re: ocaml-csv updated
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 I meant. Please remove the UNRELEASED changelog entry, and merge it with the last one in a single entry. Cheers, -- 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/51b6415a.7010...@debian.org
Re: ocaml-csv updated
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. Thanks. > > 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. -- 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/51b644a5.6090...@crans.org
Re: ocaml-csv updated
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/1.0/ ...as indicated there and by "lintian -IE --pedantic"... Cheers, -- 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/51b6b147.3020...@debian.org
Re: ocaml-csv updated
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 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. By the way, ocaml-csv has reverse dependencies (as shown by "build-rdeps libcsv-ocaml-dev") and this new version changes the ABI. Did you check that they compile with it? One of them is pgocaml and has a new version; do you intend to update it as well? Cheers, -- 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/51b6b3fc.9020...@debian.org
Re: ocaml-extunix updated
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 test on arm and powerpc. I would therefore say that > upstream should disable execinfo on these platforms. I marked it as "Forwarded: not-needed" (which is not well named, but looked the most suitable DEP3 header) because the patch was not in a state to be forwarded upstream as is. Of course, something should be done upstream... and looking at the git log, it seems it has been (new --disable-execinfo configure option). But for some reason, Mehdi reverted the change that removed the patch and enabled --disable-execinfo (I guess because it didn't work well). Do you want to investigate this before I upload? Cheers, -- 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/51b8d446.1070...@debian.org
Re: ocaml-extunix updated
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 listmas...@lists.debian.org Archive: http://lists.debian.org/51bc0e34.8010...@debian.org
Re: biniou updated
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.org/51bc105d.8000...@debian.org
Re: ocamlrss/2.2.1 updated
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 "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51bc10b5.2040...@debian.org
Re: ocaml-res uploaded
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 -- 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/51bc12a7.8050...@debian.org
Re: yojson updated
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...@debian.org
Re: ocamlrss/2.2.1 updated
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-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51bdf5c3.1080...@debian.org
Bug#640032: Ships META.graphics without depending on its module files
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 META.graphics > META.labltk META.num META.num-top META.ocamlbuild META.stdlib META.str > META.threads META.unix > steph@wencory:~$ ocamlfind query graphics > ocamlfind: Package `graphics' not found Cheers, -- 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/51bedab8.9070...@debian.org
Re: Processing of type-conv_3.0.5-1_amd64.changes
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 releases independently of Jane Street, but it seems that type-conv has been "properly" swallowed by Jane Street, now. > BTW, does anybody understand, why many packages do not regularly > appear in the 'individual' subdir? For instance, type-conv is in > 109.28 and in 109.15 but not in anything between them. sexplib > appears to be in 109.17 but not in any more recent release. > > Is it really the case that type-conv has not been changed in all > the releases between 109.15 and 109.28 and that all other > packages released later than 109.15 work well with > type-conv-109.15? Jane Street has a peculiar versioning scheme. IIRC, they construct the version number from some internal repository revision so public releases seem to skip some versions (unison also does this, by the way). They also publish tarballs with all their projects bundled together (the "Core suite"), so it may happen that there are no differences between two versions of some sub-project. Cheers, -- 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/51bf20d1.2080...@debian.org
Re: Processing of type-conv_3.0.5-1_amd64.changes
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, right. For some time, Markus Mottl made his own releases > independently of Jane Street, but it seems that type-conv has been > "properly" swallowed by Jane Street, now. The new release requires OCaml 4.00.0, so I'll upload it to experimental. Therefore, the current transition to type-conv 3.0.5 is still going to happen (I uploaded it as a requirement for other packages). Cheers, -- 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/51bf2591.90...@debian.org
Re: Processing of type-conv_3.0.5-1_amd64.changes
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 > > https://ocaml.janestreet.com/ocaml-core/(?:\d+\.\d+\.\d+)/individual/ > type_conv-(.*)\.tar\.gz > > does not work. Instead, going to Github does work: > >http://githubredir.debian.net/github/janestreet/type_conv > /(\d+\.\d+\.\d+)\.tar\.gz Indeed, you're right. I was afraid the tarballs would not be the same, but they match (at least for the last two versions). Feel free to commit your suggestion :-) Or I'll do it for the next upload. >They also publish tarballs with all their projects bundled together (the >"Core suite"), > > I cannot find the core suite, where is it? Me neither. Maybe they stopped doing it, now that installing with opam is so easy... Cheers, -- 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/51c167ba.4000...@debian.org
Re: atdgen updated
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". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51c16a81.80...@debian.org
Re: tophide updated
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.org Archive: http://lists.debian.org/51c54ef8.2050...@debian.org
Re: Bug#713357: bin-prot: FTBFS: E: Cannot find findlib package type-conv (>= 3.0.4)
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-camlp4-dev' --docdir >> /usr/share/doc/libbin-prot-camlp4-dev >> I: Running command '/usr/bin/ocamlc -config > '/tmp/oasis-4aa18d.txt'' >> I: Running command '/usr/bin/ocamlfind query -format %v findlib > >> '/tmp/oasis-72f3db.txt'' >> I: Running command '/usr/bin/ocamlfind query -format %d camlp4.quotations > >> '/tmp/oasis-a26a1f.txt'' >> I: Running command '/usr/bin/ocamlfind query -format %d camlp4.extend > >> '/tmp/oasis-6096ed.txt'' >> I: Running command '/usr/bin/ocamlfind query -format %d type-conv > >> '/tmp/oasis-d2a62b.txt'' >> ocamlfind: Package `type-conv' not found >> W: Field 'pkg_type_conv' is not set: Command '/usr/bin/ocamlfind query >> -format %d type-conv > '/tmp/oasis-d2a62b.txt'' terminated with error code 2 >> I: Running command '/usr/bin/ocamlfind query -format %d unix > >> '/tmp/oasis-614121.txt'' >> I: Running command '/usr/bin/ocamlfind query -format %d bigarray > >> '/tmp/oasis-c95406.txt'' >> I: Running command '/usr/bin/ocamlfind query -format %d oUnit > >> '/tmp/oasis-62376d.txt'' >> I: Running command '/usr/bin/ocamlfind query -format %v oUnit > >> '/tmp/oasis-8376d4.txt'' >> E: Cannot find findlib package type-conv (>= 3.0.4) >> E: 1 configuration error >> make[1]: *** [override_dh_auto_configure] Error 1 This was expected. I am working on it. Cheers, -- 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/51c5b13e.8080...@debian.org
Re: ocaml-benchmark updated
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? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51c75a96.7000...@debian.org
Bug#713387: otags updated [was Bug#713387: otags: FTBFS: ...]
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 listmas...@lists.debian.org Archive: http://lists.debian.org/51c772a8.30...@debian.org
Re: ocamlbricks updated
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 "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51c7df17.7090...@debian.org
Re: outdated versions of sexplib and ocaml-data-notation?
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 yesterday to unstable, which is quite old, was the latest I could compile with the current versions of packages in unstable. I suspect the next one depends on a more recent version of type-conv, but it is not documented. My plan is to get a coherent set in unstable, and the latest versions in experimental. Cheers, -- 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/51c8188f.40...@debian.org
Re: oasis updated [was Bug#711452: liboasis-ocaml...]
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 get > executed as a user with 2 group id's. I reverted the change for > #711451 and changed the dependencies instead (as Stéphane > suggested). I don't see new commit since June 13. Maybe you forgot to push? Cheers, -- 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/51c823ee.30...@debian.org
Re: oasis updated [was Bug#711452: liboasis-ocaml...]
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...@lists.debian.org Archive: http://lists.debian.org/51c84147.9080...@debian.org
Bug#714088: missing dependency to libgmp-dev
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: cannot find -lgmp collect2: error: ld returned 1 exit status File "caml_startup", line 1, characters 0-1: Error: Error during linking -- System Information: Debian Release: jessie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.9-1-amd64 (SMP w/8 CPU cores) Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages libzarith-ocaml-dev depends on: ii libzarith-ocaml [libzarith-ocaml-3wfy7] 1.1-2 ii ocaml-nox [ocaml-nox-3.12.1] 3.12.1-4 libzarith-ocaml-dev recommends no packages. Versions of packages libzarith-ocaml-dev suggests: ii ocaml-findlib 1.3.1-1 -- no debconf information -- 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/20130625150708.11604.79003.report...@wencory.loria.fr
Re: Bug report on jocaml-base: jocamlrun crashes with exit status 139
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 by the way, ocamlrun (from ocaml-base-nox) suffers from the same issue. Just replace "jocamlrun" by "ocamlrun" in crash.sh and you'll get the same behaviour. Do you know why it has not been spotted by Mayhem? You should add a "NOT A BUG" choice in the "Update status"; none of the proposed choices seems to fit. > We are planning to submit the bug to the Debian bug tracking system in two > weeks. We wanted to give you a heads-up, so that you some time to assess the > seriousness of the bug before it is publicly disclosed. You already disclosed it publicly ;-) Indeed, debian-ocaml-maint@lists.debian.org is a public mailing-list. > The bug report that will be submitted to the bug tracker is available at the > following url: > > > http://www.forallsecure.com/bug-reports/c87bbb96dd9fd5d1df9a945d4a3617c5001acaac/ No need to submit this one... > This email is part of a mass bug reporting campain comprising 1,182 bugs. You > might have received multiple emails from us concerning different programs. > More > information about the mass bug reporting is available on the debian-devel > mailing list: > > http://lists.debian.org/debian-devel/2013/06/msg00720.html I am curious to see the crash you have found in Coq, though. Best regards, -- 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/51cb4669@debian.org
Re: ocaml-csv updated
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 fault. Fixed. Uploaded. >> By the way, ocaml-csv has reverse dependencies (as shown by "build-rdeps >> libcsv-ocaml-dev") and this new version changes the ABI. Did you check >> that they compile with it? > > Yes, they compile well with the latest ocaml-csv. Good. >> One of them is pgocaml and has a new version; do you intend to >> update it as well? > > No, I do not use this package at all. I'll take care of that, then. Cheers, -- 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/51d7fdfb.70...@debian.org
Re: ocaml-csv updated
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". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51d83a78.3070...@debian.org
Re: ocaml-csv updated
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 "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51d85117.8080...@debian.org
Re: ocaml-csv updated
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)/debian/libcsv-ocaml-dev, which is not something I recommend, escpecially when there are servery binary package. IMHO, it's better to use debian/tmp, and dispatch files using *.install files and dh_install --fail-missing. Looking closer at the history, I realise using debian/libcsv-ocaml-dev was my fault, but at the time csvtool was not installed by upstream build system, but everything installed by upstream build system was put in libcsv-ocaml-dev so it worked that way. With the new version, csvtool started being installed directly by upstream build system. I assume you observed that csvtool popped up in libcsv-ocaml-dev binary package and you tried to fix it by moving files around, but the correct solution is the switch to debian/tmp and *.install files. If there is a failure this way, it's upstream's fault (but usually oasis does things right). I admit that situation can be difficult to understand. Still, thanks for all your efforts! Cheers, -- 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/51d9482e.7030...@debian.org
Re: mikmatch updated
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 tag? This tag makes sense because mli can be written for packs. If upstream doesn't provide one, you can make him or her a suggestion :-) As far as Debian is concerned, you can just ignore the tag. Moreover, the tag is correct here so it should not be overridden either. > There is also ocaml-stray-cmo twice. Here, the upstream makefile > packs the same set of cmo's into a cma library _and_ as > submodules into a packed cmo, basically doing > >ocamlc -a-o x.cma a.cmo b.cmo ... >ocamlc -pack -o x.cmo a.cmo b.cmo ... > > after each other. I don't understand this and I leave the lintian > warning until I got some explanation from the upstream author. Indeed this is unusual... By the way, your monolithic commits makes them hard to review. Please consider more atomic ones. I've just uploaded 1.0.6-1 to unstable. Cheers, -- 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/51deab9f.9060...@debian.org
Re: mikmatch updated
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 versions of hevea and pcre-ocaml compiled with OCaml >= 4. Buildds' dependency solver has been very stupid in the past; it might be needed to upload once again with a versioned dependency for camlp4. In the past, packages build-depending on ocaml-best-compilers (which is virtual, so cannot be versioned) have also been unsuitable for compilation with a new version of OCaml in experimental. Let's see... Welcome to the mess of dealing with OCaml packages in experimental! Cheers, -- 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/51dec147.3070...@debian.org
Re: sexplib, mikmatch and liquidsoap
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 experimental and OCaml 4. (see > also [2] and its followups) Uploaded. > One of the reverse dependencies of mikmatch is liquidsoap, which > is currently stuck in unstable, because it was build against the > old version of yojson. It just needs to get recompiled, I guess, > but this case is not handled automatically, isn't it? No, it is not automatic. A so-called "binNMU" is needed. The official way to trigger one is to submit a bug to the pseudo-package release.debian.org (reportbug is your friend). I can also directly trigger binNMUs without going through the release team, and I do so with OCaml packages when the need arises. I'll wait a few days for the packages uploaded today to be built before scheduling what needs to be done (so don't bother the release team with binNMUs now). Cheers, -- 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/51dec3fe.5070...@debian.org
Re: mikmatch updated
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 uploading it to experimental? I would prefer to have every significant updates uploaded to experimental. Cheers, -- 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/51ee3f03.1020...@debian.org
Re: OCaml transition plans
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. It seems that most of the times, fixes are > backward-compatible. > > Therefore, I propose that we update all other OCaml-related packages > first (not the compiler itself). At least, those that still compile with > the old version. This means many small transitions. > > Once this is done (I expect this will take several months), I hope a > painless transition for OCaml itself. And by "done", I mean everything > is reasonnably up-to-date in *testing*. Now, there are still many packages that are not up-to-date, and others that are stuck in unstable because they break other packages that cannot be updated because of OCaml. Sorting these situations out is time-consuming and meanwhile, we are getting more and more late w.r.t. the rest of the OCaml community. Therefore, I will no longer bother to check if updates are possible using only OCaml 3.12.1 and I will always upload to experimental, and build against OCaml 4.00.1. Note that it also means sourceful uploads of packages that would normally be binNMUed. Once enough packages are updated in experimental, I will ask the Release Team about uploading everything to unstable. Cheers, -- 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/51ee472c.6060...@debian.org
Re: sexplib310 updated
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...@lists.debian.org Archive: http://lists.debian.org/51ef70ee.8030...@debian.org
lablgl, lablgtk2...
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 with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/51ef738f.7050...@debian.org
Re: lablgl, lablgtk2...
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 -- 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/51ef9779.9000...@debian.org
Re: lablgl, lablgtk2, extlib...
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é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/51ef98c2.8030...@debian.org
Bug#717786: RFA: camomile -- Unicode library for OCaml
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 with our policy and practices, and get subscribed to our mailing-list. [1] http://wiki.debian.org/Teams/OCamlTaskForce Cheers, -- 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/20130725061843.31212.14017.report...@korell.up7.fr
Bug#717787: RFA: ocaml-http -- OCaml library for writing HTTP servers
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 with our policy and practices, and get subscribed to our mailing-list. [1] http://wiki.debian.org/Teams/OCamlTaskForce Cheers, -- 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/20130725062158.31612.97199.report...@korell.up7.fr
Accepted coq 8.4pl2dfsg-2 (source amd64 all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Jul 2013 14:17:30 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl2dfsg-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml 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 Coq libcoq-ocaml-dev - development libraries and tools for Coq Changes: coq (8.4pl2dfsg-2) experimental; urgency=low . * Compile with OCaml >= 4 * Update Vcs-* Checksums-Sha1: 987401cc8cd52d6e7afd86db1208a6dbc4e966a5 2356 coq_8.4pl2dfsg-2.dsc 9b29e257a60e35a5919a11a5aa2c5bbcead9ab02 17445 coq_8.4pl2dfsg-2.debian.tar.gz c89fe5d7d89e448ec4e983dfea863df00011b899 6726164 coq_8.4pl2dfsg-2_amd64.deb 3ac7e4bcb5d524c5e6a3ce24d38399f7a4dd8e5a 1088908 coqide_8.4pl2dfsg-2_amd64.deb 8a184600ab41798043c6ef7af0589bb2d7b469bd 58847554 coq-theories_8.4pl2dfsg-2_all.deb e527bd085333d1831405e7bc7f0d529328253744 2532598 libcoq-ocaml_8.4pl2dfsg-2_amd64.deb 97e1d43b5a43cb74f5828e3e5b20b2a4da3cde0f 6369590 libcoq-ocaml-dev_8.4pl2dfsg-2_amd64.deb Checksums-Sha256: db16ad15c805d38795de16b54e72634724ee39818113207d7e83dce64c10a978 2356 coq_8.4pl2dfsg-2.dsc 5ccc16b76979811d9fd7c5e96b4813b3737e50184f3d899b617c1b148618fd49 17445 coq_8.4pl2dfsg-2.debian.tar.gz 106c52a4fdd4bb977ad5e4d2c7fa0bd08e351cbd3fb7ea6b1206800bc7f17694 6726164 coq_8.4pl2dfsg-2_amd64.deb 79a660637cf2877f316344649a26c54af1c4848525292f08b019269d958811ae 1088908 coqide_8.4pl2dfsg-2_amd64.deb b27fb4860850c9245a7eb1b1dfad9be40c59ee9d83b4e9399ec8482221e58d6d 58847554 coq-theories_8.4pl2dfsg-2_all.deb 34d8c3ddccbb96835bce78457bc398ab82fa66100c1d4c60eadb18273d6993ce 2532598 libcoq-ocaml_8.4pl2dfsg-2_amd64.deb ce1c5610c795932e02f6643df75fcddbb1930d21d2d8f91ff314f6293c8f729d 6369590 libcoq-ocaml-dev_8.4pl2dfsg-2_amd64.deb Files: 57a76fee04b8699a734666c879c49a89 2356 math optional coq_8.4pl2dfsg-2.dsc ec106738bb1c4aadbfb5db9d0f980658 17445 math optional coq_8.4pl2dfsg-2.debian.tar.gz 2cbc8af00d27627b2ecb81952869dfa3 6726164 math optional coq_8.4pl2dfsg-2_amd64.deb a8567b46abe8dfa8db04a1d71e2f0866 1088908 math optional coqide_8.4pl2dfsg-2_amd64.deb aee7bad25d7e4d1b6be98cc68ef55b91 58847554 math optional coq-theories_8.4pl2dfsg-2_all.deb 45385660fd19328f3c92cbc12b2fa95b 2532598 ocaml optional libcoq-ocaml_8.4pl2dfsg-2_amd64.deb e038a4a1eb00546bf4dd9e9a52224a45 6369590 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-2_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJR8nMLAAoJEHhT2k1JiBrTxL0P/jFHDMjMFsQse1fLwleZtFjh 8Ukn6K0bf97LPVxcv2IqgDZB+qIL0oaWjzR1HXvo/zpLL1trr+pF2TtNTXGz5LaX vQn6Dc9UE1icpBgMKk0AXSXqi+fcWRG3xkzXUv0XMOc9SCm4n7BpOMLlOJCtbVn8 zCqxDtWwR78+n2ywHTD8YwplQ1OSn30e2LQx9ysqgRE0SRLLhAOma5dNcsIa+bhL tYOEPmVPyiI2HUYPYiadSP0IjScPCRJtoCtwhI+xgLcIwpOc/zoceCGF+pyKW9jg ayRp4X5oXuKi4ks6ktpIh1lRQe+m1Wd9s5FxOF3mWCL8Mz1uE2gz9ftlJROo9eCi sGuGL79Z1ypmj70nyQsDAQK5hsyZbfLcTN+99sXu08DXeC7BJVUzuds6r7T1jEer CpfVW+8WvSP7WT2jLjqvSRX6VzYRI2602HFOsfGg1n6JbuQfBBFbwHu8oEU5nvMj 9Gb7EAO/54CAGrmXy6Xnn547c88SDwWoQ2jDrjro2uLHm+wdgAVPCswB1MiBhQ2b LPtt1VAJVVUQ7of91XeKlH3Y+Kk4DMn/APtuGuisqYm8Ff6cH6BGktWx9uAtg4R7 wk7ORS+KYr05lyNZ5B7WGqVjwfWKSBul/dyteIktUoGruPKKQZfoReZcxNFhsiw2 sjYC47jODB/AMl1ydoC6 =b2zb -END PGP SIGNATURE- -- 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/e1v2hut-0003hr...@franck.debian.org
Bug#718767: transition: ocaml 4.00.1
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 experimental. As usual, it involves a lot of binNMUs; I will take care of those. The permanent transition tracker for ocaml is enough, but the clause .depends ~ /ocaml(-base)?(-nox)?-3\.1(1|2)\../ will become obsolete with the new version, and I think it can be dropped (it should imply the rest). Additionally, the bug number in the comment should be updated as well. Cheers, -- 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/51ff65b8.50...@debian.org
Bug#693693: ben: Partial suite support
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 uploads (series-proposed) before migrating to the release proper, > and it's good to be able to carry on using ben as expected in this > situation. It's in -proposed where transitions will happen. > > My current solution is to externally concatenate and deduplicate > Packages/Sources files. The deduplication is required not for ben but > for edos-debcheck (it's interested in finding solutions in the whole > repository but for the transition case we only want to know about > solutions involving the newest packages). It would be good if we could > somehow specify multiple suites in a .ben file and have ben DTRT itself. As said elsewhere in this bug report, the deduplication is already done in ben. However, after thinking about it, I am planning to redesign the plumbing between commands. What I am planning to do is the following: * "download" will only download files; * a new "import" command will take a list of Sources and Packages files (or query projectb or some other kind of database), and create a "ben.cache" file. This command would do the canonicalization phase (i.e. add source and source-version fields to all binary packages, etc.); * a new "filter" command will add the uninstallable (previously edos-debcheck) field, and any other additional massaging we'll want in the future (like keeping only the last version or the "is-in-testing" virtual field); * the "query" command will be able to output "ben.cache" files as well. It will basically act as the dual of "import"; * "monitor" will only read a "ben.cache" file. Basically, it promotes "ben.cache"-like files (which are binary dumps of an OCaml datastructure and efficiently parsed) as first-class citizens, and the canonical format passed between commands, with bridges to the text control file format via import and query). The logic for partial suite support would be put in "import", but concatenating files, then using "import" and "filter" looks simple enough to be done externally in a shell script. What is your opinion on that plan? Cheers, -- 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/521214e3.5020...@glondu.net
Bug#693693: ben: Partial suite support
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. > However, after thinking about it, I am planning to redesign the plumbing > between commands. What I am planning to do is the following: > > * "download" will only download files; > * a new "import" command will take a list of Sources and Packages >files (or query projectb or some other kind of database), and create >a "ben.cache" file. This command would do the canonicalization phase >(i.e. add source and source-version fields to all binary packages, >etc.); > * a new "filter" command will add the uninstallable (previously >edos-debcheck) field, and any other additional massaging we'll want >in the future (like keeping only the last version or the >"is-in-testing" virtual field); > * the "query" command will be able to output "ben.cache" files as >well. It will basically act as the dual of "import"; > * "monitor" will only read a "ben.cache" file. > > Basically, it promotes "ben.cache"-like files (which are binary dumps of > an OCaml datastructure and efficiently parsed) as first-class citizens, > and the canonical format passed between commands, with bridges to the > text control file format via import and query). Cheers, -- 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/52121a8a.1000...@debian.org
Bug#718138: ocaml-estrings
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é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/5225f0af.6020...@debian.org
Re: ITP: ocaml-cil -- OCaml library for manipulating C programs
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 with Stéphane's > 1.3.7 ;-) builds as follows: > > git clone -b debian https://github.com/kerneis/cil ocaml-cil > cd ocaml-cil > gbp buildpackage > > This is my first Debian package so it's probably far from perfect. Any > feedback or hint about how to proceed next would be greatly appreciated. I will have a look. Meanwhile, you can join the OCaml Task Force on Alioth, and update the ocaml-cil package there (feel free to overwrite it, actually). Cheers, -- 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/5226c9c5.60...@debian.org
Re: otags updated
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...@lists.debian.org Archive: http://lists.debian.org/5226d942.3040...@debian.org
Bug#723061: [mldonkey-server] Incoming and shared folders get removed when purging the package
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 severity since I think this shouldn't ever happen. I've lost > some files I was sharing because of this. It is correct that /var/lib/mldonkey is removed when mldonkey is purged. I would say your loss is your fault, here. Concerning /var/lib/mldonkey/incoming specifically, I have the same feelings as with logs: you might want to keep them on purge, but the Debian policy clearly states they should be removed on purge (section 10.8). Hence, my interpretation of the policy is that it is the responsability of the system administrator to save them elsewhere if he wants to keep them on purge. The purge script could fail if /var/lib/mldonky/incoming is not empty, but that is a wishlist and not a serious bug. Cheers, -- 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/5236ceed.5000...@debian.org
Re: hol-light updated
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, 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/5239cd1e.4040...@debian.org
Re: ITP: ocaml-cil -- OCaml library for manipulating C programs
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 version (ocaml-cil_1.7.3, not to be confused with Stéphane's >> 1.3.7 ;-) builds as follows: >> >> git clone -b debian https://github.com/kerneis/cil ocaml-cil >> cd ocaml-cil >> gbp buildpackage >> >> This is my first Debian package so it's probably far from perfect. Any >> feedback or hint about how to proceed next would be greatly appreciated. > > I will have a look. Meanwhile, you can join the OCaml Task Force on > Alioth, and update the ocaml-cil package there (feel free to overwrite > it, actually). Sorry for taking so much time... In the sources, the doc/cilcode.tmp directory looks suspicious. It contains many .o files. Shouldn't it be removed? The OCaml library (/usr/lib/ocaml/cil) must be in its own binary package (libcil-ocaml-dev) with a Provides field, so that reverse dependencies get their dependencies right. Is is really needed to have cilly.byte AND cilly.native? Please set the Maintainer field to "Debian OCaml Maintainers <...>" and move your name to an Uploaders field. Cheers, -- 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/52553034.1070...@debian.org
Bug#727538: ocaml-sqlexpr: out-of-date binaries on architectures without ocaml-estring
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 longer be built on these architectures, > then please reassign this bug to ftp.debian.org and request them to > remove the binaries on the affected architectures. Why has this bug been reported against ocaml-sqlexpr? The problem boils down to ocaml-estring failing to build on some architectures... Cheers, -- 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/526a402f.9050...@debian.org
Re: ocaml_4.01.0-1_amd64.changes ACCEPTED into experimental
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/sponsor package > uploads to experimental with new versions or 4.01 compatibility? Yes, although I would prefer to avoid uploads when binNMUs are sufficient. Cheers, -- 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/527e0a57.3020...@debian.org
Bug#729223: ben: provide state of the package in testing, too
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 ... > > Not sure how this could be presented, perhaps an additional column to > the left with four possible values (colors): good, bad, unknown, > sid-only. What would be the meaning of "good, bad, unknown" in this case? Note that there is already "sid-only". Cheers, -- 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/527f94a0.2020...@debian.org
Bug#729223: ben: provide state of the package in testing, too
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 ... >>> >>> Not sure how this could be presented, perhaps an additional column to >>> the left with four possible values (colors): good, bad, unknown, >>> sid-only. >> >> What would be the meaning of "good, bad, unknown" in this case? Note >> that there is already "sid-only". > > Whether the package in testing satisfies the transition properties as > they are defined for sid. You mean the color of the source column (which is a combination of per-arch states) if the monitor were run on testing? This basically means running the monitor twice: once for unstable, and once for testing. It would even produce less data (loss of per-arch states in testing) for the same amount of computation. I think this should be done directly on the release.debian.org setup. Cheers, -- 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/527f9ecd.8040...@debian.org
Accepted calendar 2.03.2-2 (source all amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 11 Nov 2013 07:55:12 +0100 Source: calendar Binary: libcalendar-ocaml-dev libcalendar-ocaml-doc libcalendar-ocaml Architecture: source all amd64 Version: 2.03.2-2 Distribution: experimental Urgency: low Maintainer: Debian 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 Changes: calendar (2.03.2-2) experimental; urgency=low . * Compile with OCaml >= 4.01 Checksums-Sha1: 9664f1c275083a0aef8f8ba261bf4eeaf2a5e5cf 2200 calendar_2.03.2-2.dsc ea5b97b64d7417ab7e5a9a322cb736a40b823cf8 6206 calendar_2.03.2-2.debian.tar.gz 13d37783193e5b54bc2f794e395b12730500626f 50152 libcalendar-ocaml-doc_2.03.2-2_all.deb 49d947a52e0b924a1f0d7cb23b5c7f135c543a84 145798 libcalendar-ocaml-dev_2.03.2-2_amd64.deb 40f606ef56adaad88a84e3e5fd86c7e7d0456bf1 75068 libcalendar-ocaml_2.03.2-2_amd64.deb Checksums-Sha256: b6500fa46397be40c96dc6959bcdf9e5ed850327617ae1c989207502b69f4915 2200 calendar_2.03.2-2.dsc 71ad2dc38db06ad4c835eda8119f1ad0e563e3e5581238ddb4cd6ea2a88cd345 6206 calendar_2.03.2-2.debian.tar.gz 3a3eae75a904a21c5a7682bb5476f72316df8264a59632c5d823120eeca959dc 50152 libcalendar-ocaml-doc_2.03.2-2_all.deb 4d525018364ac20415b8405877b4a2bdcae32bbdc8407b296b1239273b8dfca0 145798 libcalendar-ocaml-dev_2.03.2-2_amd64.deb 5a83dd5b10dee9c9d6586a60f0970136fc4f81875941711a392c813672da5833 75068 libcalendar-ocaml_2.03.2-2_amd64.deb Files: ceeacd002cb88ac1e9ea036d4781afdc 2200 ocaml optional calendar_2.03.2-2.dsc 8dce96ef753a801a9a9fab2c52319a72 6206 ocaml optional calendar_2.03.2-2.debian.tar.gz 7d279832b5c5ddf9c37e5f27ed114dc1 50152 doc optional libcalendar-ocaml-doc_2.03.2-2_all.deb 999fe286cd22bf0599b8067de2aec418 145798 ocaml optional libcalendar-ocaml-dev_2.03.2-2_amd64.deb ca4e2a9904f086c5f822cabec0f1a4a3 75068 ocaml optional libcalendar-ocaml_2.03.2-2_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSgH/1AAoJEHhT2k1JiBrTKWkP/joPWc1nocGle2JC7UAjuzW+ z8KsI+yahTHCQeRBqyNvvmmnop0WS5seqB5XfjKDoqckdtKEvW+RvTd+pbZJcnU8 Gn92AV8myHC3FMq0SkAjiU3oEyqz4dnkGu8KxuFcqbck5MoaS9XH4m8uKzbk1bWY bHhm3BVvWFeb2G7UqPXZUw1gvq9n2h1jzPTMnQ8XO9YN2x9z8IJDtMwQiZZ08zvK firIKf9BXNbT/6SpBWitEYa9O8B7wLI91DpB4Rrp8DoNWkh/+hvchgMtN+FbJLrd sWR/1hCtzQMXv0cAtCeum9CP5JM4SsKAnvbQaOH905cc091I/LPOG0FXRfrQoHM3 lKXTc4YlwChtT/qhcm9JljfIiqBUmrsg+28Aja5QECe3Ol9CSbnLK4Zn8kWOj1y8 RFRutJH0gI4pKFoWnAiOkkzjGfDeyyHcuvs6vGkdjZPrcqcCx9FmMrwf1yc/n7pP UI1fPnlJ+/YoOWEeIyoaKsIXUFiVSERBSyCAxhZOgMqttxLObY3xy1tllycVz9Xf ZDXHGaR90aXd4s+YwJPD2fDD/6ywiMh/zMFjHJtmmvTz+kgMkWPpNo6klt3ZLc2i Hv3fs6OwjVhVSxiuXkrd/ie0wWsYau6Rn82dBJYrINNgw9j6fccHjJQ0oMZ9nG3t sD4eGqPiAeY7lG47Hgfe =O5Ve -END PGP SIGNATURE- -- 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/e1vflwr-0007u7...@franck.debian.org
Re: git.debian.org not working for me
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 host > > Am I the only one with this problem? https://lists.debian.org/debian-infrastructure-announce/2013/11/msg1.html Can you publish the git repo elsewhere meanwhile? Cheers, -- 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/52847b91.8070...@debian.org
Re: git.debian.org not working for me
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-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/528e9259.4080...@debian.org
Accepted coq 8.4pl2dfsg-3 (source hurd-i386 all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 22 Nov 2013 14:38:00 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source hurd-i386 all Version: 8.4pl2dfsg-3 Distribution: experimental Urgency: low Maintainer: Debian OCaml 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 Coq libcoq-ocaml-dev - development libraries and tools for Coq Changes: coq (8.4pl2dfsg-3) experimental; urgency=low . * Compile with OCaml 4.01.0 * Disable micromega tests on Hurd (because of missing lockf) Checksums-Sha1: 62473e35d5a303d349e8920307054763f8d1196d 2356 coq_8.4pl2dfsg-3.dsc 1dd9ff367cf0510080f9c38a194bfdc9fa70d81a 17635 coq_8.4pl2dfsg-3.debian.tar.gz 970256b9485ce849d58a35aafa22825d70d92613 3914768 coq_8.4pl2dfsg-3_hurd-i386.deb 027b2e32db7eb3bc24adf39e187cffd38a7835e2 725680 coqide_8.4pl2dfsg-3_hurd-i386.deb 380fb27ea9b15a11dbf67360277918968ba5aa48 31275040 coq-theories_8.4pl2dfsg-3_all.deb 30d7cd39777306f3e6f216c09ca0dbcec08d4adf 1487490 libcoq-ocaml_8.4pl2dfsg-3_hurd-i386.deb efeb6fc9404bf6cc09205cf2d4ae8ed1c644d5f9 3672416 libcoq-ocaml-dev_8.4pl2dfsg-3_hurd-i386.deb Checksums-Sha256: b9775d1acc21618c9e45acf8a1eaeb615ec79faa7da6deab7988da3e45a24d4d 2356 coq_8.4pl2dfsg-3.dsc 48dd53857a8de0a3c97ff41a97d1694c2cae6e016dbe514a863636b3c5a73c6d 17635 coq_8.4pl2dfsg-3.debian.tar.gz 3c99869195930ef640ab3f65c4bae4fb091033601ad4810869ba4dd8fe76412f 3914768 coq_8.4pl2dfsg-3_hurd-i386.deb b3d00edc155f56cbc15b05b487fc746c2b51e3daa9767d6e2bd17e63fdcaf15f 725680 coqide_8.4pl2dfsg-3_hurd-i386.deb 2fcb766ad809626a8807a7aaa38357eb95a2148838fcb3bd6bd974081268d55a 31275040 coq-theories_8.4pl2dfsg-3_all.deb 8945bd1177ca413ff6b197fbd47e54fad57a72f98f8eadde993d5db6b8ffd7f6 1487490 libcoq-ocaml_8.4pl2dfsg-3_hurd-i386.deb 287d33fb50ff51b265c79e06a9ec40c218f96adeb010de9d1e5462098c441c9f 3672416 libcoq-ocaml-dev_8.4pl2dfsg-3_hurd-i386.deb Files: dff273b4e1f118b803fb50ef66167116 2356 math optional coq_8.4pl2dfsg-3.dsc 5e94852455c26693a65eb4ba1fc0165a 17635 math optional coq_8.4pl2dfsg-3.debian.tar.gz 1f42c30246e991c1497599488622a3d8 3914768 math optional coq_8.4pl2dfsg-3_hurd-i386.deb 9eb49ff7ba9758437c1d9e6a0f4ebcaa 725680 math optional coqide_8.4pl2dfsg-3_hurd-i386.deb 94b96d69b5eae793d013d0988eac1a5e 31275040 math optional coq-theories_8.4pl2dfsg-3_all.deb bee849b0ba4afd02048fee93344c82bc 1487490 ocaml optional libcoq-ocaml_8.4pl2dfsg-3_hurd-i386.deb 0e6fac6fe97bf7d65a0e75b9035e7b43 3672416 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-3_hurd-i386.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJSj4QiAAoJEHhT2k1JiBrT3HsP/RPKWPxZc6c28uGFC+Sy8eIt 6878OjvwxulcnOI9Tmvhy10mgKJ2yL91F5gyaIp0R++OeZ0QCU5E5L2JLbcmN05/ QYEDmzxyJ2mHcdGZ4ZMz2SxUHqPFsut1EI4ceu4IzTLn+6onHto5ls21l5D/BFgy F3DgeKxHikPUG0JUubefjdnzqujtswdmDFxDx7Vk0CTp1yg1iPXn6Bbm72a+E1y5 P07U3OisbO3c/+IrdvdYGI4KWjeXgd1v9axY2kn+wDsZgsLgii5jgR0/3ERYaeHw ubgYboWK+za4SXyzJV5V2xzc8a6ejekkbSDnNJr4iU7yU9oQsJa2bb1wAW5HzgiH XhnvJBtCGRpVt9Xm7MPJvF307zdKFESS+kGjd5MRcphDfYvykmcgdCPieqizX/kW 804V3oCg2h7xXtW6jVo94hHIfZ4zOv+zmeqt17M1tYIIb9A3f1FWoN4tcRfFQu++ TALYTRG4Tec0PItD1icsN5AxPvGEuStAGTg16ZfQLhYkY9xGEo887OXW4dJ0i7Qp rhm8DV67WRvJ2I+Hha4mBC8L/CiGCwGHJ/L5nYsyqd+ClhVf5vWkRX/xAjeNORQV mxFhriCUp8zfuzAHHZd+DLH2afsc0JqOklW2GGZpB1CngOrYqs7+AwneQ7VpsA01 AEoDoNhRPi+LETrvml3d =LtKz -END PGP SIGNATURE- -- 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/e1vjtfu-0001rq...@franck.debian.org
Re: Bug#718767: transition: ocaml 4.01.0
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 involves a lot of binNMUs; > I will take care of those. Now, I think we should start the transition to OCaml 4.01.0 in unstable. Cheers, -- 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/5291ceca.3080...@debian.org
Re: ounit 1.1.2-3~exp1 not in git?
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 is in the experimental/master branch. Cheers, -- 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/5293afaa.30...@debian.org
Bug#730619: [PATCH] Add a transition collision detector.
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 temporary solution until Ben gets a > similar feature. Submitting a proper bugreport for this... For reference, original patch is at: https://lists.debian.org/debian-release/2012/02/msg00084.html -- 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/5295c5bb.6020...@debian.org
Re: ocaml-mysql 1.1.2 released
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 "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/5296ee08.3090...@debian.org
Bug#730830: ocaml: Please add powerpcspe to the list of native architectures
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 powerpcspe since some > CPU registers don't exist on powerpcspe, so they can't be saved and restored. Aren't those registers also used by generated code? Does ocamlopt produce working executables with this patch? Does the whole test-suite pass? > Further, please add libiberty-dev to the build-deps since this prevents a > build > error. Why? Cheers, -- 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/52999350.3060...@debian.org
Re: CamlPDF update
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's the new source: > > https://github.com/johnwhitington/camlpdf > > Let me know if there's anything I can do to help! The build system has > been improved, and there are now no dependencies. I have updated the Debian package in git to version 1.7.1. However, a few things are worrysome: * You embed miniz.c, which is not the latest version. What are your plans concerning its updates? Potential security fixes? * You embed a modified camlzip that uses miniz.c. Same questions. * In pdfafmdata.ml, there is embedded data that is copyright Adobe with no clear license. I could not find its origin. Embedding third-party stuff like that is bad practice. Concerning zip stuff, it would be much better to provide a way to use the system zlib and camlzip. For AFM data, please document where you get them from, and what is its license. Keep in mind that it is usually better to depend on external stuff, so that these dependencies can be updated independently. Especially for C code, where security vulnerabilities are often found and fixed. Cheers, -- 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/5299f625.7090...@debian.org
Bug#730830: ocaml: Please add powerpcspe to the list of native architectures
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. > >> Does ocamlopt >> produce working executables with this patch? Does the whole test-suite pass? > > The package builds fine, including successful dh_auto_test target. > Please tell what else I should run as test-suite. The test suite is not run during the package build process with version < 4. Please try with the version from experimental. >>> Further, please add libiberty-dev to the build-deps since this prevents a >>> build >>> error. >> >> Why? > > Because it fails to build otherwise, e.g.: > > dh_ocaml -Xcompiler-libs -Xcamlp4-extra \ >--runtime-map ocaml-nox:ocaml-base-nox,ocaml:ocaml-base,camlp4 \ >--checksum 3.12.1 > BFD library unavailable, cannot print info on .cmxs files > E: Error running OCAMLLIB=tools boot/ocamlrun tools/objinfo on > debian/ocaml-base-nox/usr/lib/ocaml/unix.cmxs > > dh_ocaml: /usr/bin/ocaml-md5sums --checksum 3.12.1 --package ocaml-nox > --version 3.12.1-4+powerpcspe1 --runtime ocaml-base-nox --dump-info > debian/ocaml-nox.oinfo.debhelper --dump-provides > debian/ocaml-nox.oprovides.debhelper compute < > debian/ocaml-nox.olist.debhelper > > debian/ocaml-nox//var/lib/ocaml/md5sums/ocaml-nox.md5sums returned exit > code 2 > make[1]: *** [override_dh_gencontrol] Error 2 > make[1]: Leaving directory `/«PKGBUILDDIR»' > make: *** [binary] Error 2 > > I just checked that the same FTBFS bug is present on amd64 also. This used to be in binutils-dev. The error is due to a very recent change, thank you for the tip. I was wondering why the new dependency would be powerpcspc-specific, but it actually is not. Cheers, -- 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/529a3912.1030...@debian.org
Bug#730830: ocaml: Please add powerpcspe to the list of native architectures
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 would try to use them. Now (with my patch),
>>> the assembler doesn't show errors anymore.
>>>
Does ocamlopt
produce working executables with this patch? Does the whole test-suite
pass?
>>>
>>> The package builds fine, including successful dh_auto_test target.
>>> Please tell what else I should run as test-suite.
>>
>> The test suite is not run during the package build process with version
>> < 4. Please try with the version from experimental.
>
> Thanks for the hint. Some tests are failing, and the whole build
> timeouts at some point on the buildd. (I'm attaching the build log.) I
> guess the native arch:powerpcspe should wait until this is fixed?
almabench is very intensive and also times out on some buildds. I am
planning to disable it on $(SLOW_ARCHITECTURES) (defined in
debian/rules, which includes powerpc). I can add powerpcspce there as well.
Thanks for the build log. It doesn't look severely broken, but test
failures must be further investigated:
* Native backtrace tests are completely broken, but it is also the
case on powerpc but it seems to have been fixed upstream.
* tests/lib-bigarray/fftba.ml: no idea what's going on. It would be
nice to get tests/lib-bigarray/fftba.output and compare with
tests/lib-bigarray/fftba.reference.
* tests/misc/nucleic.ml: fails with
Fatal error: exception Assert_failure("nucleic.ml", 3205, 9)
which is very weird and looks difficult to figure out.
The first point is explained and would not prevent a switch, but I think
the last two should at least be explained before making powerpcspe
native. Is there a powerpcspe porterbox available for DDs?
> In this case, feel free to close this bug by just fixing the general FTBFS.
There are two bugs, actually. Cloning this one.
Cheers,
--
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/529b248e.5040...@debian.org
Re: Bug#718767: transition: ocaml 4.01.0
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. >> >> Now, I think we should start the transition to OCaml 4.01.0 in unstable. >> > > Let's start now. Could you please upload the updated pacakges from > experimental > to sid and schedule needed binNMUs? OK, I'll do that. Cheers, -- 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/529c9b25.4060...@debian.org
Accepted calendar 2.03.2-3 (source all amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 03 Dec 2013 08:01:51 +0100 Source: calendar Binary: libcalendar-ocaml-dev libcalendar-ocaml-doc libcalendar-ocaml Architecture: source all amd64 Version: 2.03.2-3 Distribution: unstable Urgency: low Maintainer: Debian 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 Changes: calendar (2.03.2-3) unstable; urgency=low . * Upload to unstable * Update Vcs-* Checksums-Sha1: 5207d4ca4c8492f7a6d72ae0626ed244944d0473 2211 calendar_2.03.2-3.dsc fc4051f7475d8fe8ed4b92bc93d4e49c572b869d 6243 calendar_2.03.2-3.debian.tar.gz 083d56ac79fd8014acbd8a5ed34e44f45462097d 50206 libcalendar-ocaml-doc_2.03.2-3_all.deb cd626de0d13b19a7cc4603850cfd235bda22e200 145746 libcalendar-ocaml-dev_2.03.2-3_amd64.deb d05dce85abb944396d523039ce3e3e2986f2b28b 74302 libcalendar-ocaml_2.03.2-3_amd64.deb Checksums-Sha256: 1540d4b6b8ce35540ddb06e6cbadf99f06b02b86e06987846f9c39ec66b4112a 2211 calendar_2.03.2-3.dsc 84130154551edea9c680dfc0e41d2e7216d0a737c33ee001b799c2c2ab7cf006 6243 calendar_2.03.2-3.debian.tar.gz 4f89221ba6e95fdc29635498ccca64ef94a42946ae60364a0ca6900c7d73983f 50206 libcalendar-ocaml-doc_2.03.2-3_all.deb b57aad9bba70024fbac55a2852c064e11af52385d0362d3af0c3f68650e83ea7 145746 libcalendar-ocaml-dev_2.03.2-3_amd64.deb fed396f1e6a8f8f709db94835fb7cca809886d80e713d799cb2646e68e5e15cb 74302 libcalendar-ocaml_2.03.2-3_amd64.deb Files: 9a2b49c5a4b149947a3f7a765c76b903 2211 ocaml optional calendar_2.03.2-3.dsc fe24d2a4e0f4cf1d0570db19e3715508 6243 ocaml optional calendar_2.03.2-3.debian.tar.gz c8339f17cb99468bb7d9ba51469d9e65 50206 doc optional libcalendar-ocaml-doc_2.03.2-3_all.deb ec4a3c9550c2506465b378757daa1586 145746 ocaml optional libcalendar-ocaml-dev_2.03.2-3_amd64.deb 37750a7dfbea91224da6544c04505556 74302 ocaml optional libcalendar-ocaml_2.03.2-3_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSnYJmAAoJEHhT2k1JiBrTabYQAIKSPj4PGenc+CiMGToY2Jh6 5bCksfI2Z/21/EHqVO5bjcRIoEG+1MZV15mkOY0GynkGq7a7bKNrpVyhmrUbc6hu l27OIGyySxKfHqpYJzLKSDXx8K6GfRov1RGzjiwYVdcjAcXgqep/euL7W37oVORK dgoD835CCnz6nYqm6ONu36ePBO/stR1Imy+/EfMSJuWmTRV9hY7TPwHicDlMSpnF rqj9Hip4qvNWt6uKiTL7KHyXZbOdvpnS8kMehg3WTtp1dh1js/q8T87Ll9B08d7B qgQSxH6IwBUNew11F3JgccQco2rwlostf58RhGjddUHJwFbAw8rwh5IiXlJARKkf jLRIFnYT4TtmIcyT1yijuuRGep3QuefrIx6/DnkiUJ7wZ2MRzeNd3RZ3PJs7nwhG +Q/pFdc5cUI4EA6oIUXmcoUMoQWSTu55fFq8ew/X/Wirt+M3EkZHLPiWN8afnzZ/ RogoRDvfbM7cIdLKI2inV6K6vyUEt69mE3pY6tD1YEZBytdED7O3ytOfsIdWsWxZ RffbJpsPT7UuFsilWtK0vV7fkk85HMgnDfSCDCxFIFQkgu9Fyb4bik2p4YOAqeq0 VqiAhRPQ5tprCJu2g5rzj9Re1eRXFRYBjKS0sIcv68lEU5iSGL0ZFC5Q89nMTiMn YJeR/PJ1oIMiub96priR =HSQ2 -END PGP SIGNATURE- -- 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/e1vnkfv-0001tm...@franck.debian.org
Bug#731218: facile: FTBFS with ocaml 4.01.0
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:
>...
>In module Hashtbl:
>Values do not match:
> val create : ?random:bool -> int -> ('a, 'b) Hashtbl.t
>is not included in
> val create : int -> ('a, 'b) t
>File "fcl_data.ml", line 19, characters 6-12: Actual declaration
> make[2]: *** [fcl_data.cmo] Error 2
> make[2]: Leaving directory `/«PKGBUILDDIR»/src'
> make[1]: *** [compile] Error 2
> make[1]: Leaving directory `/«PKGBUILDDIR»'
> make: *** [debian/stamp-makefile-build] Error 2
Full build logs available via:
https://buildd.debian.org/status/package.php?p=facile&suite=sid
Cheers,
--
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/529da20d.5030...@debian.org
Re: ocaml transition
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 an OK from Stéphane > or Mehdi. Yes, you can upload these packages. Cheers, -- 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/529e2f83.3080...@debian.org
Accepted coq 8.4pl2dfsg-4 (source amd64 all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 03 Dec 2013 19:54:49 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl2dfsg-4 Distribution: unstable Urgency: low Maintainer: Debian OCaml 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 Coq libcoq-ocaml-dev - development libraries and tools for Coq Changes: coq (8.4pl2dfsg-4) unstable; urgency=low . * Upload to unstable Checksums-Sha1: 0b5708449ce7bf5f5f1faa249a07c829df2476b8 2356 coq_8.4pl2dfsg-4.dsc e62c76b96093109b9a287ba2af2f721c71dc10f6 17870 coq_8.4pl2dfsg-4.debian.tar.gz bdbb640fc0acf1ad562d8979d970b7d1e46ef834 4044806 coq_8.4pl2dfsg-4_amd64.deb 7916afdfe7c5dd0d8bf7c60e6bcc658d28b53427 792686 coqide_8.4pl2dfsg-4_amd64.deb 1370a87602f2c5f1854c8a69058fb215d3dabcb6 32156380 coq-theories_8.4pl2dfsg-4_all.deb d8dcea2b8a8691ec2ad330a0594d605a31161628 1634644 libcoq-ocaml_8.4pl2dfsg-4_amd64.deb 62aa160f75724f99f02a1d110a53a0b7a887ecee 3770206 libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb Checksums-Sha256: 8597a4ba5fb97db0810b73786ea8ba3b275c74bfa63af7cae4d70a2a981d383e 2356 coq_8.4pl2dfsg-4.dsc 8f16c05704831f38f20e2f7ceafc7b8ff8137a8ff82ee0921f50b89c6c28b96c 17870 coq_8.4pl2dfsg-4.debian.tar.gz f4e18d6f2c9c981deaa02d45e04f20b1fc49cace5e7b75b2af07be56dbbf6503 4044806 coq_8.4pl2dfsg-4_amd64.deb cfbbabeea9101df5ca91669b1b6d0bacc7ebb99add936235fad9208178ac17da 792686 coqide_8.4pl2dfsg-4_amd64.deb 189c7d5928247a3f7f18129dc425940b3fc272972f7a1ffcb2760219a7d09c79 32156380 coq-theories_8.4pl2dfsg-4_all.deb d2464eb36d4279242e3705870c2d45cf138e7afe46f0b45b1663c112fe0be9be 1634644 libcoq-ocaml_8.4pl2dfsg-4_amd64.deb 220fc4fff221a0e73c00ce629a1f713bb9233981d574aabfa78aa6e3ab3027af 3770206 libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb Files: 41abc3b1802a6fccab76dba7d8e8ac7f 2356 math optional coq_8.4pl2dfsg-4.dsc 7a14c68cb8a2eef696a722bbdfea66de 17870 math optional coq_8.4pl2dfsg-4.debian.tar.gz e9d63702d4f943c8225ee89b470891cf 4044806 math optional coq_8.4pl2dfsg-4_amd64.deb 5b9429b64c0f389889513984841693c8 792686 math optional coqide_8.4pl2dfsg-4_amd64.deb cf145f25da769b7416958e78e6db28e1 32156380 math optional coq-theories_8.4pl2dfsg-4_all.deb 41bf5d9afee51a0da4b015c88c0625bc 1634644 ocaml optional libcoq-ocaml_8.4pl2dfsg-4_amd64.deb 0857df55012a9e32e64473a885f7b51d 3770206 ocaml optional libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSnjcrAAoJEHhT2k1JiBrTHXsP/3XYytGVhI3VwhOdGB/dRyGz PZ4dW54gSWdbtDZdOlJ7MC08pWO7W/fRs1DRUjDMCcp74X8Fu9l6pisxBTFkw7L2 TagVwOBMF9xoVO6XmuX/2wyrXIVmqg93yUR/RfoI1s0XTzPezZ/tz7iGIxrmZMtE m6dvg/4N3y82rsUyBw7cJcn/VZL9xu63mYSEiwlPbaMOJTbPeBH7t7Eh8tWRo3GL 6py9PcDuWJ9xaloUA+am5JmDKS6S3473IGDQNTqHbCTIC5OlUpXruBEzIUQIbWc+ MgXbAxAEBMRpx7I+9+Cbxvc9ODM6YVW+Kbfp6Eq4jYb+zPmqmNZMp9sUKVpbtiiF NfDkcZm3SO1UYNkl9S+bAePpjrWwkeMJSbffcazUb92TWypJJDQocSN34nRecpjt /tENMMyOBIP9umcIuIcASu3oQO6+9rIkxTbABTaemTl7/MrTFtLbm2gZ8KxrHSC2 aKBgn27fjjqejuYGRhtNeBz5PU+/0Yg/LysDdDvGBItv90KsDHrqwGzmQ50hmz3q AZVShlJmYFLDtb2jYqyj32wCQS+rosQBPZfGZlMVY64SFZTetnC9KL+UzPcuAMrV x/3IWu3WoI/wQ094ebvS/UfiYCVXW0eSPcfGuIPngj4H12Xg+4pTjRjBV9HCqz9M jU6j1Uoj7aHPjC/hc2IH =+0r+ -END PGP SIGNATURE- -- 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/e1vnxnz-0004kz...@franck.debian.org
Bug#731277: dose3: FTBFS with ocaml 4.01.0
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 -24 -ccopt -O9 -package extlib -package pcre > -package cudf -package zip -package bz2 -for-pack Common -pp 'camlp4o.opt > -I_build Camlp4MacroParser.cmxs -DHASZIP -DHASBZ2 -DHASRPM -DHASOCAMLGRAPH' > -pp 'camlp4o.opt -I_build Camlp4MacroParser.cmxs' -I common -I doselibs -o > common/edosSolver.cmx common/edosSolver.ml > findlib: [WARNING] Interface common.cmi occurs in several directories: > doselibs, common > touch common/common.mli ; if ocamlfind ocamlopt -pack -for-pack Common -I > common common/util.cmx common/edosSolver.cmx common/cudfSolver.cmx > common/url.cmx common/input.cmx common/cudfAdd.cmx common/cudfDiff.cmx > common/versionInfo.cmx -o common/common.cmx ; then rm -f common/common.mli > ; else rm -f common/common.mli ; exit 1; fi > + touch common/common.mli ; if ocamlfind ocamlopt -pack -for-pack Common -I > common common/util.cmx common/edosSolver.cmx common/cudfSolver.cmx > common/url.cmx common/input.cmx common/cudfAdd.cmx common/cudfDiff.cmx > common/versionInfo.cmx -o common/common.cmx ; then rm -f common/common.mli > ; else rm -f common/common.mli ; exit 1; fi > File "common/common.cmx", line 1: > Error: File common/util.cmx > was not compiled with the `-for-pack Common.Common' option > Command exited with code 1. > make[2]: *** [common/common.a] Error 10 > make[2]: Leaving directory `/«PKGBUILDDIR»' > dh_auto_build: make -j1 returned exit code 2 > make[1]: *** [override_dh_auto_build] Error 2 > make[1]: Leaving directory `/«PKGBUILDDIR»' > make: *** [build-arch] Error 2 Full build logs available via: https://buildd.debian.org/status/package.php?p=dose3&suite=sid Cheers, -- 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/529e5539.10...@debian.org
Bug#731277: dose3: FTBFS with ocaml 4.01.0
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? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/529ed083.7010...@debian.org
Bug#731344: libllvm-3.3-ocaml-dev: missing ABI dependency
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:Depends} and
${ocaml:Provides} substvars).
Cheers,
--
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/529f2b05.9010...@debian.org
Re: CamlPDF update
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-standard-pdf-fonts-in-cp1252 pdfafmdata.ml is basically the contents of the linked zip file, which comes with a notice: This file and the 14 PostScript(R) AFM files it accompanies may be used, copied, and distributed for any purpose and without charge, with or without modification, provided that all copyright notices are retained; that the AFM files are not distributed without this file; that all modifications to this file or any of the AFM files are prominently noted in the modified file(s); and that this paragraph is not modified. Adobe Systems has no responsibility or obligation to support the use of the AFM files. IMHO, CamlPDF violates these terms by not distributing the notice with the AFM data. Cheers, -- 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/529f5505.60...@debian.org
Bug#731378: nss-passwords fails to decrypt
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 password entry but just can't decypher it any
> more. Could it be some change in libnss that broke something ?
> [...]
> Versions of packages nss-passwords depends on:
> ii libc6 2.17-93
> ii libncurses5 5.9+20130608-1
> ii libnspr4-0d 2:4.10.2-1
> ii libnss3-1d 2:3.15.3-1
> ii libsqlite3-03.8.1-1
> ii libtinfo5 5.9+20130608-1
> ii pinentry-curses [pinentry] 0.8.1-1
I've got exactly the same versions as you, and it works for me. What
version of Iceweasel are you using?
Cheers,
--
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/529fab32.3090...@debian.org
Bug#731378: nss-passwords fails to decrypt
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 finding the password entry but just can't decypher it any
>>> more. Could it be some change in libnss that broke something ?
>>> [...]
>> I've got exactly the same versions as you, and it works for me. What
>> version of Iceweasel are you using?
>
> That's 24.1.0esr-1.
>
> Now that you ask, I realize that I usually used nss-passwords against
> archived profiles that I don't open any more - and it does still work
> on them. Only on the currently-in-use profile does it exhibit the
> problem.
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".
Do you get the error no matter which password you query? What happens
when you query "" (the empty string)? Can you reproduce the bug with a
fresh new profile?
Cheers,
--
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/529fb320.6040...@debian.org
Bug#731398: galax: FTBFS with ocaml 4.01.0
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 (||) instead > File "datatypes/dateTime.ml", line 185, characters 43-45: > Warning 3: deprecated feature: operator (or); you should use (||) instead > /usr/bin/ocamlc -w m -I . -I . -I /usr/bin/../lib/ocaml -I > /usr/lib/ocaml/pcre -I /usr/lib/ocaml/netstring -I /usr/lib/ocaml/equeue -I > /usr/lib/ocaml/netclient -I /usr/lib/ocaml/pxp-engine -I > /usr/lib/ocaml/pxp-lex-utf8 -I /usr/lib/ocaml/pxp-lex-iso88591 -I > /usr/lib/ocaml/camomile -I /usr/lib/ocaml/netsys -I ./tools/http -I > ./tools/stemmer -I ./base -I ./fsa -I ./namespace -I ./datatypes -I ./ast -I > ./ast_walker -I ./ast_printer -I ./procctxt -I ./lexing -I ./parsing -I > ./dm/base -I ./dm/atomic -I ./streaming -I ./serialization -I ./schema -I > ./dm -I ./subtyping -I ./wsdl -I ./normalization -I ./projection -I > ./code_util -I ./streaming_xpath -I ./datamodel -I ./monitor -I ./stdlib -I > ./typing -I ./rewriting -I ./factorization -I ./physicaldm -I ./compile -I > ./optimization -I ./code_selection/code -I ./code_selection -I ./planio -I > ./evaluation -I ./procmod -I ./toplevel -I ./galapi/caml_api -I > ./extensions/jabber -I ./extensions/apache -I ./shredded -I > ./shredded/shredded_main_mem ory -I ./shredded/shredded_common -I ./regress -c datatypes/anyURI.mli > /usr/bin/ocamlc -w m -I . -I . -I /usr/bin/../lib/ocaml -I > /usr/lib/ocaml/pcre -I /usr/lib/ocaml/netstring -I /usr/lib/ocaml/equeue -I > /usr/lib/ocaml/netclient -I /usr/lib/ocaml/pxp-engine -I > /usr/lib/ocaml/pxp-lex-utf8 -I /usr/lib/ocaml/pxp-lex-iso88591 -I > /usr/lib/ocaml/camomile -I /usr/lib/ocaml/netsys -I ./tools/http -I > ./tools/stemmer -I ./base -I ./fsa -I ./namespace -I ./datatypes -I ./ast -I > ./ast_walker -I ./ast_printer -I ./procctxt -I ./lexing -I ./parsing -I > ./dm/base -I ./dm/atomic -I ./streaming -I ./serialization -I ./schema -I > ./dm -I ./subtyping -I ./wsdl -I ./normalization -I ./projection -I > ./code_util -I ./streaming_xpath -I ./datamodel -I ./monitor -I ./stdlib -I > ./typing -I ./rewriting -I ./factorization -I ./physicaldm -I ./compile -I > ./optimization -I ./code_selection/code -I ./code_selection -I ./planio -I > ./evaluation -I ./procmod -I ./toplevel -I ./galapi/caml_api -I > ./extensions/jabber -I ./extensions/apache -I ./shredded -I > ./shredded/shredded_main_mem ory -I ./shredded/shredded_common -I ./regress -c datatypes/anyURI.ml > File "datatypes/anyURI.ml", line 142, characters 2-23: > Error: Unbound module Netstring_pcre > make[3]: *** [datatypes/anyURI.cmo] Error 2 > make[2]: make[3]: Leaving directory `/«PKGBUILDDIR»' > *** [world] Error 2 > make[2]: Leaving directory `/«PKGBUILDDIR»' > make[1]: *** [override_dh_auto_build] Error 2 > make[1]: Leaving directory `/«PKGBUILDDIR»' > make: *** [build-arch] Error 2 Full build logs available via: https://buildd.debian.org/status/package.php?p=galax&suite=sid Cheers, -- 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/52a01eff.9000...@debian.org
Bug#731399: jocaml: needs update for ocaml 4.01.0
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 listmas...@lists.debian.org Archive: http://lists.debian.org/52a01f78.1090...@debian.org
Bug#731400: ocamlduce: needs update for ocaml 4.01.0
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? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/52a01fb6.8070...@debian.org
Bug#731401: otags: needs update for ocaml 4.01.0
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 listmas...@lists.debian.org Archive: http://lists.debian.org/52a0203a.9050...@debian.org
Bug#731405: ocamldap: FTBFS with ocaml 4.01.0
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 -c -g ldap_protocol.ml > ocamlfind ocamlc -package netstring,str,ssl -c -g ulist.ml > ocamlfind ocamlc -package netstring,str,ssl -c -g ldap_urllexer.ml > ocamlfind ocamlc -package netstring,str,ssl -c -g ldap_url.mli > ocamlfind ocamlc -package netstring,str,ssl -c -g ldap_url.ml > ocamlfind ocamlc -package netstring,str,ssl -c -g ldap_filterparser.mli > ocamlfind ocamlc -package netstring,str,ssl -c -g ldap_filterlexer.ml > File "ldap_filterlexer.mll", line 25, characters 13-24: > Error: Unbound module Pcre > make[2]: *** [ldap_filterlexer.cmo] Error 2 > make[2]: Leaving directory `/«PKGBUILDDIR»' > make[1]: *** [debug-code-library] Error 2 > make[1]: Leaving directory `/«PKGBUILDDIR»' > make: *** [debian/stamp-makefile-build] Error 2 Full build logs available via: https://buildd.debian.org/status/package.php?p=ocamldap&suite=sid This might be because of the new version of ocamlnet. Cheers, -- 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/52a02a4d.1020...@debian.org
Bug#731404: ocaml-data-notation: FTBFS with ocaml 4.01.0
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 -package type_conv -package camlp4.quotations.o -package
> camlp4.lib -syntax camlp4o -modules src/pa_odn.ml > src/pa_odn.ml.depends
> ocamlfind ocamlc -c -g -package type_conv -package camlp4.quotations.o
> -package camlp4.lib -syntax camlp4o -I src -o src/pa_odn.cmo src/pa_odn.ml
> + ocamlfind ocamlc -c -g -package type_conv -package camlp4.quotations.o
> -package camlp4.lib -syntax camlp4o -I src -o src/pa_odn.cmo src/pa_odn.ml
> File "src/pa_odn.ml", line 245, characters 2-8:
> Error: This expression has type
> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.str_item
>but an expression was expected of type
> bool -> Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.str_item
>Type Camlp4.PreCast.Ast.ctyp is not compatible with type bool
> Command exited with code 2.
> E: Failure("Command '/usr/bin/ocamlbuild src/odn.cma src/odn.cmxs
> src/odn.cmxa src/odn.a src/pa_odn.cma src/pa_noodn.cma -tag debug' terminated
> with error code 10")
> make[1]: *** [override_dh_auto_build] Error 1
> make[1]: Leaving directory `/«PKGBUILDDIR»'
> make: *** [build-arch] Error 2
Full build logs available via:
https://buildd.debian.org/status/package.php?p=ocaml-data-notation&suite=sid
Cheers,
--
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/52a029d6.4030...@debian.org
Bug#731378: nss-passwords fails to decrypt
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 password you query? > > Yes > >> What happens when you query "" (the empty string)? > > The same > >> Can you reproduce the bug with a fresh new profile? > > No. If I create a new profile, record a password, and query for "", I > do get the recorded password. Maybe this is due to an add-on, then? I expect nss-passwords to not work with add-ons that alter password storage. I've already seen one that does integration with gnome-keyring, but there might be more. Did you install a new add-on recently? Cheers, -- 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/52a04384.4020...@debian.org
