From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id KI30BTLweGPDUAEAbAwnHQ (envelope-from ) for ; Sat, 19 Nov 2022 16:03:14 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id YALfBDLweGMwfgAAG6o9tA (envelope-from ) for ; Sat, 19 Nov 2022 16:03:14 +0100 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 963AE28A2 for ; Sat, 19 Nov 2022 16:03:13 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1owPN5-0003FC-0d; Sat, 19 Nov 2022 10:03:07 -0500 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 1owPN0-0003EI-E3 for guix-patches@gnu.org; Sat, 19 Nov 2022 10:03:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1owPN0-0005yi-4q for guix-patches@gnu.org; Sat, 19 Nov 2022 10:03:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1owPMz-0008Lq-UD for guix-patches@gnu.org; Sat, 19 Nov 2022 10:03:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#59354] [PATCH] gnu: Add texlive-mathdots. References: <20221118102010.86581-1-yarl-baudig@mailoo.org> Resent-From: "yarl baudig" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 19 Nov 2022 15:03:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 59354 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: mail@nicolasgoaziou.fr Cc: 59354@debbugs.gnu.org Received: via spool by 59354-submit@debbugs.gnu.org id=B59354.166887014532042 (code B ref 59354); Sat, 19 Nov 2022 15:03:01 +0000 Received: (at 59354) by debbugs.gnu.org; 19 Nov 2022 15:02:25 +0000 Received: from localhost ([127.0.0.1]:40904 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1owPMO-0008Kk-HY for submit@debbugs.gnu.org; Sat, 19 Nov 2022 10:02:24 -0500 Received: from msg-1.mailo.com ([213.182.54.11]:49974) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1owPMK-0008KV-33 for 59354@debbugs.gnu.org; Sat, 19 Nov 2022 10:02:23 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=mailoo.org; s=mailo; t=1668870130; bh=zun02xdFDd3BEpsYq4CQdcDSQa77yUBqQEX4u77r1YQ=; h=X-EA-Auth:From:To:Cc:Date:Subject:MIME-Version:X-Mailer: Message-ID:In-Reply-To:Content-Type:Content-Transfer-Encoding; b=AOVTrEIQ2cLPY3EM2INgXSs3DeSUmGDnWMeyqnHqk3DltRLqyjLb0eUSRhSgmfJo4 DNbKlOXUCIqLHtQkoVWiLrIg8hyeBHcwPCX/5wQ/1htq4IWLK1Z/I3xG+vAWLv6Ly1 uCkk7v9bQOnWqN91MZrdWZ+L2kx4C/8DXkF4cWxA= Received: by www.mailo.com with http webmail; Sat, 19 Nov 2022 16:02:10 +0100 (CET) X-EA-Auth: Tg0WNBrcZ4qnbkHjAEdIQ2ARTlvZuBp1EhnPU+NLTTZoOzAl6DnxfBuQVZrMqNMw9bcdAQzi9n99vnuhEP/Q7PFMd/Ex4oAI From: "yarl baudig" Date: Sat, 19 Nov 2022 16:02:10 +0100 (CET) X-Priority: 3 MIME-Version: 1.0 X-Mailer: COMS/EA22.05/r20221103 Message-ID: In-Reply-To: <87iljbp9wo.fsf@nicolasgoaziou.fr> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1668870193; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: 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=0ydfynrGDbWNlMvB1hO5r/PqLLhrf6PUvmndO3zUKIc=; b=jeg5gpEwFxtN3WrN1p8R2dywUXApgY3L9kL99Ib+/OqpPEgNYx93xIQ90zzFwr5jWROOyR vXyp+y5wd5QFLvJzGpPxirOGHqPCwnOhD9uXlv4Qj2Z0ZP+ffyLvrklJqGETbgZFyksJ9l lRIArYUxQkOh1O7VxI8XQInZGgtVa2TrFmJz6Uo8F/Lr1B1vqIr3QrhLrlFVLISrSbXkHj qdsk10rWMEsI7UTuXTXJ6hmvLmF3uLDX4SaqUk+JBGA6u9L+nIzN0afl8k12fzQ2LL7Vj2 XgzHVP1WVMRfKtsYWcAsUctSLPHR22+KsGn5uWgAV3qDDdFNwt2AvH8Z19T/GA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1668870193; a=rsa-sha256; cv=none; b=nqpyhIxWmjigZY8HWc4OiKvYCBV4bXER5KurcW+O6KEz5H63Pu6RwgamwxAE/VwOw1RlJ/ Fm++6/FDLoeQfNvXJ7pZcCYL2lxXque0YVbZ2wVIwu0Z8YoSz/uTTy0ZwWNmzjXohZX7RB /FB7k1i7DFV4kVupz+v9MQRY2dbqQRErHjgeOsW8gkmxt+2coN7UGiXQwZAzjyNqm2Vmxl 8K3q9R88IeMWyKHwfVNY8UAG9C62yIQBn4RLhSUGa77ClUFIEz+9GBE8tWx7MIB1JRfpLg uaSmW5dxrXuOmbGzAo6wSUkKk4C7qP6BKPWbuSNvvMeupRlabVZKlLSsB5t65Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=mailoo.org header.s=mailo header.b=AOVTrEIQ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=mailoo.org (policy=none); 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: 6.99 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=mailoo.org header.s=mailo header.b=AOVTrEIQ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=mailoo.org (policy=none); 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: 963AE28A2 X-Spam-Score: 6.99 X-Migadu-Scanner: scn0.migadu.com X-TUID: VhMfH/Dx+fbb Hello, > Thank you. Some comments follow. >=20 > > + (package > > + (inherit (simple-texlive-package > > + "texlive-mathdots" >=20 > Indentation looks wrong here. I am not sure how it's wrong. Path will follow. Is it better? >=20 > > + (list "doc/generic/mathdots/" > > + "source/generic/mathdots/" > > + "tex/generic/mathdots/") > > + (base32 > > + "1jaffj343p1chdxs2g7s6lpckvihk0jfw22nw0vmijyjxfiy9yg0"= ) > > + #:trivial? #t)) >=20 > This doesn't look like a trivial package since it contains a ".ins" > file. You need to generate the ".tex" and ".sty" files from it. >=20 I think it is, "tex/generic/mathdots/" in tug repo contains ".tex" and ".s= ty" and if I compile, they are here. First texlive package I package. I tried `guix import texlive mathdots` th= en amended by looking at other texlive packages. Please show me if I am wro= ng. > > + (home-page "https://ctan.org/macros/generic/mathdots") > > + (synopsis "Commands to produce dots in math that respect font size= ") > > + (description > > + "Redefines \\ddots and \\vdots, and defines \\iddots. The dots= =20 > produced by \\iddots >=20 > The first sentence should contain a subject. Also \\ddots -> > @code{\\dots} >=20 > Could you send an updated patch? >=20 > Regards, > --=20 > Nicolas Goaziou >=20 Patch is coming, please tell me if it good.