gpo.zugaina.org

Search Portage & Overlays:

app-emacs/proofgeneral

A generic Emacs interface for proof assistants

Screenshots

ChangeLog

commit bb53fad398d41cb296caedb55098229beff1c0ff
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Thu Apr 10 18:23:17 2025 +0000

Auto-generated ebuilds 2025-04-10T18:23:17.

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.