[acl2/acl2] 952144: [C$] Attempt to fix ACL2(r) build.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 952144127257e953bfb84e27446c6cfe05af21d6
https://github.com/acl2/acl2/commit/952144127257e953bfb84e27446c6cfe05af21d6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/reader.lisp

Log Message:
-----------
[C$] Attempt to fix ACL2(r) build.



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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: 952144127257e953bfb84e27446c6cfe05af21d6
https://github.com/acl2/acl2/commit/952144127257e953bfb84e27446c6cfe05af21d6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/reader.lisp

Log Message:
-----------
[C$] Attempt to fix ACL2(r) build.

Commit: 220687f7f583e7d4ce7e27d60ece39339ba30ba7
https://github.com/acl2/acl2/commit/220687f7f583e7d4ce7e27d60ece39339ba30ba7
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/reader.lisp

Log Message:
-----------

Merge commit '952144127257e953bfb84e27446c6cfe05af21d6' into HEAD


Compare: https://github.com/acl2/acl2/compare/14d7870960f0...220687f7f583

[acl2buildserver]

Branch: refs/heads/testing