aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo/packages/acl2.scm
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2024-08-25 19:18:52 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2024-08-25 19:18:52 +0900
commite4bc64bc5707a44d9a83c82fbe4aa1c5b42b8adf (patch)
treea2081dab4809585a5fa0daeb739a4d7933f52905 /tojo-tokyo/packages/acl2.scm
parent40fca98efc01f0ee15f73b5960ab05862847370e (diff)
Update guile-r7rs-accel-asc from v1.0.0 to v1.1.0HEADmaster
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions