From 32bde4f0a419b9f85f475b806eb37fd8d0e1a03b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 16 Dec 2020 13:11:20 +0100
Subject: [PATCH] republish coqdoc

-- 
GitLab