Processed: Re: coq: Please whitelist ocaml-native-compilers to supported architectures

To: John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: coq: Please whitelist ocaml-native-compilers to supported architectures
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 07 Oct 2025 20:01:02 +0000
Message-id: <[🔎] handler.s.B1101476.17598671793299767.transcript@bugs.debian.org>
References: <[🔎] 175986717109.1592525.10191828932749523277.reportbug@login1.physik.fu-berlin.de> <174314619703.1120620.18433073643495514431.reportbug@z6>

Processing control commands:

> tags -1 +patch
Bug #1101476 [src:coq] coq: Please whitelist ocaml-native-compilers to supported architectures
Added tag(s) patch.

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

Reply to:

References:
- Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
  - From: John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de>

Prev by Date: ocaml-qcheck is marked for autoremoval from testing
Next by Date: Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
Previous by thread: Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
Next by thread: Bug#1101476: coq: Please whitelist ocaml-native-compilers to supported architectures
Index(es):
- Date
- Thread