{"name":"coqPackages.coq-hammer-tactics","version":"1.3.2+8.19","summary":"Reconstruction tactics for the hammer for Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/mwbc42z3xamihb2nyc8ifcndqhrm2mj9-coq8.19-coq-hammer-tactics-1.3.2+8.19","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/0087zsc2f6lwvrcnzz510rs7rvahnizg-coq8.19-coq-hammer-tactics-1.3.2+8.19","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/q3hb31nhk1bf276mpdw3s4ypr2sgfkfa-coq8.19-coq-hammer-tactics-1.3.2+8.19","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/vlg8lxfqdhbmfqzg1kzfwiy27l25scwd-coq8.19-coq-hammer-tactics-1.3.2+8.19","default":true}]}}}