Processed: Bug#877356 marked as pending in yojson

Processing control commands: > tag -1 pending Bug #877356 [src:yojson] yojson: Please consider putting /usr/bin/ydump into its own binary package Added tag(s) pending. -- 877356: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877356 Debian Bug Tracking System Contact ow...@bugs.debian.

Bug#958859: marked as done (approx update disabled because it can't be updated securely)

system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 958859: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=958859 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: approx Version: 5.10-1 Severity: important

Bug#1072672: marked as done (ppx-deriving: autopkgtest regression)

. Please contact ow...@bugs.debian.org immediately.) -- 1072672: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1072672 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: ppx-deriving Version: 6.0.2-1 Severity: Serious Tags: patch Hello, the ppx

Processed: Bug#1072672 marked as pending in ppx-deriving

Processing control commands: > tag -1 pending Bug #1072672 [ppx-deriving] ppx-deriving: autopkgtest regression Added tag(s) pending. -- 1072672: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1072672 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1072668: marked as done (ocplib-simplex: autopkgtest failures (missing zarith))

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1072668: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1072668 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: ocplib-simplex Version: 0.5.1-1 Severity: serious Tags

Bug#861947: marked as done (approx-gc mentioned in manpage not available anymore)

...@bugs.debian.org immediately.) -- 861947: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861947 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: approx Version: 5.7-3 Severity: normal Hi The manpage mentions approx-gc for removal of unneeded versions

Bug#806707: marked as done (approx cronjob fails on kfreebsd and hurd)

ration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 806707: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=806707 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: approx Version: 5.5-1 Severity: normal Control: tags -1 patch

Processed: transition: ffmpeg

72447 1072450 1072444 1072463 1072441 1072457 1072440 1072404 1072434 1072401 1072431 1072426 1072400 1072430 1072423 1072437 1072407 1072418 1072443 1072412 1072461 1072446 1069595 1072415 1072453 1072456 1072466 was not blocking any bugs. Added blocking bug(s) of 1072466: 1072464 > affects -1 + s

Processed: your mail

essing here. Please contact me if you need assistance. -- 1059090: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1059090 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: src:coq: fails to migrate to testing for too long: autopkgtest issues due to dependencies

ong: autopkgtest issues due to dependencies Marked Bug as done -- 1072308: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1072308 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1071680: marked as done (ocaml-linenoise FTBFS on bytecode architectures)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1071680: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1071680 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: ocaml-linenoise Version: 1.5.1-1 Severity: important Tags: ftbfs

Processed: your mail

047036: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1047036 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: Re: ocaml: lack of LoongArch support

ian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: coq: FTBFS in bullseye

Processing control commands: > close -1 8.16.1+dfsg-1 Bug #1070920 [src:coq] coq: FTBFS in bullseye Marked as fixed in versions coq/8.16.1+dfsg-1. Bug #1070920 [src:coq] coq: FTBFS in bullseye Marked Bug as done -- 1070920: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1070920 Debian

Bug#1070787: marked as done (coq-corn: produces empty binary)

contact ow...@bugs.debian.org immediately.) -- 1070787: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1070787 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-corn Version: 8.19.0-1 Severity: serious Hello, looks like there are at least

Bug#1059178: marked as done (approx: install systemd units into /usr)

contact ow...@bugs.debian.org immediately.) -- 1059178: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1059178 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: approx Version: 5.12-2 Severity: normal Tags: patch User: helm...@debian.org

Processed: approx: diff for NMU version 5.12-2.1

ed tag(s) pending. -- 1059178: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1059178 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: closing 1067267

gi-bin/bugreport.cgi?bug=1067267 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: Re: mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration]

cgi?bug=1066654 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: tagging 1068709

068709: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1068709 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: found 1060134 in 28-1, found 1060134 in 1:1.30.1-6, found 1068698 in 2:2.0-2 ..., tagging 1056608 ...

230 1056608: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1056608 1060134: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1060134 1060939: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1060939 1068696: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1068696 1068698: https://bugs.debian.org/cgi-b

Processed: Apply commands

-- 1064128: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064128 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1043934: marked as done (camlbz2: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1043934: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1043934 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: camlbz2 Version: 0.7.0-1 Severity: minor Tags: trixie sid ftbfs User

Processed: tags 1054822 patch

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1054822 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1064128: marked as done (liquidsoap: FTBFS: Error: Unbound module Pcre)

. Please contact ow...@bugs.debian.org immediately.) -- 1064128: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064128 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: liquidsoap Version: 2.2.3-1 Severity: serious Dear Maintainer

