Checksum: 985efb393573b00ca7f7c40b90a2ac5dfce9baf812923f09feb372b0f11cb774 (page 1)

• acl2/8.6+dfsg-2/books/quicklisp/bundle/software/local-time-20231021-git/test/benchmarks.lisp
• acl2/8.6+dfsg-3/books/quicklisp/bundle/software/local-time-20231021-git/test/benchmarks.lisp