From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 8g9FKuQPLV8WaQAA0tVLHw (envelope-from ) for ; Fri, 07 Aug 2020 08:25:08 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id skenJeQPLV+YNgAA1q6Kng (envelope-from ) for ; Fri, 07 Aug 2020 08:25:08 +0000 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 EF0F59404D3 for ; Fri, 7 Aug 2020 08:25:07 +0000 (UTC) Received: from localhost ([::1]:54778 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k3xgY-0001NT-UQ for larch@yhetil.org; Fri, 07 Aug 2020 04:25:06 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:48610) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k3xgV-0001ND-0l for guix-patches@gnu.org; Fri, 07 Aug 2020 04:25:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:44090) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1k3xgU-0003Gy-NG for guix-patches@gnu.org; Fri, 07 Aug 2020 04:25:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1k3xgU-0001dx-JV for guix-patches@gnu.org; Fri, 07 Aug 2020 04:25:02 -0400 Subject: bug#42734: [PATCH 1/2] gnu: android: Export android-platform-version. Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Fri, 07 Aug 2020 08:25:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 42734 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: Denis 'GNUtoo' Carikli Cc: 42734-done@debbugs.gnu.org Mail-Followup-To: 42734@debbugs.gnu.org, othacehe@gnu.org, GNUtoo@cyberdimension.org Received: via spool by 42734-done@debbugs.gnu.org id=D42734.15967886856281 (code D ref 42734); Fri, 07 Aug 2020 08:25:02 +0000 Received: (at 42734-done) by debbugs.gnu.org; 7 Aug 2020 08:24:45 +0000 Received: from localhost ([127.0.0.1]:55635 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k3xgD-0001dC-ER for submit@debbugs.gnu.org; Fri, 07 Aug 2020 04:24:45 -0400 Received: from eggs.gnu.org ([209.51.188.92]:38482) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k3xgB-0001cy-M9 for 42734-done@debbugs.gnu.org; Fri, 07 Aug 2020 04:24:43 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:38422) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k3xg5-0003Dg-VO; Fri, 07 Aug 2020 04:24:37 -0400 Received: from pop.92-184-100-121.mobile.abo.orange.fr ([92.184.100.121]:42858 helo=meru) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1k3xg5-0001QC-9u; Fri, 07 Aug 2020 04:24:37 -0400 From: Mathieu Othacehe References: <20200807024423.1638d242@primarylaptop.localdomain> <20200807021027.21817-1-GNUtoo@cyberdimension.org> Date: Fri, 07 Aug 2020 10:24:34 +0200 In-Reply-To: <20200807021027.21817-1-GNUtoo@cyberdimension.org> (Denis Carikli's message of "Fri, 7 Aug 2020 04:10:26 +0200") Message-ID: <87y2mqoocd.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 1.3 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: 0.3 (/) 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" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: 0.29 X-TUID: b7l7FW4qiPQE Hello Denis, > ;; The version tag is consistent between all repositories. > -(define (android-platform-version) "7.1.2_r36") > +(define-public (android-platform-version) "7.1.2_r36") We could turn this procedure into a variable. Anyway, pushed those two patches, Thanks, Mathieu