{"name":"coqPackages.coq-hammer-tactics","version":"1.3.2+9.0","summary":"Reconstruction tactics for the hammer for Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/8h6syvxqhr8za52fl1brcd23qy8ahhgx-coq9.0-coq-hammer-tactics-1.3.2+9.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/z6jyc07pdk35p3bclpwxlrq4ckc99jnw-coq9.0-coq-hammer-tactics-1.3.2+9.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/gys216lcwih2zkz9j5wxkzc89w08d5dn-coq9.0-coq-hammer-tactics-1.3.2+9.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/bn9hf08fy3bgrpg46c0bcakxgiwkn3dy-coq9.0-coq-hammer-tactics-1.3.2+9.0","default":true}]}}}