Bug#1101568: Requires dune in reverse-dependencies

2025-03-29 Thread Stéphane Glondu
: https://github.com/ocaml/dune/issues/11565 I've also contacted ocaml-gettext upstream and he doesn't have an immediate solution to the problem. I am planning to revert to 0.4.2; this bug is there to document the situation. Cheers, -- Stéphane -- System Information: Debian Release:

Bug#1099294: Bug#1099296: virt-v2v: FTBFS: Error: No implementation provided for the following modules: "Dune_site__Dune_site_data" referenced from "Dune_site__Helpers"

2025-03-29 Thread Stéphane Glondu
Le 28/03/2025 à 15:24, Adrian Bunk a écrit : Could an OCaml check what this error (also in virt-top and guestfs-tools) means? See the discussion starting at: https://lists.debian.org/debian-ocaml-maint/2025/03/msg00112.html Cheers, -- Stéphane

Bug#1101497: ITP: ocaml-psq -- functional priority search queues

2025-03-28 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-psq Version : 0.2.1 Upstream Contact: David Kaloper Meršinjak * URL : https://github.com/pqwy/psq * License

Bug#1101433: ITP: ocaml-lwt-dllist -- mutable doubly-linked list with Lwt iterators

2025-03-27 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-lwt-dllist Version : 1.0.1 Upstream Contact: Anil Madhavapeddy * URL : https://github.com/mirage/lwt-dllist

Bug#1101243: ocaml-multicoretests: FTBFS: Negative test STM Weak HashSet test parallel failed as expected (19 shrink steps):

2025-03-25 Thread Stéphane Glondu
Le 25/03/2025 à 17:25, Kyle Robbertze a écrit : Well also need to update the autopkgtests to reflect the same Done in 0.7-3. Cheers, -- Stéphane

Bug#1101243: ocaml-multicoretests: FTBFS: Negative test STM Weak HashSet test parallel failed as expected (19 shrink steps):

2025-03-25 Thread Stéphane Glondu
issue upstream. Cheers, -- Stéphane Le 25/03/2025 à 01:11, Santiago Vila a écrit : Package: src:ocaml-multicoretests Version: 0.7-1 Severity: serious Tags: ftbfs trixie sid Dear maintainer: During a rebuild of all packages in unstable, your package failed to build

Bug#1099789: Depends on saturn_lockfree which has been removed

2025-03-08 Thread Stéphane Glondu
Source: liquidsoap Version: 2.3.1-1 Severity: important Tags: upstream Dear Maintainer, Liquidsoap depends on saturn_lockfree, which has been removed in saturn 1.0.0, preventing update of saturn in Debian. Cheers, -- Stéphane -- System Information: Debian Release: trixie/sid APT prefers

Bug#1099790: New upstream version: 1.0.0

2025-03-08 Thread Stéphane Glondu
Source: ocaml-saturn Version: 0.5.0-1 Severity: important Dear Maintainer, There is a new upstream version: 1.0.0. However, the package cannot be updated in Debian right now because of liquidsoap. Opening this bug to keep track of the situation. Cheers, -- Stéphane -- System Information

Bug#1099733: dependency loop with opam

2025-03-07 Thread Stéphane Glondu
Le 07/03/2025 à 11:06, Samuel Thibault a écrit : The attach changes add a pkg.uutf.noopam build profile which avoids the opam build dependency, could you apply it? Same as in #1099689. -- Stéphane

Bug#1099689: ocaml-topkg: Should have a noopam build profile

2025-03-07 Thread Stéphane Glondu
mplemented something using opam-file-format that should work everywhere, break on unexpected upstream changes, and produce identical binary packages whether the build profile is set or not. I will upload it soon. Cheers, -- Stéphane

Bug#1099158: linux-image-6.12.12-amd64: Please enable CONFIG_VIRTIO_IOMMU for IOMMU in virtual machines

