Authentication-Results: name.execsw.org; dkim=pass (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=g7yv0j1e; dkim=pass (1024-bit key) header.d=netbsd.org header.i=@netbsd.org header.b=YKTnl7wo Received: by mail.netbsd.org (Postfix, from userid 605) id 78F8284ED0; Fri, 3 May 2024 06:48:04 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org; s=20240131; t=1714718884; bh=v4sHOfYo9ePCuftfv9vZT6t+g5ChVoAG1rD6dTLUyHY=; h=Date:From:Subject:To:Reply-To:List-Id:List-Unsubscribe; b=g7yv0j1eBrvB38i0aqxDQAtfEhOnlq82VvdA/JUkA9mODbjvgZanVvxs57BVyLRV2 MnMTzOwB1DGEjU12/87BAKgobV6b2l0Wvs8Uh/tZJflKxnRXy1bmPicIfW62VnT18y 7lGdpe2+C05/uZy5MXCvvj3p+dplDBaTJfTdgrAw= Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 6AB4084CD9 for ; Fri, 3 May 2024 06:48:03 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Authentication-Results: mail.netbsd.org (amavisd-new); dkim=pass (1024-bit key) header.d=netbsd.org Received: from mail.netbsd.org ([IPv6:::1]) by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025) with ESMTP id DLJqfvpXMSIP for ; Fri, 3 May 2024 06:48:03 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id BB52484CCF for ; Fri, 3 May 2024 06:48:02 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=netbsd.org; s=20240131; t=1714718883; bh=v4sHOfYo9ePCuftfv9vZT6t+g5ChVoAG1rD6dTLUyHY=; h=Date:From:Subject:To:Reply-To; b=YKTnl7wo8jJMJEl43BBY/ti8Q8TK6LB0Gv5Iul7Cbiyxt8zNIEfWmitpEVorRFcCM WcVCaHMV5C74fURozWqgqkQqO0SJdKEg2IH2KAFI53KVxm8C5Yt/7ggQyUMhiCGrM8 F8Ckq6tqfYE9fIJj5GNUsuEJ7mZR3lP44LueyRZw= Received: by cvs.NetBSD.org (Postfix, from userid 500) id B607CFA2C; Fri, 3 May 2024 06:48:02 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1714718882193080" MIME-Version: 1.0 Date: Fri, 3 May 2024 06:48:02 +0000 From: "Masatake Daimon" Subject: CVS commit: pkgsrc/doc To: pkgsrc-changes@NetBSD.org Reply-To: pho@netbsd.org X-Mailer: log_accum Message-Id: <20240503064802.B607CFA2C@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1714718882193080 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: pho Date: Fri May 3 06:48:02 UTC 2024 Modified Files: pkgsrc/doc: CHANGES-2024 Log Message: doc: Updated lang/idris2 to 0.7.0 To generate a diff of this commit: cvs rdiff -u -r1.3039 -r1.3040 pkgsrc/doc/CHANGES-2024 Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_1714718882193080 Content-Disposition: inline Content-Length: 739 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Modified files: Index: pkgsrc/doc/CHANGES-2024 diff -u pkgsrc/doc/CHANGES-2024:1.3039 pkgsrc/doc/CHANGES-2024:1.3040 --- pkgsrc/doc/CHANGES-2024:1.3039 Fri May 3 06:30:19 2024 +++ pkgsrc/doc/CHANGES-2024 Fri May 3 06:48:02 2024 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2024,v 1.3039 2024/05/03 06:30:19 jperkin Exp $ +$NetBSD: CHANGES-2024,v 1.3040 2024/05/03 06:48:02 pho Exp $ Changes to the packages collection and infrastructure in 2024: @@ -4882,3 +4882,4 @@ Changes to the packages collection and i Updated graphics/quesoglc to 0.7.1nb15 [triaxx 2024-05-02] Updated devel/hs-th-abstraction to 0.7.0.0 [wiz 2024-05-02] Updated security/pinentry to 1.3.0nb1 [jperkin 2024-05-03] + Updated lang/idris2 to 0.7.0 [pho 2024-05-03] --_----------=_1714718882193080--