Bug#1064086: marked as done (libapache2-mod-netcgi-apache: breaks apache (undefined symbols))

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1064086: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064086 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: libapache2-mod-netcgi-apache Version: 4.1.9-1+b1

Processed: Bug#1064086 marked as pending in ocamlnet

Processing control commands: > tag -1 pending Bug #1064086 [libapache2-mod-netcgi-apache] libapache2-mod-netcgi-apache: breaks apache (undefined symbols) Added tag(s) pending. -- 1064086: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064086 Debian Bug Tracking System Contact

Processed:

Processing control commands: > severity -1 wishlist Bug #1037277 [src:advi] advi: reproducible-builds: Embedded build path and usrmerge paths in example Makefile Severity set to 'wishlist' from 'normal' -- 1037277: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1037277 Debian Bug Track

Processed: fix ftbfs bug metadata

/cgi-bin/bugreport.cgi?bug=989391 989392: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=989392 989395: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=989395 989399: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=989399 989533: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=989533 989804: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=989804 991213: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991213 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: tagging 1064128

gi-bin/bugreport.cgi?bug=1064128 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: limit source to why3, tagging 1046969

tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 1046969: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1046969 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1047349: marked as done (morbig: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1047349: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1047349 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: morbig Version: 0.10.4-6 Severity: minor Tags: trixie sid ftbfs User

Bug#1060847: marked as done (planets: Typo in package description)

contact ow...@bugs.debian.org immediately.) -- 1060847: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1060847 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: planets Version: 0.1.13-20+b5 Severity: minor There is a minor typo

Bug#1047502: marked as done (planets: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1047502: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1047502 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: planets Version: 0.1.13-20 Severity: minor Tags: trixie sid ftbfs

Processed: tagging 1064377, tagging 1014566 ..., found 1064086 in 4.1.8-2, tagging 1049808, tagging 1043996 ...

0 1060777: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1060777 1063412: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1063412 1064086: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064086 1064377: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064377 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: tagging 1064128

an.org/cgi-bin/bugreport.cgi?bug=1064128 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: Liquidsoap bug forward upstream

opping processing here. Please contact me if you need assistance. -- 1064128: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064128 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: bug 1064128 is forwarded to https://github.com/savonet/liquidsoap/issues/3750

opping processing here. Please contact me if you need assistance. -- 1064128: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064128 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: your mail

thanks Stopping processing here. Please contact me if you need assistance. -- 1064128: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064128 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1064066: marked as done (ocaml-mirage-crypto FTBFS on riscv64 with kernel >= 6.6)

tem misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1064066: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064066 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: ocaml-mirage-crypto Version: 0.11.2-1 Sever

Bug#1015179: marked as done (Please update ppxlib to latest upstream)

contact ow...@bugs.debian.org immediately.) -- 1015179: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1015179 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: libppxlib-ocaml-dev Version: 0.24.0-1 Severity: wishlist Could you package

Processed: bug 1050003 is forwarded to https://github.com/ocaml/dune/issues/8417

opping processing here. Please contact me if you need assistance. -- 1050003: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1050003 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1060988: marked as done (mathcomp-analysis: FTBFS: make[3]: *** [Makefile.coq:838: classical/mathcomp_extra.vo] Error 1)

indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1060988: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1060988 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: mathcomp

Bug#1056948: marked as done (coq-doc-html loads files from a CDN)

contact ow...@bugs.debian.org immediately.) -- 1056948: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1056948 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: coq-doc-html Version: 8.17.1-1 The HTML files in the coq-doc-html package

Processed: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues

ers autopkgtest issues Marked Bug as done -- 1061232: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1061232 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1042499: marked as done (ocaml-duppy depends on obsolete pcre)

contact ow...@bugs.debian.org immediately.) -- 1042499: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042499 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: ocaml-duppy Severity: serious Tags: upstream Dear Maintainer, ocaml-duppy

Processed: Bug#1042499 marked as pending in ocaml-duppy

Processing control commands: > tag -1 pending Bug #1042499 [src:ocaml-duppy] ocaml-duppy depends on obsolete pcre Added tag(s) pending. -- 1042499: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042499 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: retitle 810255 to approx: Approx fails to load new versions of DEP-11 icon tarballs

t; thanks Stopping processing here. Please contact me if you need assistance. -- 810255: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810255 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: [bts-link] source package src:ocaml-duppy

