Received: from mail.netbsd.org (mail.netbsd.org [149.20.53.66]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mail.netbsd.org", Issuer "Postmaster NetBSD.org" (not verified)) by mollari.NetBSD.org (Postfix) with ESMTPS id 475E9A65BB for ; Fri, 29 May 2015 11:37:27 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 605) id EAAF014A377; Fri, 29 May 2015 11:37:26 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id DA0AF14A373 for ; Fri, 29 May 2015 11:37:24 +0000 (UTC) X-Virus-Scanned: amavisd-new at NetBSD.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.NetBSD.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id Ewt8zhFBM9YH for ; Fri, 29 May 2015 11:37:24 +0000 (UTC) Received: from cvs.netbsd.org (cvs.NetBSD.org [IPv6:2001:4f8:3:7:2e0:81ff:fe30:95bd]) by mail.netbsd.org (Postfix) with ESMTP id 6487514A36F for ; Fri, 29 May 2015 11:37:24 +0000 (UTC) Received: by cvs.netbsd.org (Postfix, from userid 500) id 57C7398; Fri, 29 May 2015 11:37:24 +0000 (UTC) Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" MIME-Version: 1.0 Date: Fri, 29 May 2015 11:37:24 +0000 From: "Jaap Boender" Subject: CVS commit: pkgsrc/print/tex-bussproofs To: pkgsrc-changes@NetBSD.org Reply-To: jaapb@netbsd.org X-Mailer: log_accum Message-Id: <20150529113724.57C7398@cvs.netbsd.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk Module Name: pkgsrc Committed By: jaapb Date: Fri May 29 11:37:24 UTC 2015 Added Files: pkgsrc/print/tex-bussproofs: DESCR Makefile PLIST distinfo Log Message: Added print/tex-bussproofs 1.1, a TeX package to produce proof trees in the style of the sequent calculus. To generate a diff of this commit: cvs rdiff -u -r0 -r1.1 pkgsrc/print/tex-bussproofs/DESCR \ pkgsrc/print/tex-bussproofs/Makefile pkgsrc/print/tex-bussproofs/PLIST \ pkgsrc/print/tex-bussproofs/distinfo Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.