elpa-acl2 ↔ gcl

Version of elpa-acl2: 8.7+dfsg-3

Architecture of elpa-acl2: all

Version of gcl: 2.6.14-24

Architecture of gcl: amd64

elpa-acl2gcl
sizefilenamehash functionsfilename
2 B./usr/lib/emacsen-common/packages/compat/elpa-acl2sha512./usr/lib/emacsen-common/packages/compat/gcl

Details about this service