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 |
|