2025-02-28 Thread Stéphane Graber
Package: linux-image-6.12.12-amd64 Version: 6.12.12-1 Severity: normal X-Debbugs-Cc: debian-am...@lists.debian.org User: debian-am...@lists.debian.org Usertags: amd64 Incus 6.10 has enabled VirtIO IOMMU on all its virtual machines with the next LTS point release expect to pick up this change (6.0.

Bug#1099157: ssh-import-id is missing a dependency on python3-pkg-resources

2025-02-28 Thread Stéphane Graber
Package: ssh-import-id Version: 5.10-1 Severity: important ssh-import-id when installed on a minimal system without pulling in extra python3 recommends fails to run due to a missing dependency on python3-pkg-resources. root@d13:~# ssh-import-id gh:stgraber Traceback (most recent call last): Fil

Bug#1098924: crowbar: Please consider renaming source package to libcrowbar-ocaml

2025-02-26 Thread Stéphane Glondu
arch in Debian policy and Developer reference, and come back with an "action plan". Do that work for you, or do you want to handle this? Up to you. I've uploaded ocaml-crowbar: https://ftp-master.debian.org/new/ocaml-crowbar_0.2.1-7.html Cheers, -- Stéphane

Bug#1098924: crowbar: Please consider renaming source package to libcrowbar-ocaml

2025-02-26 Thread Stéphane Glondu
Me neither. I guess so. Let's try. Cheers, -- Stéphane

Bug#1098934: ITP: ocaml-mirage-ptime -- libraries and module types for portable clocks

2025-02-25 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-mirage-ptime Version : 5.0.0 Upstream Contact: Hannes Mehnert * URL : https://github.com/mirage/mirage-ptime

Bug#1096144: ben tracker -g something -q isn't really quiet

2025-02-16 Thread Stéphane Glondu
bug. How do you want to proceed? Cheers, -- Stéphane

Bug#1093097: botch: FTBFS with OCaml 5.3.0 (make[2]: *** [Makefile:278: test-man] Error 1)

2025-02-13 Thread Stéphane Glondu
d've triggered this? Yes: the new version of ocaml-atd. You have to replace "-package atdgen" by "-package atdgen-runtime". Cheers, -- Stéphane

Bug#1095459: ITP: ocaml-zarith-stubs-js -- Javascript stubs for the Zarith library

2025-02-07 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-zarith-stubs-js Version : 0.17.0 Upstream Contact: Jane Street * URL : https://github.com/janestreet

Bug#1093272: transition: ocaml

2025-02-07 Thread Stéphane Glondu
on-linux builds: https://salsa.debian.org/pkg-llvm-team/llvm-toolchain/-/commits/15 Are these changes welcome in testing-proposed-updates? Cheers, -- Stéphane

Bug#1093272: transition: ocaml

2025-02-02 Thread Stéphane Glondu
) Cheers, -- Stéphane

Bug#1094983: ITP: ocaml-websocket -- WebSocket library

2025-02-02 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-websocket Version : 2.17 Upstream Contact: Vincent Bernardoff * URL : https://github.com/vbmithr/ocaml

Bug#1093272: transition: ocaml

2025-01-31 Thread Stéphane Glondu
Hi all, Le 30/01/2025 à 13:21, Stéphane Glondu a écrit : I've uploaded ocaml 5.3.0 to unstable, scheduled the necessary binNMUs and uploaded a few additional packages. 4 days later, almost everything is built on almost every release architectures (riscv64 and s390x are lagging b

Bug#1093272: transition: ocaml

2025-01-30 Thread Stéphane Glondu
x are lagging behind). Exceptions: - tophide, botch, frama-c, liquidsoap: they FTBFS and can be removed from testing if needed - plplot: that one also FTBFS but has reverse-dependencies... I'm not sure it can be removed from testing Cheers, -- Stéphane

Bug#1094720: FTBFS with OCaml 5.3.0 (due to new "effect" keyword)

2025-01-30 Thread Stéphane Glondu
kage.php?p=liquidsoap Cheers, -- Stéphane -- System Information: Debian Release: trixie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'buildd-unstable'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architec

Bug#1094696: FTBFS on all architectures

