This continues to be a problem in impish, jammy, and kinetic.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1897171
Title:
package is misconfigured or missing version files, resulting in
ocamlfind
See also https://bugs.launchpad.net/ubuntu/+source/lablgtk3/+bug/1897171
(I didn't realize I had already reported this two years ago...)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1964437
Title:
See also https://bugs.launchpad.net/ubuntu/+source/lablgtk3/+bug/1964437
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1897171
Title:
package is misconfigured or missing version files, resulting in
Note that this bug makes it impossible to compile CoqIDE on jammy. Is
there any eta on getting this fixed?
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1897171
Title:
package is misconfigured or m
There is a NixOS patch for this at
https://github.com/NixOS/nixpkgs/pull/155871/files
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1964437
Title:
Jammy liblablgtk3-ocaml, liblablgtksourceview3-ocam
Public bug reported:
On March 4, [my Coq launchpad package succeeded
with](https://launchpadlibrarian.net/589055712/buildlog_ubuntu-jammy-amd64.coq_8.master~git~202203042103+23110-0~daily375-aedb9bc5f3~ubuntu22.04.1_BUILDING.txt.gz)
```
LablGtk3 and LablGtkSourceView3 found (3.1.1), with native t
Public bug reported:
I've recently discovered (https://github.com/coq/coq/issues/14324) that
coqide requires adwaita-icon-theme-full to display icons correctly. It
seems to me this dependency is not recorded in the ubuntu package.
** Affects: coq (Ubuntu)
Importance: Undecided
Stat
Public bug reported:
The patch file 0006-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch is
inadequate because it updates configure.ac without updating configure. It
should instead read something like
```
diff --git a/configure b/configure
index 74657d2..c1215b4 100755
--- a/configure
+++ b/con
See also
https://github.com/ocaml/ocaml/issues/9800#issuecomment-786868875
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1923272
Title:
package is unbackportable to old i386 systems
To manage notif
** Description changed:
- I'm trying to backport this package (with a relaxed debhelper dependency) to
focal, but the build log at
https://launchpadlibrarian.net/498769572/buildlog_ubuntu-focal-amd64.lablgtk3_3.1.1-1build2.1~focal~ppa11_BUILDING.txt.gz
indicates a failure in the dh_installdocs
Public bug reported:
After installing `ocaml-findlib liblablgtk3-ocaml-dev
liblablgtksourceview3-ocaml-dev`, running `ocamlfind query -format "%v"
lablgtk3` results in `[unspecified]`, rather than giving the version
number. According to
https://github.com/coq/coq/issues/13079#issuecomment-6981680
Public bug reported:
I'm trying to backport this package (with a relaxed debhelper dependency) to
focal, but the build log at
https://launchpadlibrarian.net/498769572/buildlog_ubuntu-focal-amd64.lablgtk3_3.1.1-1build2.1~focal~ppa11_BUILDING.txt.gz
indicates a failure in the dh_installdocs recip
Public bug reported:
https://launchpadlibrarian.net/416079314/buildlog_ubuntu-trusty-
amd64.wayland_1.12.0-1~ubuntu16.04.3~ubuntu14.04.1~ppa2_BUILDING.txt.gz
make[1]: Leaving directory `/<>'
dh_installdocs -a -O--builddirectory=build/
dh_installchangelogs -a -O--builddirectory=build/
dh_
And on Trusty, with a slightly modified package (editing out the
debhelper version dependency by hand), I get
Writing
/<>/rpm-4.14.1+dfsg1/python/debian/tmp/usr/lib/python3.4/dist-packages/rpm-4.14.1.egg-info
# Kill all the junk this installs.
rm -f debian/tmp/usr/lib/rpm/config.guess \
Public bug reported:
Hi,
I am trying to backport the rpm package with backportpackage, but the
source package does not build; it fails with
rpmio.c:1059:5: error: unknown type name ‘ZSTD_inBuffer’
ZSTD_inBuffer zib; /*!< ZSTD_inBuffer */
^
rpmio.c:1060:5: error: unknown type n
Public bug reported:
Hi,
I am trying to backport the jsonm package with backportpackage, but the
source package does not build; it fails with
make[1]: Entering directory `/<>'
dh_install --fail-missing
make[1]: Leaving directory `/<>'
dh_ocamldoc -a
dh_installdocs -a
cp: cannot stat ‘READM
** Also affects: tex-common (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1699781
Title:
Unable to install texlive on Artful, failed with depende
Public bug reported:
Using the code from https://github.com/JasonGross/csdp-test (also
attached), on my 12-core machine, I get a massive slowdown between using
1 core, and using 3 cores; the relevant snippet from the output of
`make` in that repo is:
Testing on up to 12 cores
0 (real: 0.00, user:
18 matches
Mail list logo
