Received: from mail.netbsd.org (mail.netbsd.org [149.20.53.66]) by www.NetBSD.org (Postfix) with ESMTP id 80FC963F41F for ; Sat, 20 Apr 2013 08:21:52 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 605) id 6177314A1FA; Sat, 20 Apr 2013 08:21:52 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 352FF14A1F9 for ; Sat, 20 Apr 2013 08:21:50 +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 8WRtB6HJNRcj for ; Sat, 20 Apr 2013 08:21:49 +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 9CD8A14A1F0 for ; Sat, 20 Apr 2013 08:21:49 +0000 (UTC) Received: by cvs.netbsd.org (Postfix, from userid 500) id 8DBE5175DD; Sat, 20 Apr 2013 08:21:49 +0000 (UTC) Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" MIME-Version: 1.0 Date: Sat, 20 Apr 2013 08:21:49 +0000 From: "Jaap Boender" Subject: CVS commit: pkgsrc/lang/coq To: pkgsrc-changes@NetBSD.org Reply-To: jaapb@netbsd.org X-Mailer: log_accum Message-Id: <20130420082149.8DBE5175DD@cvs.netbsd.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk Module Name: pkgsrc Committed By: jaapb Date: Sat Apr 20 08:21:49 UTC 2013 Modified Files: pkgsrc/lang/coq: Makefile distinfo Log Message: Updated package to the latest version, 8.4pl2. Changes include: Bug fixes - Solved bugs : #2466 #2629 #2668 #2750 #2839 #2869 #2954 #2955 #2959 #2962 #2966 #2967 #2969 #2970 #2975 #2976 #2977 #2978 #2981 #2983 #2995 #3000 #3004 #3008 - Partially fixed bugs : #2830 #2949 - Coqtop should now react more reliably when receiving interrupt signals: all the "try...with" constructs have been protected against undue handling of the Sys.Break exception. Coqide - The Windows-specific code handling the interrupt button of Coqide had to be reworked (cf. bug #2869). Now, in Win32 this button does not target a specific coqtop client, but instead sends a Ctrl-C to any process sharing its console with Coqide. To avoid awkward effects, it is recommended to launch Coqide via its icon, its menu, or in a dedicated console window. Extraction - The option Extraction AccessOpaque is now set by default, restoring compatibility of older versions of Coq (cf bug #2952). To generate a diff of this commit: cvs rdiff -u -r1.58 -r1.59 pkgsrc/lang/coq/Makefile cvs rdiff -u -r1.15 -r1.16 pkgsrc/lang/coq/distinfo Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.