Versions of acl2
| Version | Filename | Size | Documentation |
|---|---|---|---|
| 2.9.3 | acl2_2.9.3.orig.tar.gz | 5.16 MB | (not yet generated) |
| 3.1 | acl2_3.1.orig.tar.gz | 6.42 MB | (not yet generated) |
| 3.3 | acl2_3.3.orig.tar.gz | 6.98 MB | Show |
| 3.4 | acl2_3.4.orig.tar.gz | 7.63 MB | Show |
| 3.6 | acl2_3.6.orig.tar.gz | 10.01 MB | Show |
| 3.6.1 | acl2_3.6.1.orig.tar.gz | 10.03 MB | Show |
| 4.0 | acl2_4.0.orig.tar.gz | 10.90 MB | Show |