{"name":"coqPackages.coq-bits","summary":"A formalization of bitset operations in Coq","description":"","homepage_url":"https://github.com/coq-community/bits","license":"Apache-2.0","attribute_paths":["coqPackages.coq-bits"],"releases":[{"version":"20190812","last_updated":"2021-11-12T01:00:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.coq-bits","commit_hash":"c11d08f02390aab49e7c22e6d0ea9b176394d961","date":"2021-11-08T13:21:33Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.coq-bits","commit_hash":"bf346b557b76ffce74167f37752656dede5957f3","date":"2021-11-12T01:00:24Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.coq-bits","commit_hash":"c11d08f02390aab49e7c22e6d0ea9b176394d961","date":"2021-11-08T13:21:33Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.0","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.coq-bits","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/jddi8i696a0yjxs5p8qg8msyxlb6a4n8-coq8.16-coq-bits-1.1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.coq-bits","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/6gdhndhj00wyd0hd8j51gqrm4qg12dvc-coq8.16-coq-bits-1.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.coq-bits","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/j17jbvhw0c94gyizkb74mx4mivy4psb3-coq8.16-coq-bits-1.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.coq-bits","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/aap8m7nf92z82kn1zz8cbmf09vz21gy2-coq8.16-coq-bits-1.1.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}