From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id EPY+JC4M4mIJpAAAbAwnHQ (envelope-from ) for ; Thu, 28 Jul 2022 06:10:22 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id ODImJC4M4mI3RwEAauVa8A (envelope-from ) for ; Thu, 28 Jul 2022 06:10:22 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 4903A1534F for ; Thu, 28 Jul 2022 06:10:22 +0200 (CEST) Received: from localhost ([::1]:42238 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oGuqr-0001VX-En for larch@yhetil.org; Thu, 28 Jul 2022 00:10:21 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56576) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oGuqZ-0001VE-PS for guix-patches@gnu.org; Thu, 28 Jul 2022 00:10:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39326) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oGuqZ-0001x2-GM for guix-patches@gnu.org; Thu, 28 Jul 2022 00:10:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oGuqZ-0005ba-9s for guix-patches@gnu.org; Thu, 28 Jul 2022 00:10:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#56806] [PATCH 3/9] gnu: Add ocaml-sha. References: <9PX8REXHYFolHkT-TXF_SZcRFDEe1-1KwK9riBoz1tnsKV2raznmLO3YTlzbpdyJ9dBOqnpcaUomHmLfOWjytFrkLEvIW_upqCAA_-byN50=@protonmail.com> In-Reply-To: <9PX8REXHYFolHkT-TXF_SZcRFDEe1-1KwK9riBoz1tnsKV2raznmLO3YTlzbpdyJ9dBOqnpcaUomHmLfOWjytFrkLEvIW_upqCAA_-byN50=@protonmail.com> Resent-From: John Kehayias Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 28 Jul 2022 04:10:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 56806 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "56806@debbugs.gnu.org" <56806@debbugs.gnu.org> Received: via spool by 56806-submit@debbugs.gnu.org id=B56806.165898139121512 (code B ref 56806); Thu, 28 Jul 2022 04:10:03 +0000 Received: (at 56806) by debbugs.gnu.org; 28 Jul 2022 04:09:51 +0000 Received: from localhost ([127.0.0.1]:57307 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oGuqN-0005at-ER for submit@debbugs.gnu.org; Thu, 28 Jul 2022 00:09:51 -0400 Received: from mail-4322.protonmail.ch ([185.70.43.22]:46711) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oGuqL-0005ae-Dp for 56806@debbugs.gnu.org; Thu, 28 Jul 2022 00:09:50 -0400 Date: Thu, 28 Jul 2022 04:09:34 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1658981383; x=1659240583; bh=99JXH3kilz5z+1wDD+PRDW6lCXW5YWYjyJjmvp7x+XE=; h=Date:To:From:Reply-To:Subject:Message-ID:Feedback-ID:From:To:Cc: Date:Subject:Reply-To:Feedback-ID:Message-ID; b=K8+65PBvxZFwCyOFRV35QY1z428aJPTEeklhe65W0P/2KmW9LzNfVy4/AY+GlKCm4 KnBmdxIQ/OXOW4aB8FcThxwVE3Xgou7uBg4ZiMXrL1te1qCcNXxeEFfgElSaCt23/S V/yDW7WueWiwsIHNmdgEFbInTtoBGGnWCFM6J1SMMsBophSslrVscB2MUsHPJ3xXtF 2+5hg8C+d3hbfSaCrdNRya0XYeJ+M7zz/wE8sn5sfqIyjGcijkoY5mC8+k1DsVVpW2 kMIv/wWt9jBThH96vfEERjjhZpINiZBDOueaLKaYkaeDLQQP17EUDN48NE7clRGjyN X0EMC0u0bgP+g== Message-ID: Feedback-ID: 7805494:user:proton MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="b1_LTDbqXyEUdKLHVcM2IG8qJr0Cd2e6SgdKw0TH9HHo" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" Reply-to: John Kehayias X-ACL-Warn: , John Kehayias via Guix-patches From: John Kehayias via Guix-patches via X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1658981422; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=99JXH3kilz5z+1wDD+PRDW6lCXW5YWYjyJjmvp7x+XE=; b=s04+3a3Sb8xQ2+/5CNDo0+wEsOHDza/GGQTnyaPk6wO87pM0X8ka1MDvyzycmcO0QsLDA/ R2MAG3yKR5lwAWy/js0vCDxdjePNQr0ta+JB2IP82H8YiWGY7a6deZILQsif0R/2aEtu7C G93nij0JMex0VGOj/BPieoC28AmQZgcCuAfYziu0gXugGRFRYN4JtiKgaPMD2tu/KIycKZ hkQmdLw3lhE9ZtBhrxcSV4XdedhqT1ct2L/O8ktNOOgOjgtRrMRrbxHF06dSxiLwDIshCH iyhyLRX6Y+tiQ92Pg9YYcq11WKqDzvx08pG5hk66dbhwT+fz8AnbkoptFilmKQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1658981422; a=rsa-sha256; cv=none; b=UZ5rNEwTcaGMHsBMEegTMDHj8CJDg7FNHCwZbek8qk8DEulqq1fH2+BIELUMwsLEZ4IGwh S7kZ6kMDTaPt5kUpq1npuJ29MjUkf5vyY7Lff1pdYxfG2wWkp8zE0evA2YT88bWjKTKrLf pBoKmqxcRH+tssM9HjKnlm8gIJlfOhC6Dy96U7JsBxIqlkzu/2izSG+Rhl9RTviI+SV1Ue 6pPWoCSWqd8pq88RI3WbXuaVUcz99r+rqFMVkHGO3TVMAIFdBfbQyTPbzlCoHI6BMiR1Y9 ZunMSBBjkSyBMHMrmw/SGJdltTq4vDvw3gqQJfw7wo1VneJls869ivUpplysUA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=protonmail.com header.s=protonmail3 header.b=K8+65PBv; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.63 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=protonmail.com header.s=protonmail3 header.b=K8+65PBv; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 4903A1534F X-Spam-Score: -2.63 X-Migadu-Scanner: scn0.migadu.com X-TUID: 7q1s5/X77ZCF This is a multi-part message in MIME format. --b1_LTDbqXyEUdKLHVcM2IG8qJr0Cd2e6SgdKw0TH9HHo Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Empty Message --b1_LTDbqXyEUdKLHVcM2IG8qJr0Cd2e6SgdKw0TH9HHo Content-Type: text/x-patch; name=0003-gnu-Add-ocaml-sha.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=0003-gnu-Add-ocaml-sha.patch RnJvbSAyNjhlOTc2YjQ0MTBiZTg5ZThlNjU1NzA0NzMyZTQyYTc0ZjZhNjU0IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBKb2huIEtlaGF5aWFzIDxqb2huLmtlaGF5aWFzQHByb3Rvbm1h aWwuY29tPgpEYXRlOiBXZWQsIDI3IEp1bCAyMDIyIDIzOjMxOjU3IC0wNDAwClN1YmplY3Q6IFtQ QVRDSCAzLzldIGdudTogQWRkIG9jYW1sLXNoYS4KCiogZ251L3BhY2thZ2VzL29jYW1sLnNjbSAo b2NhbWwtc2hhKTogTmV3IHZhcmlhYmxlLgotLS0KIGdudS9wYWNrYWdlcy9vY2FtbC5zY20gfCAy MiArKysrKysrKysrKysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgMjIgaW5zZXJ0aW9ucygr KQoKZGlmZiAtLWdpdCBhL2dudS9wYWNrYWdlcy9vY2FtbC5zY20gYi9nbnUvcGFja2FnZXMvb2Nh bWwuc2NtCmluZGV4IGRhNzA4NmFiMmIuLjg2MjBkMmJkZTMgMTAwNjQ0Ci0tLSBhL2dudS9wYWNr YWdlcy9vY2FtbC5zY20KKysrIGIvZ251L3BhY2thZ2VzL29jYW1sLnNjbQpAQCAtNTkzMCw2ICs1 OTMwLDI4IEBAIChkZWZpbmUtcHVibGljIG9jYW1sLW9jdGF2aXVzCiAgICAgKGRlc2NyaXB0aW9u ICJPY3Rhdml1cyBpcyBhIGxpYnJhcnkgdG8gcGFyc2UgdGhlIGBvY2FtbGRvY2AgY29tbWVudCBz eW50YXguIikKICAgICAobGljZW5zZSBsaWNlbnNlOmlzYykpKQogCisoZGVmaW5lLXB1YmxpYyBv Y2FtbC1zaGEKKyAgKHBhY2thZ2UKKyAgICAobmFtZSAib2NhbWwtc2hhIikKKyAgICAodmVyc2lv biAiMS4xNS4yIikKKyAgICAoc291cmNlIChvcmlnaW4KKyAgICAgICAgICAgICAgKG1ldGhvZCB1 cmwtZmV0Y2gpCisgICAgICAgICAgICAgICh1cmkgKHN0cmluZy1hcHBlbmQgImh0dHBzOi8vZ2l0 aHViLmNvbS9kanM1NS9vY2FtbC1zaGEvcmVsZWFzZXMvZG93bmxvYWQvIgorICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgIHZlcnNpb24gIi9zaGEtIiB2ZXJzaW9uICIudGJ6IikpCisg ICAgICAgICAgICAgIChzaGEyNTYKKyAgICAgICAgICAgICAgIChiYXNlMzIKKyAgICAgICAgICAg ICAgICAiMWR6emhjaGtubmJycHA1czgxaXFidm1xcDRzMGw3NXlycThzbmo3MGNoM3drYXJtZ2c5 eiIpKSkpCisgICAgKGJ1aWxkLXN5c3RlbSBkdW5lLWJ1aWxkLXN5c3RlbSkKKyAgICAocHJvcGFn YXRlZC1pbnB1dHMgKGxpc3Qgb2NhbWwtc3RkbGliLXNoaW1zIG9jYW1sLW9kb2MpKQorICAgIChu YXRpdmUtaW5wdXRzIChsaXN0IG9jYW1sLW91bml0MikpCisgICAgKGhvbWUtcGFnZSAiaHR0cHM6 Ly9naXRodWIuY29tL2RqczU1L29jYW1sLXNoYSIpCisgICAgKHN5bm9wc2lzICJPQ2FtbCBiaW5k aW5nIHRvIHRoZSBTSEEgY3J5cHRvZ3JhcGhpYyBmdW5jdGlvbnMiKQorICAgIChkZXNjcmlwdGlv bgorICAgICAiVGhpcyBpcyB0aGUgYmluZGluZyBmb3IgU0hBIGludGVyZmFjZSBjb2RlIGluIE9D YW1sLCBvZmZlcmluZyB0aGUgc2FtZQoraW50ZXJmYWNlIGFzIHRoZSBNRDUgZGlnZXN0IGluY2x1 ZGVkIGluIHRoZSBPQ2FtbCBzdGFuZGFyZCBsaWJyYXJ5LiAgSXQKK2N1cnJlbnRseSBwcm92aWRl cyBTSEExLCBTSEEyNTYgYW5kIFNIQTUxMiBoYXNoIGZ1bmN0aW9ucy4iKQorICAgIChsaWNlbnNl IGxpY2Vuc2U6aXNjKSkpCisKIChkZWZpbmUtcHVibGljIG9jYW1sLXBweC1oYXNoCiAgIChwYWNr YWdlCiAgICAgKG5hbWUgIm9jYW1sLXBweC1oYXNoIikKLS0gCjIuMzcuMQoK --b1_LTDbqXyEUdKLHVcM2IG8qJr0Cd2e6SgdKw0TH9HHo--