app-emacs / ob-acl2 ob-acl2 Babel Functions for ACL2 Babel Functions for ACL2 homepage ↗ Available in OverlayNewestEbuildsLast activity melpa GitHub ↗ 20240505.1844 1 22 h details › Versions & arches VersionOverlay amd64x86 Committed 20240505.1844 melpa ◐amd64 testing ◐x86 testing 24 mo view · download · history ↗ Runtime dependencies of 20240505.1844 show 2 lines app-emacs/org-mode >=app-editors/emacs-26.3:*