kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq/distinfo

8 lines
463 B
Text
Raw Normal View History

Updated package lang/coq to version 8.8.1. The list of improvements, additions, bugfixes and so on is quite large; those interested can refer to the CHANGES file in the distribution. The reference manual has been fully ported to Sphinx.
2018-08-02 14:57:03 +02:00
$NetBSD: distinfo,v 1.31 2018/08/02 12:57:03 jaapb Exp $
By popular demand, move coq-7.4 from math to lang in order to be consistent with prior art (e.g. lang/twelf). Coq is a Proof Assistant for a Logical Framework known as the Calculus of Inductive Constructions. It allows the interactive construction of formal proofs, and also the manipulation of functional programs consistently with their specifications.
2003-03-22 21:21:16 +01:00
Updated package lang/coq to version 8.8.1. The list of improvements, additions, bugfixes and so on is quite large; those interested can refer to the CHANGES file in the distribution. The reference manual has been fully ported to Sphinx.
2018-08-02 14:57:03 +02:00
SHA1 (coq-8.8.1.tar.gz) = 7dd5e31f9dd3f80d6dabfb019d1f495244f61999
RMD160 (coq-8.8.1.tar.gz) = 72b75b1d3a78c1a34b8bac86a0180b8bb677db14
SHA512 (coq-8.8.1.tar.gz) = 706fdc196ca4b8f27dae834426d926cd7d2c8b215af8cbb2653a0bda088068ed9f492cf8f11d123a1f2166b26f86e91a84765e53beb20172dc530f6dd796d8d4
Size (coq-8.8.1.tar.gz) = 5934404 bytes
Updated lang/coq to version 8.7.0. Includes many improvements and bugfixes (none that seem to be breaking backwards compatibility though), see the CHANGELOG. For packaging: - camlp4 support removed, package now uses camlp5 exclusively - fix for PR pkg/52651
2017-11-03 12:20:28 +01:00
SHA1 (patch-Makefile.common) = d84cb2a94227e163855f35abebe71f4ec51839fc
Reference in a new issue Copy permalink