{"name":"lispPackages.prove","summary":"System lacks description","description":"","homepage_url":"","license":"","attribute_paths":["lispPackages.prove"],"releases":[{"version":"20200218-git","last_updated":"2024-05-03T15:42:32Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"lispPackages.prove","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/xsga1a69g7dxxxw3czpyq07l3n3fjp93-lisp-prove-20200218-git","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"lispPackages.prove","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/d81lc9zqv4y7x3r7vqnzj4aaz44yipp9-lisp-prove-20200218-git","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"lispPackages.prove","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/jg079w9j2nxqzy7a2r50qdimjf3fjn19-lisp-prove-20200218-git","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"lispPackages.prove","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/g6bzyf4xdfi4fg8mgca6zbjzyjr1q0q6-lisp-prove-20200218-git","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20171130-git","last_updated":"2020-09-22T06:38:26Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"lispPackages.prove","commit_hash":"83162ab3b97d0e13b08e28938133381a7515c1e3","date":"2020-09-22T06:38:26Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}