| package | filename | size | different function |
|---|
| acl2 |
./usr/share/doc/acl2/copyright | 11.6 KB |
|
| acl2-books |
./usr/share/doc/acl2-books/copyright | 11.6 KB |
|
| acl2-books-certs |
./usr/share/doc/acl2-books-certs/copyright | 11.6 KB |
|
| acl2-books-source |
./usr/share/doc/acl2-books-source/copyright | 11.6 KB |
|
| acl2-doc |
./usr/share/doc/acl2-doc/copyright | 11.6 KB |
|
| acl2-infix |
./usr/share/doc/acl2-infix/copyright | 11.6 KB |
|
| acl2-infix-source |
./usr/share/doc/acl2-infix-source/copyright | 11.6 KB |
|
| acl2-source |
./usr/share/doc/acl2-source/copyright | 11.6 KB |
|
| elpa-acl2 |
./usr/share/doc/elpa-acl2/copyright | 11.6 KB |
|