#1043318 No *.elc files are made and installed

Package:
proofgeneral
Source:
proofgeneral
Submitter:
Takeshi Soejima
Date:
2023-08-09 02:39:04 UTC
Severity:
normal
#1043318#5
Date:
2023-08-09 02:25:37 UTC
From:
To:
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/.