gs set. > usertags 1042499 + status-closed There were no usertags set. Usertags are now: status-closed. > thanks Stopping processing here. Please contact me if you need assistance. -- 1042499: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042499 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1044296: marked as done (coqeal: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044296: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044296 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coqeal Version: 1.1.3-1 Severity: minor Tags: trixie sid ftbfs User

Bug#1048599: marked as done (mathcomp-multinomials: Fails to build source after successful build)

system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1048599: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1048599 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: mathcomp-multinomials Version: 1.6.0-3

Bug#1046759: marked as done (mathcomp-real-closed: Fails to build source after successful build)

system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1046759: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1046759 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: mathcomp-real-closed Version: 1.1.4-2

Bug#1045076: marked as done (coq-interval: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1045076: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1045076 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-interval Version: 4.8.0-1 Severity: minor Tags: trixie

Bug#1047108: marked as done (mathcomp-algebra-tactics: Fails to build source after successful build)

mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1047108: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1047108 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: mathcomp-algebra-tactics Version

Bug#1044466: marked as done (coq-extructures: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044466: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044466 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-extructures Version: 0.3.1-4 Severity: minor

Bug#1044907: marked as done (coq-relation-algebra: Fails to build source after successful build)

system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044907: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044907 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-relation-algebra Version: 1.7.9-1

Bug#1047255: marked as done (mathcomp-finmap: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1047255: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1047255 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: mathcomp-finmap Version: 1.5.2-3 Severity: minor

Bug#1044629: marked as done (coq-reglang: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044629: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044629 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-reglang Version: 1.1.3-4 Severity: minor Tags: trixie

Bug#1044870: marked as done (coq-deriving: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044870: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044870 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-deriving Version: 0.1.1-1 Severity: minor Tags: trixie

Bug#1044385: marked as done (coquelicot: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044385: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044385 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coquelicot Version: 3.3.1-1 Severity: minor Tags: trixie sid

Bug#1044511: marked as done (coq-quickchick: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044511: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044511 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-quickchick Version: 2.0-2 Severity: minor Tags

Bug#1049045: marked as done (mathcomp-abel: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1049045: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1049045 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: mathcomp-abel Version: 1.2.1-2 Severity: minor Tags

Bug#1044914: marked as done (coq-math-classes: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044914: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044914 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-math-classes Version: 8.17.0-1 Severity

Bug#1044397: marked as done (coq-simple-io: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044397: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044397 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-simple-io Version: 1.8.0-3 Severity: minor Tags

Bug#1044703: marked as done (coq-mtac2: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044703: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044703 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-mtac2 Version: 1.4+8.17-1 Severity: minor Tags: trixie

Bug#1044393: marked as done (coq-iris: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044393: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044393 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-iris Version: 4.0.0-4 Severity: minor Tags: trixie sid ftbfs

Bug#1044944: marked as done (coq-gappa: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044944: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044944 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-gappa Version: 1.5.3-1 Severity: minor Tags: trixie sid

Bug#1044267: marked as done (coqprime: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044267: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044267 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coqprime Version: 8.17-1 Severity: minor Tags: trixie sid ftbfs

Bug#1044275: marked as done (coq-hierarchy-builder: Fails to build source after successful build)

system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044275: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044275 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-hierarchy-builder Version: 1.4.0-6

Bug#1056062: marked as done (coq: FTBFS in sid (dune update?))

. Please contact ow...@bugs.debian.org immediately.) -- 1056062: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1056062 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq Version: 8.17.0+dfsg-1 Severity: serious Hello, https

Bug#1044146: marked as done (coq-unimath: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044146: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044146 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-unimath Version: 20230420-4 Severity: minor Tags

Bug#1049273: marked as done (ott: Fails to build source after successful build)

. Please contact ow...@bugs.debian.org immediately.) -- 1049273: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1049273 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: ott Version: 0.33+ds-1 Severity: minor Tags: trixie sid ftbfs User: lu

Bug#1048381: marked as done (paramcoq: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1048381: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1048381 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: paramcoq Version: 1.1.3+coq8.17-2 Severity: minor Tags

Bug#1045073: marked as done (coq-stdpp: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1045073: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1045073 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-stdpp Version: 1.8.0-4 Severity: minor Tags: trixie sid

Bug#1044951: marked as done (coq-menhirlib: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044951: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044951 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-menhirlib Version: 20230608+ds-1 Severity

Bug#1044763: marked as done (coq-unicoq: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044763: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044763 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-unicoq Version: 1.6-8.17-1 Severity: minor Tags: trixie

Bug#1044808: marked as done (coq-record-update: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044808: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044808 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-record-update Version: 0.3.2-1 Severity

