gpo.zugaina.org

Search Portage & Overlays:

app-emacs/proofgeneral

A generic Emacs interface for proof assistants

Screenshots

ChangeLog

commit 554805ec819abf80bf22c90834e1f7c1c7762259
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Mar 20 16:40:36 2023 +0000

Auto-generated ebuilds 2023-03-20T16:40:36.