[acl2/acl2] 6a74d3: [crypto] fix typo in comment

0 views
Skip to first unread message

Eric McCarthy

unread,
Apr 10, 2026, 6:02:10 PM (7 days ago) Apr 10
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 6a74d3959cf03f3b5834bee25ee1a57458c59993
https://github.com/acl2/acl2/commit/6a74d3959cf03f3b5834bee25ee1a57458c59993
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)

Changed paths:
M books/kestrel/crypto/kdf/doc.lisp

Log Message:
-----------
[crypto] fix typo in comment



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

acl2buildserver

unread,
Apr 10, 2026, 7:46:55 PM (7 days ago) Apr 10
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 6a74d3959cf03f3b5834bee25ee1a57458c59993
https://github.com/acl2/acl2/commit/6a74d3959cf03f3b5834bee25ee1a57458c59993
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)

Changed paths:
M books/kestrel/crypto/kdf/doc.lisp

Log Message:
-----------
[crypto] fix typo in comment


Commit: bcd777d9a105ca652d98cab569b7cc5441ac7d38
https://github.com/acl2/acl2/commit/bcd777d9a105ca652d98cab569b7cc5441ac7d38
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)

Changed paths:
M books/kestrel/crypto/kdf/doc.lisp

Log Message:
-----------
Merge commit '6a74d3959cf03f3b5834bee25ee1a57458c59993' into HEAD


Compare: https://github.com/acl2/acl2/compare/a3a84012ab7a...bcd777d9a105

acl2buildserver

unread,
Apr 10, 2026, 7:47:34 PM (7 days ago) Apr 10
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages