Bug#1015560: ocaml: ftbfs with LTO (link time optimization) enabled

Package: src:ocaml Version: 4.13.1-3 Severity: minor Tags: sid bookworm User: debian-...@lists.debian.org Usertags: ftbfs-lto This package currently fails to build (at least on the amd64 architecture) with link time optimizations enabled. For a background for LTO please see

Bug#1005852: ssreflect doesn't migrate, still broken autopkg tests

Package: src:ssreflect Version: 1.14.0-6 Severity: serious Tags: sid bookworm the autopkg tests still fail: [...] Setting up gcc (4:11.2.0-2) ... Processing triggers for libc-bin (2.33-5) ... autopkgtest: WARNING: package libcoq-mathcomp-algebra is not installed though it should be autopkgtest:

Bug#984261: ocaml-mccs: ftbfs with GCC-11

Package: src:ocaml-mccs Version: 1.1+11-1 Severity: normal Tags: sid bookworm User: debian-...@lists.debian.org Usertags: ftbfs-gcc-11 [This bug is not targeted to the upcoming bullseye release] Please keep this issue open in the bug tracker for the package it was filed for. If a fix in another

Bug#979569: frama-c ftbfs on armel, mipsel and mips64el

Package:src:frama-c Version: 20201209+titanium-2 Severity: serious Tags: sid bullseye [...] ocamlfind: Not supported in your configuration: ocamlopt make[1]: *** [share/Makefile.generic:88: src/libraries/stdlib/extlib.cmx] Error 2 make[1]: *** Waiting for unfinished jobs make[1]: Leaving

Bug#978875: ocaml: ftbfs with autoconf 2.70

Package: src:ocaml Version: 4.08.1-10 Severity: normal Tags: sid bookworm User: d...@debian.org Usertags: ftbfs-ac270 [This bug report is not targeted to the upcoming bullseye release] The package fails to build in a test rebuild on at least amd64 with autoconf 2.70, but succeeds to build with

Bug#957623: ocaml: ftbfs with GCC-10

