Package: libstdlib-ocaml-dev,libcompiler-libs-ocaml-dev,libstdlib-ocaml
Version: 5.2.0-1~exp3
Severity: serious
User: debian...@lists.debian.org
Usertags: fileconflict
Control: affects -1 + libfindlib-ocaml
libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have
an undeclared file
Package: libstdlib-ocaml-dev,libcompiler-libs-ocaml-dev,libstdlib-ocaml
Version: 5.2.0-1~exp2
Severity: serious
User: debian...@lists.debian.org
Usertags: fileconflict
Control: affects -1 + libfindlib-ocaml
libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have
an undeclared file
Package: libstdlib-ocaml,libcompiler-libs-ocaml-dev,libstdlib-ocaml-dev
Version: 5.2.0-1~exp1
Severity: serious
User: debian...@lists.debian.org
Usertags: fileconflict
Control: affects -1 + libfindlib-ocaml
libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have
an undeclared file
On Tue, Aug 22, 2023 at 12:17:58PM +0200, julien.pu...@gmail.com wrote:
> Section 7.6 is about partial and complete replacement according to its
> very first paragraph ("two distinct purposes"), but doesn't make the
> difference afterwards and I think that's the source of our
> disagreement. The wh
Control: reopen -1
Control: found -1 mathcomp-analysis/0.6.4-2
On Sat, Aug 19, 2023 at 05:33:11PM +, Debian Bug Tracking System wrote:
> It has been closed by Debian FTP Masters
> (reply to Julien Puydt ).
I'm sorry. Adding Breaks is necessary but insufficient. You also need
Replaces.
Helm
Package: libcoq-mathcomp-classical
Version: 0.6.4-1+b1
Severity: serious
User: debian...@lists.debian.org
Usertags: fileconflict
Control: affects -1 + libcoq-mathcomp-analysis
libcoq-mathcomp-classical starts to ship the following files:
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/boolp.gl
Package: libafl-persistent-ocaml
Version: 1.4-2
Severity: serious
libafl-persistent-ocaml installs /usr/lib/ocaml/afl-persistent/META,
which is also installed by libafl-persistent-ocaml-dev/bookworm. As
such, upgrades may result in an unpack error. If this is an intentional
move, please add corres
Package: libxml-light-ocaml-dev
Version: 2.5-1
Severity: serious
Control: affects -1 + libxml-light-ocaml
libxml-light-ocaml-dev introduces an undeclared file conflict with
libxml-light-ocaml up to version 2.4-1+b4 on the file
/lib/ocaml/xml-light/META. This may result in an unpack error at packag
Package: libocsigenserver-ocaml
Version: 5.0.1-1+b12
Severity: serious
Justification: dpkg unpack error
Attempting to unpack libocsigenserver-ocaml/5.0.1-1+b12 from Debian bookworm
on a minimal Debian bullseye with libocsigenserver-ocaml-dev/2.16.1-1+b3
installed, causes an unpack error from dpkg
ebian/changelog 2023-03-08 09:08:28.0 +0100
@@ -1,3 +1,11 @@
+camlidl (1.11-1.1) UNRELEASED; urgency=medium
+
+ * Non-maintainer upload.
+ * Drop unnecessary and cross-unsatisfiable dependencies on binutils and cpp.
+(Closes: #-1)
+
+ -- Helmut Grohne Wed, 08 Mar 2023 09:08:28
:30.0
+0200
+++ ocaml-ctypes-0.17.1/debian/changelog2021-02-03 15:21:56.0
+0100
@@ -1,3 +1,10 @@
+ocaml-ctypes (0.17.1-2.1) UNRELEASED; urgency=medium
+
+ * Non-maintainer upload.
+ * Annotate test dependencies . (Closes: #-1)
+
+ -- Helmut Grohne Wed, 03 Feb 2021 15:21:56
=medium
+
+ * Non-maintainer upload.
+ * Mark hevea Multi-Arch: foreign. (Closes: #-1)
+
+ -- Helmut Grohne Thu, 09 Apr 2020 11:27:46 +0200
+
hevea (2.34-1) unstable; urgency=medium
* New upstream version.
diff --minimal -Nru hevea-2.34/debian/control hevea-2.34/debian/control
--- hevea-2.34
:38.0 +0200
@@ -1,3 +1,10 @@
+opam (2.0.5-1.1) UNRELEASED; urgency=medium
+
+ * Non-maintainer upload.
+ * Mark opam-doc Multi-Arch: foreign. (Closes: #-1)
+
+ -- Helmut Grohne Sun, 15 Sep 2019 20:16:38 +0200
+
opam (2.0.5-1) unstable; urgency=medium
* New upstream version 2.0.5
diff
Package: dose-extra
Version: 5.0.1-12
File: /usr/bin/dose-deb-coinstall
$ cat pkg
Package: a
Architecture: amd64
Multi-Arch: same
Version: 0
Package: b
Architecture: amd64
Depends: a:any (>= 1)
Version: 0
Package: build-essential
Architecture: all
Version: 0
$ dose-deb-coinstall --deb-native-arc
Source: jsonm
Version: 1.0.1-1
Severity: serious
Tags: ftbfs
jsonm fails to build from source in sbuild on unstable/amd64. A build
log ends with:
|debian/rules override_dh_auto_install
| make[1]: Entering directory '/<>'
| mkdir -p '/<>/debian/tmp//usr/lib/ocaml/jsonm'
| cp _build/src/jsonm.c
Source: atdgen
Version: 1.9.1-2
Severity: serious
Tags: ftbfs
atdgen fails to build from source in unstable on amd64. A build log ends
with:
| /usr/bin/make atdgen.cma atdgen.run
| make[4]: Entering directory '/<>/src'
| ocamlfind ocamlc -dtypes -g -c -package "str atd biniou yojson" ag_version.m
Package: dose-builddebcheck
Version: 5.0.1-6
Severity: important
User: helm...@debian.org
Usertags: rebootstrap
dose-builddebcheck has a built-in architecture table and allows
replacing that by supplying --deb-triplettable. Unfortunately, the
triplettable and its format disappeared from Debian wit
On Thu, Aug 11, 2016 at 07:15:12PM +0200, Helmut Grohne wrote:
> When checking whether the source package "0x" is bd-satisfiable,
> dose-builddebcheck says "package: 0x". Contemporary yaml readers
> (such as pyyaml) read that as 65535. The correct way would
Package: dose-builddebcheck
Version: 5.0-1
Severity: important
File: /usr/bin/dose-builddebcheck
User: helm...@debian.org
Usertags: rebootstrap
When checking whether the source package "0x" is bd-satisfiable,
dose-builddebcheck says "package: 0x". Contemporary yaml readers
(such as pyyaml)
Package: dose-builddebcheck
Severity: wishlist
User: helm...@debian.org
Usertags: rebootstrap
Hi dose3 developers,
By now, rebootstrap[1] is a heavy user of dose-builddebcheck and
invoking it well over 50 times per run. This starts to manifest in the
time it takes to run rebootstrap. Thus far I a
Package: dose-builddebcheck
Version: 4.1-1
File: /usr/bin/dose-builddebcheck
User: helm...@debian.org
Usertags: rebootstrap
Hi,
I am one of the active consumers of dose-builddebcheck in unstable and
quickly noticed the 4.1 upload by seeing all rebootstrap jobs fail. The
immediate reason is that d
Package: dose-extra
Version: 3.3-3
Severity: minor
File: /usr/share/man/man1/dose-deb-coinstall.1.gz
Hi Johannes,
You asked me to file this bug report. The manual page for
dose-deb-coinstall talks about a tool dose-debcoinstall. This is
inconsistent with how the tool is actually named.
I hope th
22 matches
Mail list logo