app-emacs/rocq-timing
Display timing of rocq commands in buffer
Screenshots
View
Download
BrowseChangeLog
commit bfe05a9d910af5afe736a6729978f74009b6e72d
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Apr 20 14:12:03 2026 +0000
Auto-generated ebuilds 2026-04-20T14:12:03.
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Apr 20 14:12:03 2026 +0000
Auto-generated ebuilds 2026-04-20T14:12:03.