Package: src:ocaml Version: 4.08.1-8 Severity: normal Tags: sid bullseye User: debian-...@lists.debian.org Usertags: ftbfs-gcc-10 Please keep this issue open in the bug tracker for the package it was filed for. If a fix in another package is required, please file a bug for the other package (or

Bug#957548: mlgmp: ftbfs with GCC-10

Package: src:mlgmp Version: 20021123-20 Severity: normal Tags: sid bullseye User: debian-...@lists.debian.org Usertags: ftbfs-gcc-10 Please keep this issue open in the bug tracker for the package it was filed for. If a fix in another package is required, please file a bug for the other package

Bug#957414: lablgtk3: ftbfs with GCC-10

Package: src:lablgtk3 Version: 3.0~beta6-2 Severity: normal Tags: sid bullseye User: debian-...@lists.debian.org Usertags: ftbfs-gcc-10 Please keep this issue open in the bug tracker for the package it was filed for. If a fix in another package is required, please file a bug for the other

Bug#957413: lablgtk2: ftbfs with GCC-10

Package: src:lablgtk2 Version: 2.18.8+dfsg-1 Severity: normal Tags: sid bullseye User: debian-...@lists.debian.org Usertags: ftbfs-gcc-10 Please keep this issue open in the bug tracker for the package it was filed for. If a fix in another package is required, please file a bug for the other

Bug#937400: pycaml: Python2 removal in sid/bullseye

Package: src:pycaml Version: 0.82-15 Severity: normal Tags: sid bullseye User: debian-pyt...@lists.debian.org Usertags: py2removal Python2 becomes end-of-live upstream, and Debian aims to remove Python2 from the distribution, as discussed in

Bug#936314: coccinelle: Python2 removal in sid/bullseye

Package: src:coccinelle Version: 1.0.4.deb-4 Severity: normal Tags: sid bullseye User: debian-pyt...@lists.debian.org Usertags: py2removal Python2 becomes end-of-live upstream, and Debian aims to remove Python2 from the distribution, as discussed in

Bug#919658: ocaml-gettext ftbfs (comomile module not found)

Package: src:ocaml-gettext Version: 0.3.7-1 Severity: serious Tags: sid buster [...] checking for ocamlyacc.opt... no checking for ocamlfind... ocamlfind checking for camlp4... camlp4 checking for camlp4o... camlp4o checking for camlp4of... camlp4of checking for ocamlmklib... ocamlmklib checking

Bug#919472: camomile ftbfs on ppc64el

Package: src:camomile Version: 1.0.1-1 Severity: serious Tags: sid buster checked on the ppc64el porter box: [...] dh_ocamlinit -a debian/rules override_dh_auto_configure make[1]: Entering directory '/home/doko/camomile-1.0.1' ocaml configure.ml

Bug#919463: aac-tactics ftbfs in unstable

Package: src:aac-tactics Version: 8.6.1-2 Severity: serious Tags: sid buster aac-tactics ftbfs in unstable: [...] dh build --with ocaml dh_update_autotools_config dh_ocamlinit dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory

Bug#919461: ssreflect ftbfs in unstable

Package: src:ssreflect Version: 1.6.1-3 Severity: serious Tags: sid buster [...] debian/rules override_dh_auto_install make[1]: Entering directory '/home/packages/tmp/ssreflect-1.6.1' /usr/bin/make -C mathcomp make[2]: Entering directory '/home/packages/tmp/ssreflect-1.6.1/mathcomp' Generating

Bug#919462: coq ftbfs on some release architectures

Package: src:coq Version: 8.8.2-1 Severity: serious Tags: sid buster according to https://buildd.debian.org/status/package.php?p=coq the package fails to build at least on armel and the mips* architectures.

Bug#911159: please stop building the frama-c GUI

Package: src:frama-c Version: 20171101+sulfur+dfsg-1 Tags: sid buster Severity: serious Bug #885677 filed for lablgtk2 asks for the removal of that package. To prevent removing frama-c from the distro, please consider just building the base package, dropping the GUI package. Asking because

Bug#898518: why silently dropped the ppc64el and s390x builds

Package: src:why Version: 2.40-2 Severity: serious Tags: sid buster why silently dropped the ppc64el and s390x builds, the changelog doesn't tell a word about it. This hinders propagation of the package to testing.

Bug#875569: architecture list out of date?

On 12.09.2017 18:45, Ralf Treinen wrote: > Hi, > > On Tue, Sep 12, 2017 at 12:23:06PM +0200, Matthias Klose wrote: >> Package: src:why >> Version: 2.39-1 >> >> Is the architecture list for this package still up to date? At least I see >> the >&

Bug#875569: architecture list out of date?

Package: src:why Version: 2.39-1 Is the architecture list for this package still up to date? At least I see the package build on ppc64el and s390x. lpia is obsolete. Maybe just make it Arch: any?

Bug#868860: ocaml ftbfs on arm64, triggered by binutils 2.29

Control: severity -1 serious binutils 2.29 is now in unstable.

Bug#868860: ocaml ftbfs on arm64, triggered by binutils 2.29

Package: src:ocaml Version: 4.05.0-1 Tags: upstream sid buster Severity: important Forwarded: https://caml.inria.fr/mantis/view.php?id=7585 As reported upstream, ocaml ftbfs on arm64 with binutils from experimental. Please see the details in the upstream bug report.

Bug#815684: why can't be built from source

Package: src:why Version: 2.24-3 Severity: serious Tags: sid [Mehdi asked me to file RC issues ... I saw these while working on some transitions in Ubuntu, and trying to keep creduce in unstable/testing] why doesn't work with the coq in unstable, and coq-float doesn't work with the coq in

Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default

Package: src:gmetadom Version: 0.2.6-6.1 Severity: important Tags: sid stretch User: debian-...@lists.debian.org Usertags: libstdc++-cxx11 Background [1]: libstdc++6 introduces a new ABI to conform to the C++11 standard, but keeps the old ABI to not break existing binaries. Packages which are

Bug#777776: apron: ftbfs with GCC-5

Package: src:apron Version: 0.9.10-6 Severity: normal Tags: sid stretch User: debian-...@lists.debian.org Usertags: ftbfs-gcc-5 Please keep this issue open in the bug tracker for the package it was filed for. If a fix in another package is required, please file a bug for the other package (or

Bug#736171: ocaml-mingw-w64 not installable

Package: mingw-ocaml Version: 4.00.1~20130426-3 Severity: serious Tags: sid jessie the package ocaml-mingw-w64-x86-64 is build on any-amd64 only, however ocaml-mingw-w64 depends on Depends: ${misc:Depends}, ocaml-mingw-w64-i686, ocaml-mingw-w64-x86-64 it's my understanding that

Bug#707347: add patch

Control: tags -1 + patch patch at http://launchpadlibrarian.net/160556930/apron_0.9.10-5.2ubuntu5_0.9.10-5.2ubuntu6.diff.gz -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive:

Bug#732951: ocaml's testsuite tries to connect to the net

Package: ocaml Version: 4.01.0-3 Severity: important Tags: sid, jessie as seen in https://launchpad.net/ubuntu/trusty/+source/ocaml/4.01.0-3ubuntu1 ocaml's testsuite doesn't pass the testsuite without access to the network. Please rewrite the test to only require a host found in

Bug#707347: current build failure

current build failure with the updated gmp now is attached. (cd ppl; make) make[4]: Entering directory `/scratch/packages/tmp/apron-0.9.10/apron/ppl' g++ -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -fPIC -O3 -DNDEBUG -I../newpolka

Re: OCaml transition plans

Am 08.05.2013 12:47, schrieb Stéphane Glondu: 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

Bug#667283: mldonkey: ftbfs with GCC-4.7

Package: mldonkey Version: 3.1.0-3 Severity: important Tags: sid wheezy User: debian-...@lists.debian.org Usertags: ftbfs-gcc-4.7 The package fails to build in a test rebuild on at least amd64 with gcc-4.7/g++-4.7, but succeeds to build with gcc-4.6/g++-4.6. The severity of this report may be

Bug#620716: libppl0.10-dev not in unstable anymore

-0.9.10/debian/changelog 2011-04-10 00:30:10.0 +0200 @@ -1,3 +1,11 @@ +apron (0.9.10-5.1) unstable; urgency=high + + * Non maintainer upload. + * (Build-)depend on libppl0.11-dev instead of libppl0.10-dev. +Closes: #620716. + + -- Matthias Klose d...@debian.org Sat, 09 Apr 2011 23

Bug#620716: libppl0.10-dev not in unstable anymore

Package: libapron-dev Version:0.9.10-5 Severity: serious libapron-dev depends on libppl0.10-dev, which doesn't exist anymore in unstable, now removed by ftp-master. Please depend on libppl0.11-dev instead. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject

Bug#615748: liquidsoap: ftbfs with gold or ld --no-add-needed

Package: liquidsoap Version: 0.9.2-3 Severity: important Tags: sid User: peter.fritzs...@gmx.de Usertags: no-add-needed The package fails to build in a test rebuild on at least amd64 with ld --no-add-needed. For details, please see:

replacing libreadline5-dev build dependency with libreadline-dev

Sent to http://lists.debian.org/debian-devel/2009/09/msg00549.html Both libreadline-dev (= 6.0) and libreadline6-dev are now available in unstable and testing. If possible, please replace the libreadline5-dev build dependency with libreadline-dev, so that in future changes of the libreadline

Re: GCC 4.4 run-time license and non-GPLv3 compilers

On 16.08.2009 10:50, Luk Claes wrote: Matthias Klose wrote: On 29.04.2009 04:49, Florian Weimer wrote: * Florian Weimer: I've asked the FSF for a clarification (the second time, the first clarification resulted in the Java bytecode exception). Until we know for sure how to interpret

Re: GCC 4.4 run-time license and non-GPLv3 compilers

On 29.04.2009 04:49, Florian Weimer wrote: * Florian Weimer: I've asked the FSF for a clarification (the second time, the first clarification resulted in the Java bytecode exception). Until we know for sure how to interpret the exception, it's probably best not to make GCC 4.4 the default

Re: OCaml packages status on Ubuntu Intrepid Ibex compared to Debian Lenny

David MENTRE schrieb: The following source packages would be good candidate for synchronization: camlpdf ocaml-libvirt ocamlpam janest-core camlimages ocamlgsl galax ocamlgraph ocaml-inotify David, please could you file a bug report, together with the changelogs for the