From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id mNbIBAa1BGWl7AAA9RJhRA:P1 (envelope-from ) for ; Fri, 15 Sep 2023 21:48:22 +0200 Received: from aspmx1.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id mNbIBAa1BGWl7AAA9RJhRA (envelope-from ) for ; Fri, 15 Sep 2023 21:48: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 9851D3D659 for ; Fri, 15 Sep 2023 21:48:21 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b="GkrMW/Si"; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1694807302; a=rsa-sha256; cv=none; b=qwzJK8Zlpmi1R5fwRWRKWexGu1sfzvnshCWgd+Han91Wp8WoCxaW4bet2/WNIfRen5WF3D hOxvPvzaN0dDnUs7Uo5ybUBG7cfr16KDb6X8wZbIQhxGOM7lrHkRRgC7ZIqylpuUhmqp0b KzN3idzNDVMwxyvfaHwfn7oKoQLHd27YC/QUiJimn7W6CLQAzuwJPBWSaMF3blLNO7Mv+r hYlY7wBJ7wTH6G1GAnRn6ROFl3DBLBk+6YIVxYPwF0jN47HRCu+a788cQLJZxJuu4d4WM4 iOVZKq0bSHcgCp/iXYy9yb06n8N8vGj3YL1dvpnd7KEVBcJSSTjP6csb+96uow== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1694807302; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: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=znUufqRkD9pQfGYoU2s7pcDwFN5jcU7nJjHXi58SdQg=; b=gXn6YkOdn78JtsvxP1DoiT8Io3FR2VptiLORB4XohepIEOUpctVm/mkWhtvqTbsx/BLePJ FZrEYspHwSc4Tis4v7HJZszCk4rumZPR4JIc2L98GNzFRUuzFk65j3+/L/kRjQUQlvsiGn eWlnp6yOb1iqU6054IFYkKtOnT6stzrbamoAmvU8JC5YiM5vIlyFY2lurGeycx4yZUCjAh zo/QDXozb/31jb3RKcFgzmde4mg//bmcfvewgy39ZbADXUaoroKVgY/gWABQnyr4TQoV7Q M9/sRt+9mPDNclNo0HTRZHZYKKYRsw4GUHgCAxYHX9Z/ahTmFMmilmjxQCCipQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b="GkrMW/Si"; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qhEER-00082a-Oq; Fri, 15 Sep 2023 15:11:59 -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 1qhEEP-000819-Vu for guix-patches@gnu.org; Fri, 15 Sep 2023 15:11:58 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qhEEP-0001hH-Ng for guix-patches@gnu.org; Fri, 15 Sep 2023 15:11:57 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qhEEW-0006yh-8K for guix-patches@gnu.org; Fri, 15 Sep 2023 15:12:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#66013] [PATCH 2/4] gnu: bap: Update to 2.6.0-alpha-0.f995d28. Resent-From: Simon Tournier Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 15 Sep 2023 19:12:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66013 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 66013@debbugs.gnu.org Cc: Simon Tournier Received: via spool by 66013-submit@debbugs.gnu.org id=B66013.169480507726695 (code B ref 66013); Fri, 15 Sep 2023 19:12:04 +0000 Received: (at 66013) by debbugs.gnu.org; 15 Sep 2023 19:11:17 +0000 Received: from localhost ([127.0.0.1]:44767 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhEDk-0006wP-To for submit@debbugs.gnu.org; Fri, 15 Sep 2023 15:11:17 -0400 Received: from mail-wm1-x332.google.com ([2a00:1450:4864:20::332]:38159) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhEDb-0006vM-Nv for 66013@debbugs.gnu.org; Fri, 15 Sep 2023 15:11:10 -0400 Received: by mail-wm1-x332.google.com with SMTP id 5b1f17b1804b1-4047ef37f55so2076405e9.1 for <66013@debbugs.gnu.org>; Fri, 15 Sep 2023 12:11:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1694805055; x=1695409855; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=znUufqRkD9pQfGYoU2s7pcDwFN5jcU7nJjHXi58SdQg=; b=GkrMW/Si91PaL3TVlQIP6YuMKFNa/DxjYfvo6eGqjY1lEtP8YoGYiqU15IzJ+Ma1CT ZNsWDXFp+snLy/thiyaxOoPKSBVykLwDTA9M80y+0u+9BZ6ezGxJKLbrwo9nDq0EgZQO 1+XGYffe0pxT3Fj7Vi2f4Fx+gF+r4kLbqEdD7EYQs1qe3pKJQu9SyhI+Qxcd3Eibj2fq gII7QgCsbgjLnVvWbcp/f70K1PFWTgrJ+eGsR092nQKG5UucI6zqmNYXUspROIcXG6f4 KSXi5u3qX3DwGat6GvORQfYqoSFY4mUWRS4IUxn8eXV5GIheA7KnDSKaQCBC2WY9Ir3/ EY6w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694805055; x=1695409855; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=znUufqRkD9pQfGYoU2s7pcDwFN5jcU7nJjHXi58SdQg=; b=dEN8YMJv7GmgdFZE9cAIcoUi45idXME6JVwnTbW/76oBwIMNHQ7Fr4VF5V+Y8pQL6P n0NjT5KG2jWweNY6GrtFe+nRcay05d2YIbhNFQP15/1qv/qYeklUCQxohvVXaE/2p9u6 7Od1Czk0zzUK8O6vFf9oMWYKTUFP6JbzJT0fcFKhzqS0dhbw1ofQhDn5U5WBh2sH/mI1 2BkNv57M74HDp333lbQGhOyHWSuPNVrtiGvjpCUSm9ud3THkugTXv8siZKG6lrfLTAgx XM5zttILKv8PiiaEl1KRKhGQfVk7vXnvSdgGNJpjVP7h+CQyexFU59zYJazcpzV5qn1l SP8g== X-Gm-Message-State: AOJu0YxklPEvsuO5Z87icOPmAUTDS0OogBR/g/Ptzmi3zoY8OBFCky1p 0dwz364eE7CDe0Ajtk6fG8H2vArfgy8= X-Google-Smtp-Source: AGHT+IHB5PK+j9q/0c3JXZcBOY+xaAa2osQr2DyrIiiQuFRnE0QILcZDiH/7pvAsIr8GRnMqoALWew== X-Received: by 2002:adf:e592:0:b0:31a:d2f9:736b with SMTP id l18-20020adfe592000000b0031ad2f9736bmr2176304wrm.1.1694805055145; Fri, 15 Sep 2023 12:10:55 -0700 (PDT) Received: from localhost.localdomain ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id s10-20020a5d510a000000b0031971ab70c9sm5142381wrt.73.2023.09.15.12.10.53 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 15 Sep 2023 12:10:53 -0700 (PDT) From: Simon Tournier Date: Fri, 15 Sep 2023 21:10:38 +0200 Message-Id: X-Mailer: git-send-email 2.39.2 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -4.61 X-Spam-Score: -4.61 X-Migadu-Queue-Id: 9851D3D659 X-Migadu-Scanner: mx2.migadu.com X-TUID: I5/qeI0Qaa9D * gnu/packages/ocaml.scm (bap): Update to 2.6.0-alpha-0.f995d28. --- gnu/packages/ocaml.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c026433b0ef1..0f4b72e29799 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5325,11 +5325,12 @@ (define-public ocaml-ppx-bap (define-public bap (let (;; Let pin one commit because -alpha is subject to change. + ;; The last stable release v2.5.0 is from July 2022. (revision "0") - (commit "a972f8a419294dfb21847db5172ba58c5d7767eb")) + (commit "f995d28a4a34abb4cef8e0b3bd3c41cd710ccf1a")) (package (name "bap") - (version (git-version "2.5.0-alpha" revision commit)) + (version (git-version "2.6.0-alpha" revision commit)) (home-page "https://github.com/BinaryAnalysisPlatform/bap") (source (origin (method git-fetch) @@ -5339,7 +5340,7 @@ (define-public bap (file-name (git-file-name name version)) (sha256 (base32 - "1fw9pp0xnssc08qqfkcafffap4f46hw7zmk80gif5yc4nazga8w5")))) + "1zfkc8nagf8kvxbypalbhf6gs0c7i48zx53hlpak2ipjwhvm5im5")))) (build-system ocaml-build-system) (arguments (list -- 2.38.1