{"name":"coqPackages.coq-bits","version":"20190812","summary":"A formalization of bitset operations in Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c11d08f02390aab49e7c22e6d0ea9b176394d961"},"attr_path":"coqPackages.coq-bits"},"last_updated":"2021-11-08T13:21:33Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf346b557b76ffce74167f37752656dede5957f3"},"attr_path":"coqPackages.coq-bits"},"last_updated":"2021-11-12T01:00:24Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c11d08f02390aab49e7c22e6d0ea9b176394d961"},"attr_path":"coqPackages.coq-bits"},"last_updated":"2021-11-08T13:21:33Z"}}}