Version of acl2-doc: 8.6+dfsg-3
Architecture of acl2-doc: all
| acl2-doc | acl2-doc | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 4.4 KB | ./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/README.gz./usr/share/doc/acl2-doc/books/rtl/rel9/README.gz | gzip_sha512, sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/README.gz |
| gzip_sha512, sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel9/README.gz | ||
| 1.9 KB | ./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/README./usr/share/doc/acl2-doc/books/rtl/rel9/support/README | sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/README |
| sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel9/support/README | ||
| 1.7 KB | ./usr/share/doc/acl2-doc/books/rtl/rel4/arithmetic/README./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/arithmetic/README./usr/share/doc/acl2-doc/books/rtl/rel9/arithmetic/README | sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/arithmetic/README |
| sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel4/arithmetic/README | ||
| sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel9/arithmetic/README | ||
| 850 B | ./usr/share/doc/acl2-doc/books/rtl/rel9/support/lib2/README./usr/share/doc/acl2-doc/books/rtl/rel4/lib/README./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib2/README | sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib2/README |
| sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel4/lib/README | ||
| sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel9/support/lib2/README | ||
| 492 B | ./usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/solutions/README./usr/share/doc/acl2-doc/books/workshops/1999/calculus/solutions/README | sha512 | ./usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/solutions/README |
| sha512 | ./usr/share/doc/acl2-doc/books/workshops/1999/calculus/solutions/README | ||
| 274 B | ./usr/share/doc/acl2-doc/books/workshops/2022/walter-manolios/acl2s-utils/README.md./usr/share/doc/acl2-doc/books/acl2s/aspf/interface/acl2s-utils/README.md | sha512 | ./usr/share/doc/acl2-doc/books/acl2s/aspf/interface/acl2s-utils/README.md |
| sha512 | ./usr/share/doc/acl2-doc/books/workshops/2022/walter-manolios/acl2s-utils/README.md | ||
| 266 B | ./usr/share/doc/acl2-doc/books/rtl/rel9/support/support/README./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/support/README | sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/support/README |
| sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel9/support/support/README | ||
| 255 B | ./usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1.delta1/README./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/README | sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/README |
| sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1.delta1/README | ||
| 193 B | ./usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1/README./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib1/README | sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib1/README |
| sha512 | ./usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1/README | ||