elpa-acl2 <-> acl2-infix-source

Version of elpa-acl2: 8.4dfsg-2

Architecture of elpa-acl2: all

Version of acl2-infix-source: 8.4dfsg-2

Architecture of acl2-infix-source: all

elpa-acl2acl2-infix-source
sizefilenamehash functionsfilename
11.6 KB./usr/share/doc/elpa-acl2/copyright sha512./usr/share/doc/acl2-infix-source/copyright
8.7 KB./usr/share/doc/elpa-acl2/changelog.Debian.gz gzip_sha512, sha512./usr/share/doc/acl2-infix-source/changelog.Debian.gz

Details about this service