{"id":"acl2","name":"ACL2","description":"ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models.","homepage":"https://acl2.org/","executables":["acl2"],"aliases":[],"platforms":["macos","linux","windows"],"sections":["dotfiles"],"quality":null,"versions":[{"since":null,"revision":"a61f504d2b04a90e020e418e0206f7d107f8e6a6fec282d92adfbe37ff6001ca","sections":["dotfiles"],"url":"/api/v1/apps/acl2/otty.json?revision=a61f504d2b04a90e020e418e0206f7d107f8e6a6fec282d92adfbe37ff6001ca","sha256":"a61f504d2b04a90e020e418e0206f7d107f8e6a6fec282d92adfbe37ff6001ca","byte_length":429,"published_at":"2026-10-27T13:44:21.057Z","status":"published","autocomplete":null}],"autocomplete":null}