From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 15 10:21:14 2023 Received: (at submit) by debbugs.gnu.org; 15 Sep 2023 14:21:14 +0000 Received: from localhost ([127.0.0.1]:44400 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qh9h4-0001in-Do for submit@debbugs.gnu.org; Fri, 15 Sep 2023 10:21:14 -0400 Received: from lists.gnu.org ([2001:470:142::17]:35154) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qh9gz-0001hq-H4 for submit@debbugs.gnu.org; Fri, 15 Sep 2023 10:21:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qh9gi-00011q-P7 for guix-patches@gnu.org; Fri, 15 Sep 2023 10:20:52 -0400 Received: from mail.uvy.fr ([146.59.197.40]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qh9gf-0000jz-Fe for guix-patches@gnu.org; Fri, 15 Sep 2023 10:20:52 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1694787645; bh=olKwhZJKc58Hha9G43apAHZ065+z7AvTvP1mOItvnhg=; h=From:To:Cc:Subject:Date; b=4BzWHCwrIcdXJoXIdhEOG1/OWi/DFYaJNV1MXRwtvFDZdYRIOI1zAcleC5+3Mvih3 xTLN3+3ftXALRXGiImpVN/h3mLdrD5aznYo4M6V2kBuvpMEeS+Ujp72CIIoq6fsJA4 mAEyARGfI7DrT+UDwqcWNuekjGAx9+7kVE+6H3GPsUBJKA/5QmMdUeHuaVMYXwKGRw 3w9y1VWOaVLZUjkVe5ttOiMNVKDqThrHABkCOVnU4jMd0ywq1avfXAH9wLVzpdUXaW XHn1MFB5HBwsM3M9XOwCVyQ93k2JZ1toPJJ3zl8llbS5Yg0PD6XYy62AI1asoyHWRB y6JLUV4Vmf5Vg== From: Benjamin To: guix-patches@gnu.org Subject: [PATCH 0/1] update dune to 3.10 Date: Fri, 15 Sep 2023 16:20:15 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit Received-SPF: permerror client-ip=146.59.197.40; envelope-from=benjamin@uvy.fr; helo=mail.uvy.fr X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, T_SPF_PERMERROR=0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: submit Cc: Benjamin X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello, This patch update dune to version 3.10. This will allow me to push a series of patch to bump eio to 0.12 (as it depends on dune 3.9 [0] I check the build of affected packages by running `guix build` on `guix refresh -l dune` By doing so, I discovered that it is not possible to build current coq version with latest dune. That is the reason why I kept the current version of dune for those packages. [0] https://github.com/ocaml-multicore/eio/blob/v0.12/dune-project#L1 Benjamin (1): gnu: dune-bootstrap: Update to 3.10.0. gnu/packages/coq.scm | 3 +++ gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++-------- 2 files changed, 26 insertions(+), 8 deletions(-) base-commit: 69580997bd1b383659b990a5e1e46817e371fa8c -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 15 10:24:09 2023 Received: (at 66000) by debbugs.gnu.org; 15 Sep 2023 14:24:09 +0000 Received: from localhost ([127.0.0.1]:44412 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qh9js-0001o1-Su for submit@debbugs.gnu.org; Fri, 15 Sep 2023 10:24:09 -0400 Received: from mail.uvy.fr ([146.59.197.40]:36576) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qh9jq-0001nE-T8 for 66000@debbugs.gnu.org; Fri, 15 Sep 2023 10:24:07 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1694787834; bh=xKeZVcLyrkVzMHS2JRma4KmdKBOmSxivYkyCYNuXDm0=; h=From:To:Cc:Subject:Date:In-Reply-To:References; b=CgeHGqZ8KFwcXGXOumkpf0MmsovxLEmNzFV2Nz4KqS1T13p9T7XklMouytTDKaJmG iTDw4cUrKucLRiz7Rb5Jkn83nP3AqjzLNLfy7rtYttGAEK3jgKAB8NwiU12PlF7PAm ft/tdP939z1WVwvom3cnjSDRd0xzfkNXW1+O4CzRMOotZHMCswmnijn5fnFYifI6op KlSeqBiL8TcyTjY9bMP+o7iMbe8OmtHht8lPGDFNGuRJSXJVHHLmjHZpQYelXetw7E ZMRzGDUwl+KE6NtkThsgDSz9Uvhu7n8GYWP2NuN/xFm8kF+tbCPZVollJxlcY1TFGi zOOAT+j2SX22Q== From: Benjamin To: 66000@debbugs.gnu.org Subject: [PATCH 1/1] gnu: dune-bootstrap: Update to 3.10.0. Date: Fri, 15 Sep 2023 16:23:08 +0200 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Julien Lepiller , pukkamustard Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66000 Cc: Benjamin X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/ocaml.scm (dune-bootstrap): Update to 3.10.0. old version of dune is kept to be compatible with coq --- gnu/packages/coq.scm | 3 +++ gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++-------- 2 files changed, 26 insertions(+), 8 deletions(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 09ca4030ea..a3f48648e4 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -84,6 +84,7 @@ (define-public coq-core (list ocaml-ounit2 which)) (arguments `(#:package "coq-core" + #:dune ,dune-3.6.1 #:test-target ".")) (properties '((upstream-name . "coq"))) ; also for inherited packages (home-page "https://coq.inria.fr") @@ -103,6 +104,7 @@ (define-public coq-stdlib (arguments `(#:package "coq-stdlib" #:test-target "." + #:dune ,dune-3.6.1 #:phases (modify-phases %standard-phases (add-before 'build 'fix-dune @@ -145,6 +147,7 @@ (define-public coq-ide (name "coq-ide") (arguments `(#:tests? #f + #:dune ,dune-3.6.1 #:package "coqide")) (propagated-inputs (list coq coq-ide-server)) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8ff755aea9..b5713c37d6 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1818,7 +1818,7 @@ (define-public ocaml-stringext (define dune-bootstrap (package (name "dune") - (version "3.6.1") + (version "3.10.0") (source (origin (method git-fetch) (uri (git-reference @@ -1827,7 +1827,7 @@ (define dune-bootstrap (file-name (git-file-name name version)) (sha256 (base32 - "0gv851wxbv5ln20429nj7p92spzxgw8vngg9z94q39aawn6q8lx6")))) + "0zwih4fwwrc8lwi2i4mmps9ng7z6mf46pps2i503lmx0dh8dl606")))) (build-system ocaml-build-system) (arguments `(#:tests? #f; require odoc @@ -1947,6 +1947,21 @@ (define-public ocaml5.0-dune (propagated-inputs (list ocaml5.0-dune-configurator)))) +(define-public dune-3.6.1 + (package + (inherit dune-bootstrap) + (name "dune") + (version "3.6.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/ocaml/dune") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0gv851wxbv5ln20429nj7p92spzxgw8vngg9z94q39aawn6q8lx6")))))) + (define-public ocaml-csexp (package (name "ocaml-csexp") @@ -2180,7 +2195,7 @@ (define-public ocaml-ppx-bitstring (description "This package provides a way to write bitstrings and matching over bitsrings in Erlang style as primitives to the language."))) - + (define-public ocaml-result (package (name "ocaml-result") @@ -2223,7 +2238,7 @@ (define-public ocaml5.0-result `(#:dune ,ocaml5.0-dune-bootstrap #:ocaml ,ocaml-5.0 #:findlib ,ocaml5.0-findlib)))) - + (define-public ocaml-topkg (package (name "ocaml-topkg") @@ -2253,7 +2268,7 @@ (define-public ocaml-topkg configuration and to specify information about the package's distribution, creation and publication procedures.") (license license:isc))) - + (define-public ocaml-rresult (package (name "ocaml-rresult") @@ -3772,7 +3787,7 @@ (define-public ocaml-jsonm the JSON data format. It can process JSON text without blocking on IO and without a complete in-memory representation of the data.") (license license:isc))) - + (define-public ocaml-ocp-indent (package (name "ocaml-ocp-indent") @@ -3807,7 +3822,7 @@ (define-public ocaml-ocp-indent fault-tolerant and approximate parsing. @end itemize") (license license:lgpl2.1))) - + (define-public ocaml-ocp-index (package (name "ocaml-ocp-index") @@ -6138,7 +6153,7 @@ (define-public ocaml-yojson yojson package. The program @code{atdgen} can be used to derive OCaml-JSON serializers and deserializers from type definitions.") (license license:bsd-3))) - + (define-public ocaml-merlin-lib (package (name "ocaml-merlin-lib") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 15 10:29:05 2023 Received: (at 66000) by debbugs.gnu.org; 15 Sep 2023 14:29:05 +0000 Received: from localhost ([127.0.0.1]:44436 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qh9of-0001wW-6s for submit@debbugs.gnu.org; Fri, 15 Sep 2023 10:29:05 -0400 Received: from mout01.posteo.de ([185.67.36.65]:37135) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qh9ob-0001vy-Vq for 66000@debbugs.gnu.org; Fri, 15 Sep 2023 10:29:04 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout01.posteo.de (Postfix) with ESMTPS id 99AD5240027 for <66000@debbugs.gnu.org>; Fri, 15 Sep 2023 16:28:48 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1694788128; bh=eW275YVn2SgpFUFJ2i7z2HTgaWOty6x91KREx+AO6og=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:From; b=oS3a+wyuvGLTpsW39DDDYyPhnhZPrBU/O4XydifvBxgnnJLAUYyr2/eixnV/EHmXd UnJSs7J+f2DbsSaa6RRL4vUPdWCK9GaItfbYMquwYHsFocOCIaIwmf8h7a4o+qun+t bck5lLdq1+mGqEJX1PUIZkW8VVdQqDCLPa9TAGFIFv7r77r7VlGt/duboxS3sJeeBu oXkMwwUEKkJrNmG54h0VsBgzShbY98Urde/aKXdL2NNHZClmJ0IUXrXXHDPrO0p1Tr yo94nZZYSmUgKeDKb8kK5dNuFB4zRYPYu82XdNchEL+oOpRZ6PnvSRyMZl3V4Nm+9n 4Zl9dsLV55sfg== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4RnGlM678Sz6tvs; Fri, 15 Sep 2023 16:28:47 +0200 (CEST) References: From: pukkamustard To: Benjamin Subject: Re: [bug#66000] [PATCH 0/1] update dune to 3.10 Date: Fri, 15 Sep 2023 14:25:42 +0000 In-reply-to: Message-ID: <86cyyjjysg.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 66000 Cc: Julien Lepiller , 66000@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi, There's a patch series to update the OCaml compiler, dune and the Coq clique here: https://issues.guix.gnu.org/64249 Maybe we can close this issue for #64249? Benjamin writes: > This will allow me to push a series of patch to bump eio to 0.12 (as it > depends on dune 3.9 [0] Nice, looking forward to the patches. Regards, pukkamustard From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 15 11:54:22 2023 Received: (at 66000) by debbugs.gnu.org; 15 Sep 2023 15:54:22 +0000 Received: from localhost ([127.0.0.1]:44515 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhB9C-00070X-FJ for submit@debbugs.gnu.org; Fri, 15 Sep 2023 11:54:22 -0400 Received: from mail.uvy.fr ([146.59.197.40]:37910) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhB97-00070F-F8 for 66000@debbugs.gnu.org; Fri, 15 Sep 2023 11:54:21 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=uvy.fr; s=202105; t=1694793244; bh=QNdkz5KiShcGJvwEcK9XibwslCo9k7XQDY36OzBkm4s=; h=Date:To:Cc:Subject:From:References:In-Reply-To; b=qKf5cAm8MCYOrKFTfsOk8v6YPGrdV9QO2Nxjo5/rwy532uL75rUV6CAZFpfVqGI6W smgdQM+8wdh/aV0M53PgYZBdOCoOClkpqSWveSOseGptw2YEQBX8nyPL66jVHsuQz9 HByaFgEeu2oQ4R6OmS3xLPoYlYfPyOx1ksm1groN3y/vf6SJyrt6rc0zSZjtQkx4Fa Pi+wfXTjP1QMDGplpMaA4d5LG0bgoOATrp1LVlN00/hDsS9Llz99gOIEhiO9OsvvlS lQGauP1Qa8Tk07XrA3KQfRr8yEPsQHHicUyKBqqO6EMnZcydcbjpvdrr7HErK6SHsi meOFXkhAxB0mg== Mime-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Fri, 15 Sep 2023 17:54:04 +0200 Message-Id: To: "pukkamustard" Subject: Re: [bug#66000] [PATCH 0/1] update dune to 3.10 From: "Benjamin" References: <86cyyjjysg.fsf@posteo.net> In-Reply-To: <86cyyjjysg.fsf@posteo.net> X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66000 Cc: Julien Lepiller , 66000@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi > There's a patch series to update the OCaml compiler, dune and the Coq > clique here: > > https://issues.guix.gnu.org/64249 > > Maybe we can close this issue for #64249? Oh I looked for dune open issues but did not find that one. Sure we can merge it and close this issue From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 15 15:11:24 2023 Received: (at 66000-done) by debbugs.gnu.org; 15 Sep 2023 19:11:24 +0000 Received: from localhost ([127.0.0.1]:44772 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhEDs-0006wz-K0 for submit@debbugs.gnu.org; Fri, 15 Sep 2023 15:11:24 -0400 Received: from mail-wm1-x32c.google.com ([2a00:1450:4864:20::32c]:41121) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhEDm-0006wH-QS for 66000-done@debbugs.gnu.org; Fri, 15 Sep 2023 15:11:19 -0400 Received: by mail-wm1-x32c.google.com with SMTP id 5b1f17b1804b1-3fe4f3b5f25so7251695e9.0 for <66000-done@debbugs.gnu.org>; Fri, 15 Sep 2023 12:11:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1694805066; x=1695409866; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=YAZmY/34pE5ecHt6qlSrVKjSlr7YG0QZ/ByDmHNzB3M=; b=VgVXFTbXoZI5+DYMbo3MdjizZDd8uWv04t4a8vwmKI98MazzpUQcmhOujYGmZOczOg kSuffhwT/4J1PCO9o4vUASONjvbsLMfrqUXKyysL1T/ZxEwm0z0xMKBMQwk0YznS13oY 6/hGt9IBRbGhHamQZIW/CjsI8iNXbi40meqOODjjr0Zh6+WTjTEL8Yxf3KvNp2+Ia/Ag JzZhLF3vLAa9DxnL/T9RLZFEEimEwXOncDOP4nQHHiIiUvggQbJLsq18t9GWAl9/HJZ/ U+NDsoEbbLZdYtR+f8iFBAXAxH+yovbP7/PShHbmFnQRvf7ycWSpeMbc9XFsKpWALZpT MzHQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694805066; x=1695409866; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=YAZmY/34pE5ecHt6qlSrVKjSlr7YG0QZ/ByDmHNzB3M=; b=rAg55wInWMB6mEyfEQrYfWHXjMpRW73eBjRlzMiWUuOXUczExupXiSIZ2PfOwrWKrM QCAmbXzHwGNwV+id1SW0DLFRG6xsaIRDkrcuFtV/bUiDR0bEG8xSHsNNR8BtDEDVIulI s7xgOuje8f2Mltrt1E5cDsO5FvSRi89D8oBGyK7wEWXV/SmU0w48UijwiPdTUrR0wOwY vg/ZcnJ6Y9GVKuEEwFOVGRp49bvaZd92Buz+QsKt/rvnfaZdql2+GElRgCghe+n1ZH8H Lswc1KAlw/mKHahiZDoDbKsHyEKIeOsCSFeR3kwGcYXWovcjrAb8ZQU3D4w9Jz2CBlwm bNfA== X-Gm-Message-State: AOJu0YwBksYMPegeDu5iJcr0cfT8kDI07JTVsO3uNvNXXuCnEmsLH9UD ohz/GVoz6UzbVp4CAjeyyGHAB6llXSg= X-Google-Smtp-Source: AGHT+IEDrGf3Xy0X7VeaEWY3ia+eQ0hmxs7y++bkRTBg9CROWQbUdqpxf3A4m5ix5OC78jvN+gNctg== X-Received: by 2002:a5d:484a:0:b0:31a:ea18:c516 with SMTP id n10-20020a5d484a000000b0031aea18c516mr2122871wrs.3.1694805066467; Fri, 15 Sep 2023 12:11:06 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id u8-20020a5d6ac8000000b003179b3fd837sm5091975wrw.33.2023.09.15.12.11.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 15 Sep 2023 12:11:05 -0700 (PDT) From: Simon Tournier To: Benjamin , pukkamustard Subject: Re: [bug#66000] [PATCH 0/1] update dune to 3.10 In-Reply-To: References: <86cyyjjysg.fsf@posteo.net> Date: Fri, 15 Sep 2023 18:49:24 +0200 Message-ID: <87il8b9yaz.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66000-done Cc: Julien Lepiller , 66000-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi, On Fri, 15 Sep 2023 at 17:54, "Benjamin" wrote: >> There's a patch series to update the OCaml compiler, dune and the Coq >> clique here: >> >> https://issues.guix.gnu.org/64249 >> >> Maybe we can close this issue for #64249? > > Oh I looked for dune open issues but did not find that one. > Sure we can merge it and close this issue I am closing #66000=E2=80=A6 nice id number btw. ;-) Cheers, simon From unknown Tue Jun 24 17:29:26 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 14 Oct 2023 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator