Commit Graph

6 Commits

Author SHA1 Message Date
jopejoe1
1abbdf4b91 acl2: make use of compound licenses 2026-07-16 11:59:03 +02:00
7c6f434c
54d2f0da28 acl2: switch to finalAttrs pattern, switch to hash and tag, hardcode ${pname} (#527662) 2026-06-12 12:01:15 +00:00
Guy Chronister
f91de7a413 acl2: switch to finalAttrs pattern, switch to hash
Assisted-by: Cursor Composer 2.5
2026-06-03 12:25:23 -05:00
Guy Chronister
df6c982022 acl2.libipasir: switch to finalAttrs pattern, switch to SRI hash
Assisted-by: Cursor Composer 2.5
2026-06-03 11:43:29 -05:00
Sam Estep
2eb11ad6be acl2-minimal: fix aarch64-linux build
Assisted-by: Codex:gpt-5.5
2026-05-23 01:09:20 -04:00
Michael Daniels
b8669052e4 various: migrate to pkgs/by-name 2026-05-13 21:51:16 -04:00