2025-01-30 Thread Stéphane Glondu
of the OCaml transition, but the failure seems unrelated to OCaml (rather related to numpy). Cheers, -- Stéphane -- System Information: Debian Release: trixie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'buildd-unstable'), (500, 'unsta

Bug#1094695: RM: ocaml-taglib -- ROM; FTBFS; deprecated upstream; no rdeps

2025-01-30 Thread Stéphane Glondu
, as suggested in #1093967. Cheers, -- Stéphane

Bug#1093660: ITP: ocaml-markup -- error-recovering functional HTML5 and XML parsers and writers

2025-01-20 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-markup Version : 1.0.3 Upstream Contact: Anton Bachin * URL : https://github.com/aantron/markup.ml * License

Bug#1093272: transition: ocaml

2025-01-17 Thread Stéphane Glondu
l(-base)?-5\.2\.0/ | .depends ~ /ocaml(-base)?-5\.3\.0/; is_good = .depends ~ /ocaml(-base)?-5\.3\.0/; is_bad = .depends ~ /ocaml(-base)?-5\.2\.0/; Cheers, -- Stéphane

Bug#1093097: botch: FTBFS with OCaml 5.3.0 (make[2]: *** [Makefile:278: test-man] Error 1)

2025-01-15 Thread Stéphane Glondu
at. I should've tagged that other bug correctly immediately. No worries. My workflow is mostly automated. Howvever, I did not know about the "debftbfs" tool. I will incorporate it into my workflow: https://salsa.debian.org/debian/ben/-/commit/c8a7890457a38c16d64d4b2ee065ae05f09c06fe Thanks! -- Stéphane

Bug#1093087: RM: pcre-ocaml -- ROM; depends on obsolete pcre3 library

2025-01-15 Thread Stéphane Glondu
does no longer have any reverse-dependencies in unstable, so you can remove it. Cheers, -- Stéphane

Bug#1092985: OCaml 5.3.0

2025-01-14 Thread Stéphane Glondu
ench: ocaml-multicore-magic ocaml-saturn: ocaml-multicore-bench ocaml-multicore-magic I think they should not be blocking for the transition, hence I'm planning to ask for a slot soon. Cheers, -- Stéphane

Bug#1092985: OCaml 5.3.0

2025-01-13 Thread Stéphane Glondu
r exhaustion of allocated resources). A graphical visualisation of the situation can be seen at: http://ocaml.debian.net/transitions/ocaml-5.3.0/missing.pdf I'm now asking for help from other maintainers to improve the situation! I'm opening a bug report to keep track of this matter. Cheers, -- Stéphane

Bug#1092512: ocaml-multicore-magic: FTBFS: build-dependency not installable: libcontainers-ocaml-dev-5iq37

2025-01-08 Thread Stéphane Glondu
a transient issue that should not even be tested, due to BD-Uninstallability. I fail to understand how useful this kind of bug report is. Cheers, -- Stéphane

Bug#1092244: RM: ppx-tools -- ROM; FTBFS; dead upstream

2025-01-06 Thread Stéphane Glondu
failing to build from source since the transition to OCaml 5 [1], is dead upstream [2], and does no longer have any reverse-dependencies. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078383 [2] https://github.com/ocaml-ppx/ppx_tools/issues/95 Cheers, -- Stéphane

Bug#1091841: ITP: ocaml-monolith -- framework for strong random testing of OCaml libraries

2025-01-01 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-monolith Version : 20241126 Upstream Contact: François Pottier * URL : https://gitlab.inria.fr/fpottier

Bug#1091648: ITP: ppx-yojson-conv -- [@@deriving] plugin to generate Yojson conversion functions

2024-12-29 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ppx-yojson-conv Version : 0.17.0 Upstream Contact: Jane Street developers * URL : https://github.com/janestreet

Bug#1091647: ITP: ppx-yojson-conv-lib -- runtime lib for ppx_yojson_conv

2024-12-29 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ppx-yojson-conv-lib Version : 0.17.0 Upstream Contact: Jane Street developers * URL : https://github.com/janestreet

Bug#1091644: ITP: ppx-js-style -- code style checker for Jane Street packages

2024-12-29 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ppx-js-style Version : 0.17.0 Upstream Contact: Jane Street Group, LLC * URL : https://github.com/janestreet

Bug#1091552: ITP: ocaml-octavius -- ocamldoc comment syntax parser

2024-12-28 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-octavius Version : 1.2.2 Upstream Contact: Leo White * URL : https://github.com/ocaml-doc/octavius * License

Bug#1091105: nss-passwords fails to decrypt

2024-12-25 Thread Stéphane Glondu
cted! Cheers, -- Stéphane

Bug#1091363: ocaml: ocamlopt disabled on armhf, i386, mipsel. Is this intentional?

2024-12-25 Thread Stéphane Glondu
so my question is if that is intentional or an oversight? Yes, this is intentional: ocamlopt is not longer supported upstream on 32-bit architectures. Is there a reason ocamlc cannot be used there? Cheers, -- Stéphane

Bug#1091105: nss-passwords fails to decrypt

2024-12-23 Thread Stéphane Glondu
pinentry-gnome3 [pinentry] 1.2.1-4+b1 Same versions here. Cheers, -- Stéphane

Bug#1089146: Accepts signing with short key ID, but debsign later fails

2024-12-06 Thread Stéphane Glondu
g the same command with a fixed key ID, dgit fails because of a split brain. I had to debsign and dput the .changes file manually. Cheers, -- Stéphane -- System Information: Debian Release: trixie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'buildd-unstabl

Bug#1085240: Missing dependency on gir1.2-gtop-2.0

2024-10-17 Thread Stéphane Glondu
Package: gnome-shell-extension-system-monitor Version: 47.0-2 Severity: serious Dear Maintainer, I just updated GNOME to 47, and it seems that gnome-shell-extension-system-monitor now requires gir1.2-gtop-2.0. Cheers, -- Stéphane -- System Information: Debian Release: trixie/sid APT

Bug#1073882: FTBFS with OCaml 5.2.0 (Needs porting)

2024-10-14 Thread Stéphane Glondu
utopkgtest would be ideal. Also, please do not leave commented lines if they are not meant to come back. Cheers, -- Stéphane

Bug#1084930: ITP: ocaml-mirage-kv-mem -- in-memory key value store for MirageOS

2024-10-11 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-mirage-kv-mem Version : 3.2.1 Upstream Contact: Stefanie Schirmer and Hannes Mehnert * URL : https

Bug#1082824: ITP: ocaml-mirage-kv -- MirageOS signatures for key/value devices

2024-09-26 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-mirage-kv Version : 6.1.1 Upstream Contact: Thomas Gazagnaire * URL : https://github.com/mirage/mirage-kv

Bug#1082655: ITP: ocaml-stdlib-random -- versioned Random module from the OCaml standard library

2024-09-24 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-stdlib-random Version : 1.2.0 Upstream Contact: Florian Angeletti * URL : https://github.com/ocaml/stdlib

Bug#1082654: ITP: ocaml-optint -- efficient integer types on 64-bit architectures

2024-09-23 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-optint Version : 0.3.0 Upstream Contact: Romain Calascibetta * URL : https://github.com/mirage/optint

Bug#1082623: ITP: ocaml-cinaps -- trivial metaprogramming tool

2024-09-23 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-cinaps Version : 0.15.1 Upstream Contact: Jane Street developers * URL : https://github.com/ocaml-ppx/cinaps

Bug#1082225: ITP: ocaml-mirage-clock -- libraries and module types for portable clocks

2024-09-19 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-mirage-clock Version : 4.2.0 Upstream Contact: Anil Madhavapeddy * URL : https://github.com/mirage/mirage

Bug#1082179: ITP: ppx-let -- ppx rewriter for monadic and applicative bindings

2024-09-18 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ppx-let Version : 0.17.0 Upstream Contact: Jane Street * URL : https://github.com/janestreet/ppx_let * License

Bug#1081360: Breaks dose3 tests

2024-09-10 Thread Stéphane Glondu
, -- Stéphane -- System Information: Debian Release: trixie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'buildd-unstable'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 6.5.0-5-amd6

Bug#1081257: ITP: ocaml-kdf -- key derivation functions in OCaml

2024-09-09 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-kdf Version : 1.0.0 Upstream Contact: Alfredo Beaumont, Hannes Mehnert * URL : https://github.com/robur-coop

Bug#1080490: RM: elpi libelpi-ocaml libelpi-ocaml-dev [armhf i386] -- ROM; armhf and i366 are no longer native

2024-09-04 Thread Stéphane Glondu
its binary packages on armhf and i386. Cheers, -- Stéphane

Bug#1077455: aflplusplus: FTBFS: make[3]: *** [GNUmakefile.gcc_plugin:127: test_deps] Error 1

