From: Jan Rękorajski <baggins@pld-linux.org>
Date: Sun, 28 Mar 2021 16:52:50 +0000 (+0200)
Subject: - up to 8.13.1
X-Git-Tag: auto/th/coq-8.13.1-1~2
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=b2cb8983182746588fc922b34f05c7ab2d285599;hp=b2cb8983182746588fc922b34f05c7ab2d285599

- up to 8.13.1
---