{"name":"coqPackages.coq-hammer-tactics","version":"1.3.2+9.1","summary":"Reconstruction tactics for the hammer for Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"59682e0069f0ed0a452e2179a7f4c1f247027b9e"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2026-07-16T14:07:54Z","outputs":[{"name":"out","path":"/nix/store/hlzj4pzzdqkqyq0siij120haxxr7769x-coq9.1-coq-hammer-tactics-1.3.2+9.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"59682e0069f0ed0a452e2179a7f4c1f247027b9e"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2026-07-16T14:07:54Z","outputs":[{"name":"out","path":"/nix/store/syddm4z80pl63jfxzxcd8x4wakxnnbc8-coq9.1-coq-hammer-tactics-1.3.2+9.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/7mfhkdpsndh1ma2cwb726fjjffikf7bh-coq9.1-coq-hammer-tactics-1.3.2+9.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"59682e0069f0ed0a452e2179a7f4c1f247027b9e"},"attr_path":"coqPackages.coq-hammer-tactics"},"last_updated":"2026-07-16T14:07:54Z","outputs":[{"name":"out","path":"/nix/store/np734asg1ik53d336pgz3rpbjq94xpjl-coq9.1-coq-hammer-tactics-1.3.2+9.1","default":true}]}}}