Bug#1044715: marked as done (coq-ext-lib: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044715: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044715 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-ext-lib Version: 0.11.8-1 Severity: minor Tags: trixie

Bug#1044750: marked as done (coq-hammer: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044750: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044750 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-hammer Version: 1.3.2+8.17-1 Severity: minor Tags

Bug#1044251: marked as done (coq-elpi: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044251: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044251 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-elpi Version: 1.17.1-1 Severity: minor Tags: trixie sid ftbfs

Bug#1044477: marked as done (coq-bignums: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044477: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044477 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-bignums Version: 8.17.0-3 Severity: minor Tags

Bug#1044361: marked as done (flocq: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044361: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044361 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: flocq Version: 4.1.1-1 Severity: minor Tags: trixie sid ftbfs User: lu

Bug#1044395: marked as done (coq-reduction-effects: Fails to build source after successful build)

system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044395: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044395 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-reduction-effects Version: 0.1.4-4

Bug#1044276: marked as done (coq-dpdgraph: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044276: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044276 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-dpdgraph Version: 1.0+8.17-1 Severity: minor Tags

Bug#1044177: marked as done (coq-libhyps: Fails to build source after successful build)

misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044177: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044177 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq-libhyps Version: 2.0.6-3 Severity: minor Tags: trixie

Bug#1044961: marked as done (elpi: Fails to build source after successful build)

. Please contact ow...@bugs.debian.org immediately.) -- 1044961: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044961 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: elpi Version: 1.17.0-1 Severity: minor Tags: trixie sid ftbfs User: lu

Bug#1044637: marked as done (coq: Fails to build source after successful build)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1044637: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044637 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: coq Version: 8.17.0+dfsg-1 Severity: minor Tags: trixie sid ftbfs User

Bug#1057058: marked as done (liquidsoap-doc: missing Breaks+Replaces: liquidsoap (<< 2.2.2))

system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1057058: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1057058 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: liquidsoap-doc Version: 2.2.2-1 Severity: seriou

Processed: Bug#1057058 marked as pending in liquidsoap

Processing control commands: > tag -1 pending Bug #1057058 [liquidsoap-doc] liquidsoap-doc: missing Breaks+Replaces: liquidsoap (<< 2.2.2) Added tag(s) pending. -- 1057058: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1057058 Debian Bug Tracking System Contact ow...@bugs.d

Processed: tagging 1057197, tagging 1051294, tagging 1055892, notfixed 1058078 in 2.3.0+~0.3.0-4 ...

=991060 991066: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991066 991650: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991650 993014: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993014 997580: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997580 997715: https://bugs.de

Processed: No longer trixie or sid

.org/cgi-bin/bugreport.cgi?bug=991066 991650: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991650 997580: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997580 997715: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997715 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: tags for bullseye

t.cgi?bug=991060 991066: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991066 991650: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=991650 997580: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997580 997715: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997715 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: severity of 1038076 is serious

038076: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038076 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Processed: Re: release.debian.org: provide a dd-list in the transition tracker

set Ignoring request to alter fixed versions of bug #636342 to the same values previously set -- 636342: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=636342 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1042099: marked as done (liquidsoap FTBFS: Error: This expression has type ... but an expression was expected of type)

a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1042099: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042099 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: liquidsoap Version: 2.1.3

Bug#1038078: marked as done (liquidsoap: Indirectly depends on SDL 1.2)

. Please contact ow...@bugs.debian.org immediately.) -- 1038078: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038078 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: liquidsoap Tags: trixie sid User: pkg-sdl-maintain...@lists.alioth.debian.org

Processed: Bug#1056948 marked as pending in coq-doc

Processing control commands: > tag -1 pending Bug #1056948 [coq-doc-html] coq-doc-html loads files from a CDN Added tag(s) pending. -- 1056948: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1056948 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1038078: marked as done (liquidsoap: Indirectly depends on SDL 1.2)

somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1038078: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038078 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: liquidsoap Tags: trixie sid User: pkg-sdl-maintain

Bug#1042099: marked as done (liquidsoap FTBFS: Error: This expression has type ... but an expression was expected of type)

indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1042099: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042099 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Source: liquidsoap Version

Processed: Bug#1038078 marked as pending in liquidsoap

Processing control commands: > tag -1 pending Bug #1038078 [src:liquidsoap] liquidsoap: Indirectly depends on SDL 1.2 Added tag(s) pending. -- 1038078: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038078 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

  1   2   3   4   5   6   7   8   9   10   >