Takeshi Soejima Tue, 08 Aug 2023 19:39:15 -0700
Package: proofgeneral Version: 4.4.1~pre170114-1.2 Dear Maintainer,
This package does not support current emacs version 28.2 in Bookworm, and no *.elc files are made and installed to /usr/share/emacs/site-lisp/proofgeneral/.