$NetBSD: distinfo,v 1.40 2025/02/24 03:41:02 dholland Exp $

BLAKE2s (coq-8.20.1.tar.gz) = 0a4ce018fa53c7ab28036d4d3e092292b02d473ea150617262a46f18b61842c0
SHA512 (coq-8.20.1.tar.gz) = 8ee967c636b67b22a4f34115871d8f9b9114df309afc9ddf5f61275251088c6e21f6cf745811df75554d30f4cebb6682f23eeb2e88b771330c4b60ce3f6bf5e2
Size (coq-8.20.1.tar.gz) = 7842928 bytes
SHA1 (patch-tools_coqdoc_dune) = b2a1fdc3fd0bebc18754de5a0d7778e73a47c25d
