app-emacs/ob-acl2
Babel Functions for ACL2
ChangeLog
commit 7b35f2d2e8d57fd3ca16796c1df44638601eba8b
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Fri Apr 11 07:12:03 2025 +0000
Auto-generated ebuilds 2025-04-11T07:12:02.
commit a88e63a1c5d648959143673b1e40f82b1431f373
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon May 13 15:21:59 2024 +0000
Auto-generated ebuilds 2024-05-13T15:21:59.
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Fri Apr 11 07:12:03 2025 +0000
Auto-generated ebuilds 2025-04-11T07:12:02.
commit a88e63a1c5d648959143673b1e40f82b1431f373
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon May 13 15:21:59 2024 +0000
Auto-generated ebuilds 2024-05-13T15:21:59.