{"name":"coqPackages.coq-hammer-tactics","summary":"Reconstruction tactics for the hammer for Coq","description":"","homepage_url":"https://github.com/lukaszcz/coqhammer","license":"LGPL-2.1","attribute_paths":["coqPackages.coq-hammer-tactics"],"releases":[{"version":"1.3.3+9.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/j8acyai86nrip7b15isp0r3fbap1w5sh-coq9.1-coq-hammer-tactics-1.3.3+9.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/cmg2p3kzc7hxvcnwhbnffy347qhfq959-coq9.1-coq-hammer-tactics-1.3.3+9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/sv37iylzp4bfh2gvwr0q33ghnffy97l2-coq9.1-coq-hammer-tactics-1.3.3+9.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.2+9.1","last_updated":"2026-07-16T14:07:54Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"59682e0069f0ed0a452e2179a7f4c1f247027b9e","date":"2026-07-16T14:07:54Z","outputs":[{"name":"out","path":"/nix/store/hlzj4pzzdqkqyq0siij120haxxr7769x-coq9.1-coq-hammer-tactics-1.3.2+9.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"59682e0069f0ed0a452e2179a7f4c1f247027b9e","date":"2026-07-16T14:07:54Z","outputs":[{"name":"out","path":"/nix/store/syddm4z80pl63jfxzxcd8x4wakxnnbc8-coq9.1-coq-hammer-tactics-1.3.2+9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/7mfhkdpsndh1ma2cwb726fjjffikf7bh-coq9.1-coq-hammer-tactics-1.3.2+9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"59682e0069f0ed0a452e2179a7f4c1f247027b9e","date":"2026-07-16T14:07:54Z","outputs":[{"name":"out","path":"/nix/store/np734asg1ik53d336pgz3rpbjq94xpjl-coq9.1-coq-hammer-tactics-1.3.2+9.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.2+9.0","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/8h6syvxqhr8za52fl1brcd23qy8ahhgx-coq9.0-coq-hammer-tactics-1.3.2+9.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/z6jyc07pdk35p3bclpwxlrq4ckc99jnw-coq9.0-coq-hammer-tactics-1.3.2+9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/gys216lcwih2zkz9j5wxkzc89w08d5dn-coq9.0-coq-hammer-tactics-1.3.2+9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/bn9hf08fy3bgrpg46c0bcakxgiwkn3dy-coq9.0-coq-hammer-tactics-1.3.2+9.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.2+8.19","last_updated":"2024-08-31T10:12:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/mwbc42z3xamihb2nyc8ifcndqhrm2mj9-coq8.19-coq-hammer-tactics-1.3.2+8.19","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/0087zsc2f6lwvrcnzz510rs7rvahnizg-coq8.19-coq-hammer-tactics-1.3.2+8.19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/q3hb31nhk1bf276mpdw3s4ypr2sgfkfa-coq8.19-coq-hammer-tactics-1.3.2+8.19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.coq-hammer-tactics","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/vlg8lxfqdhbmfqzg1kzfwiy27l25scwd-coq8.19-coq-hammer-tactics-1.3.2+8.19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}