[acl2/acl2] 6a34ea: Adapt to package change.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 6a34ea50cc3e9b08b3d536e923f6588d74270f45
https://github.com/acl2/acl2/commit/6a34ea50cc3e9b08b3d536e923f6588d74270f45
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
M books/projects/filesystems/utilities/cpp-syntax/package.lsp

Log Message:
-----------
Adapt to package change.



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications