Checksum: 7c7c711f46eba5bd426d54c31a9a9981e2d43723cafd059646ce421b65e78f40 (page 1)

• acl2/6.5-2/acl2-customization-files/parallel-resource-based.lisp
• acl2/6.5-2~bpo70+1/acl2-customization-files/parallel-resource-based.lisp
• acl2/7.2dfsg-3/acl2-customization-files/parallel-resource-based.lisp
• acl2/8.0dfsg-1/acl2-customization-files/parallel-resource-based.lisp
• acl2/8.3dfsg-2/acl2-customization-files/parallel-resource-based.lisp
• acl2/8.5dfsg-5/acl2-customization-files/parallel-resource-based.lisp
• acl2/8.6+dfsg-2/acl2-customization-files/parallel-resource-based.lisp
• acl2/8.6+dfsg-3/acl2-customization-files/parallel-resource-based.lisp