8d9c1678f2
This is a compatibility release with OCaml 4.06.0. It also contains many bugfixes, documentation improvements and user message improvements.
7 lines
463 B
Text
7 lines
463 B
Text
$NetBSD: distinfo,v 1.29 2018/01/10 16:26:53 jaapb Exp $
|
|
|
|
SHA1 (coq-8.7.1.tar.gz) = ea4c4bbed3dc1a5550bbb7e2923ed751f9ad2be6
|
|
RMD160 (coq-8.7.1.tar.gz) = 405d24ba9f0eda5b72e8bd0ed0778390cc444bf0
|
|
SHA512 (coq-8.7.1.tar.gz) = 43ef086de93bf99f94d74b9827dd16c79f4d24f5dd4332ee53bbd4588941cb602a64672638a3b3a56bfb612e4dbf7b2a3b5fd4921182dabbbe96e4fef07455b5
|
|
Size (coq-8.7.1.tar.gz) = 5671130 bytes
|
|
SHA1 (patch-Makefile.common) = d84cb2a94227e163855f35abebe71f4ec51839fc
|