2024-08-26 Thread Stéphane Glondu
splus-4.21c/debian/changelog 2024-08-27 07:57:54.0 +0200 @@ -1,3 +1,10 @@ +aflplusplus (4.21c-2.1) unstable; urgency=medium + + * Non-maintainer upload. + * Build-depend on gcc-14-plugin-dev (Closes: #1077455) + + -- Stéphane Glondu Tue, 27 Aug 2024 07:57:54 +0200 + aflplusplus (4.21c-

Bug#1079269: ITP: ocaml-intrinsics-kernel -- a library of intrinsics for OCaml

2024-08-21 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-intrinsics-kernel Version : 0.17.1 Upstream Contact: Jane Street developers * URL : https://github.com

Bug#1078941: Requires ocamlopt

2024-08-17 Thread Stéphane Glondu
Source: coq Version: 8.19.1+dfsg-3 Severity: serious User: debian-ocaml-ma...@lists.debian.org Usertags: ocaml-5.2.0-transition Dear Maintainer, This is a bug to help britney, while waiting #1078252 to be processed. Cheers, -- Stéphane -- System Information: Debian Release: trixie/sid APT

Bug#1076365: ITP: opam-0install-cudf -- Opam solver using 0install backend using the CUDF interface

2024-08-16 Thread Stéphane Glondu
to point to the new upstream, and uploaded. Cheers, -- Stéphane

Bug#1078789: ITP: ocaml-ohex -- OCaml library for hexadecimal encoding and decoding

2024-08-15 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-ohex Version : 0.2.0 Upstream Contact: Hannes Mehnert * URL : https://opam.ocaml.org/packages/ohex/ * License

Bug#1073983: transition: ocaml

2024-08-15 Thread Stéphane Glondu
time being. RC bugs were filed: hol-light (#1073882) ocaml-ffmpeg (#1072440) ocaml-lo (#1075329) pa-ounit (#1073907) ppx-tools (#1078383) sks (#1073911) Cheers, -- Stéphane

Bug#1078675: ITP: ocaml-digestif -- hashes implementations

2024-08-14 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-digestif Version : 1.2.0 Upstream Contact: Eyyüb Sari and Romain Calascibetta * URL : https://github.com

Bug#1073983: transition: ocaml

2024-08-12 Thread Stéphane Glondu
e compilation on 32-bit architectures), hence the corresponding uninstallability or autopkgtest issues for coq-related packages are irrelevant. Is britney smart enough to cope with this? Cheers, -- Stéphane

Bug#1078578: RM: coq-elpi and others [ppc64el] -- ROM; FTBFS

2024-08-12 Thread Stéphane Glondu
-real-closed coqeal Cheers, -- Stéphane

Bug#1078558: [chdist] Many perl deprecation warnings

2024-08-12 Thread Stéphane Glondu
deprecated at /usr/bin/chdist line 750. when is deprecated at /usr/bin/chdist line 753. when is deprecated at /usr/bin/chdist line 756. when is deprecated at /usr/bin/chdist line 759. when is deprecated at /usr/bin/chdist line 762. [...] Cheers, -- Stéphane -- Package-specific info: --- /etc

Bug#1078549: FTBFS with OCaml 5.2.0 on ppc64el

2024-08-12 Thread Stéphane Glondu
Source: coq-elpi Version: 2.1.0-1 Severity: serious Tags: ftbfs User: debian-ocaml-ma...@lists.debian.org Usertags: ocaml-5.2.0-transition Dear Maintainer, Your package FTBFS with OCaml 5.2.0 on ppc64el: https://buildd.debian.org/status/package.php?p=coq-elpi Cheers, -- Stéphane

Bug#1073983: transition: ocaml

2024-08-11 Thread Stéphane Glondu
mathcomp-bigenough mathcomp-finmap mathcomp-multinomials mathcomp-real-closed mathcomp-zify ott paramcoq ssreflect Cheers, -- Stéphane

Bug#1078470: FTBFS with OCaml 5.2.0 on armel: missing -latomic

2024-08-11 Thread Stéphane Glondu
Control: tags -1 + patch On Sun, 11 Aug 2024 06:50:54 I wrote: This is due to -latomic missing when using libcamlrun.a. Patch attached. Cheers, -- StéphaneFrom: Stéphane Glondu Date: Sun, 11 Aug 2024 07:03:06 +0200 X-Dgit-Generated: 1:1.52.2-2 0babb764873d595d174e47e57c82e753bc7bdf20

Bug#1078470: FTBFS with OCaml 5.2.0 on armel: missing -latomic

2024-08-10 Thread Stéphane Glondu
missing when using libcamlrun.a. Cheers, -- Stéphane

Bug#1078252: RM: coq and many others [armhf i386] -- ROM; NBS; armhf and i386 are no longer native

2024-08-10 Thread Stéphane Glondu
Le 09/08/2024 à 09:37, Stéphane Glondu a écrit : [...] OCaml 5.2.0 dropped support for native compilation on 32-bit architectures. Hence, armhf and i386 are now bytecode-only. Since Coq packages require the native compiler, their binaries must be removed on armhf and i386. Here is the complete

Bug#1078356: FTBFS with OCaml 5.2.0

2024-08-09 Thread Stéphane Glondu
heers, -- Stéphane

Bug#1073911: FTBFS with OCaml 5.2.0 (Uses C functions without caml_ prefix)

2024-08-09 Thread Stéphane Glondu
Control: tags -1 + patch On Thu, 20 Jun 2024 06:36:04 + Stephane Glondu wrote: Your package FTBFS with OCaml 5.2.0 for the following reason: Uses C functions without caml_ prefix Attached is a patch that fixes the build. Cheers, -- StéphaneFrom: Stéphane Glondu Date: Fri, 9 Aug

Bug#1078259: Should ocaml-odoc depend on ocaml- ?

2024-08-09 Thread Stéphane Glondu
right. Moreover, ocaml-odoc is most likely needed only to build arch-indep packages (I've experimented this with js-of-ocaml). At least calendar and mlpost also use it in their binary-any builds, is this a bug? I would say "shortcoming" rather than "bug". Cheers, -- Stéphane

Bug#1078266: RM: pa-ounit -- ROM; FTBFS; deprecated

2024-08-09 Thread Stéphane Glondu
-transition Dear FTP Team, Please remove pa-ounit from unstable. It FTBFS with OCaml 5.2.0 and is deprecated (according to upstream). Cheers, -- Stéphane

Bug#1078259: Should ocaml-odoc depend on ocaml- ?

2024-08-09 Thread Stéphane Glondu
ver, ocaml-odoc is most likely needed only to build arch-indep packages (I've experimented this with js-of-ocaml). Cheers, -- Stéphane

Bug#1078252: RM: coq and many others [armhf i386] -- ROM; NBS; armhf and i386 are no longer native

2024-08-09 Thread Stéphane Glondu
-unicoq coq-unimath flocq ott paramcoq coq Cheers, -- Stéphane

Bug#1078051: RM: ocamlsdl -- ROM; obsolete

2024-08-06 Thread Stéphane Glondu
. Please remove it from unstable. Cheers, -- Stéphane

Bug#1073289: Changing OCaml stdlib dir...

2024-08-05 Thread Stéphane Glondu
t OCaml transition. Cheers, -- Stéphane

Bug#1077899: Please do not hardcode /usr/lib/ocaml

2024-08-04 Thread Stéphane Glondu
. Cheers, -- Stéphane -- System Information: Debian Release: trixie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'buildd-unstable'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 K

Bug#1077897: Please do not hardcode /usr/lib/ocaml

2024-08-04 Thread Stéphane Glondu
, -- Stéphane -- System Information: Debian Release: trixie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'buildd-unstable'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: L

Bug#1077896: Please do not hardcode /usr/lib/ocaml

2024-08-04 Thread Stéphane Glondu
, -- Stéphane -- System Information: Debian Release: trixie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'buildd-unstable'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: L

Bug#1077602: js-of-ocaml: build fails

2024-07-30 Thread Stéphane Glondu
full build of js-of-ocaml. BTW, I think my transition scripts [1] can be easily adapted for this kind of endeavour. [1] https://salsa.debian.org/debian/ben/-/tree/master/examples/transition-scripts Cheers, -- Stéphane

Bug#1077602: js-of-ocaml: build fails

2024-07-30 Thread Stéphane Glondu
are trying to achieve? Cheers, -- Stéphane

Bug#1077583: RM: ocaml-http -- ROM; depends on obsolete pcre3

2024-07-30 Thread Stéphane Glondu
pcre3, which is being phased out. Moreover, it seems dead upstream (last commit was 6 years ago) and subsumed by ocaml-cohttp. Cheers, -- Stéphane

Bug#1073983: transition: ocaml

2024-07-23 Thread Stéphane Glondu
Le 22/07/2024 à 12:16, Stéphane Glondu a écrit : I've added packages that declare rebuilt packages in their testsuite-triggers field. That makes a total of 104 packages. I've scheduled those packages, and it revealed 5 failures: - bdebstrap: seems unrelated to OCaml (rather to Pyth

Bug#1073983: transition: ocaml

2024-07-22 Thread Stéphane Glondu
examples/transition-scripts If anybody wants to use them in another context, I can help. But it would seem incongruous to me to promote my own tools to other circles without knowing their needs and workflows. Cheers, -- Stéphane

Bug#1073983: transition: ocaml

2024-07-20 Thread Stéphane Glondu
y confident now that this transition is manageable and should not pose big issues. Cheers, -- Stéphane

Bug#1074441: linux-image-amd64: Please enable several CONFIG_ options required for IPU6/MIPI cameras

2024-07-19 Thread Stéphane Glondu
Please enable (since 6.10): CONFIG_VIDEO_INTEL_IPU6=m as well. Cheers, -- Stéphane

Bug#1073289: Bug#1073983: transition: ocaml

2024-07-18 Thread Stéphane Glondu
t/transitions/ocaml-5.2.0/ You can use it to test your changes. It would really be much easier to have the binNMUs scheduled and then fix LLVM. Do I have a go from the Release Team to upload OCaml 5.2.0 to unstable? As usual, I will take care of the binNMUs. Cheers, -- Stéphane

Bug#1076474: icebreaker: is not classified in the games section of the Debian menu but in Other

2024-07-16 Thread Stéphane Aulery
Package: icebreaker Version: 2.2.0-1 Severity: minor Tags: d-i X-Debbugs-Cc: saul...@free.fr Hello, IceBreaker is not classified in the games section of the Debian menu but in Other. Regards, -- System Information: Debian Release: 12.6 APT prefers stable-updates APT policy: (500, 'stable-

Bug#1073289: Bug#1073983: transition: ocaml

2024-07-16 Thread Stéphane Glondu
Hi, Le 27/06/2024 à 11:38, Stéphane Glondu a écrit : The remaining unknowns are llvm-toolchain-{14,15,16,17,18}... [...] I've done a rebuild of the OCaml universe with yesterday's unstable (mostly). The "missing" packages are the same, but the llvm-toolchain-16 build got

Bug#1076410: FTBFS with OCaml 5.2.0 (Uses C functions without caml_ prefix)

2024-07-15 Thread Stéphane Glondu
Source: llvm-toolchain-16 Version: 1:16.0.6-27 Severity: important Tags: ftbfs User: debian-ocaml-ma...@lists.debian.org Usertags: ocaml-5.2.0-transition Dear Maintainer, Your package FTBFS with OCaml 5.2.0 for the following reason: Uses C functions without caml_ prefix A full log is availab

Bug#1076367: ITP: ocaml-swhid-core -- OCaml library to work with swhids

2024-07-15 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-swhid-core Version : 0.1 Upstream Contact: OCamlPro * URL : https://github.com/ocamlpro/swhid_core * License

Bug#1076366: ITP: ocaml-spdx-licenses -- library providing a strict SPDX License Expression parser

2024-07-15 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-spdx-licenses Version : 1.2.0 Upstream Contact: Kate * URL : https://github.com/kit-ty-kate/spdx_licenses

Bug#1076365: ITP: opam-0install-cudf -- Opam solver using 0install backend using the CUDF interface

2024-07-15 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: opam-0install-cudf Version : 0.4.3 Upstream Contact: Thomas Leonard * URL : https://github.com/ocaml-opam/opam

Bug#1076364: ITP: 0install-solver -- package dependency solver

2024-07-14 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: 0install-solver Version : 2.18 Upstream Contact: Thomas Leonard * URL : https://github.com/0install/0install

Bug#729223: ben: provide state of the package in testing, too

2024-07-12 Thread Stéphane Glondu
rch 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. Is there anything to be done about this bug? Cheers, -- Stéphane

Bug#763462: Package marked as bad although it is “uncompiled”

2024-07-08 Thread Stéphane Glondu
bad" query with: .uninstallable ~ "yes" & ! .build-status ~ "uncompiled" Cheers, -- Stéphane

Bug#1075934: ITP: ocamlformat -- auto-formatter for OCaml code

2024-07-07 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocamlformat Version : 0.26.2 Upstream Contact: Tarides * URL : https://github.com/ocaml-ppx/ocamlformat * License

Bug#1075935: ITP: ocaml-version -- handle OCaml compiler version strings

2024-07-07 Thread Stéphane Glondu
Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-version Version : 3.6.7 Upstream Contact: Anil Madhavapeddy * URL : https://github.com/ocurrent/ocaml

  1   2   3   4   5   6   7   8   9   10   >