{"name":"coqPackages.smpl","summary":"A Coq plugin providing an extensible tactic similar to first","description":"","homepage_url":"https://github.com/uds-psl/smpl","license":"MIT","attribute_paths":["coqPackages.smpl"],"releases":[{"version":"8.15","last_updated":"2022-10-11T10:16:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.smpl","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/krzsf5zypf7m0knccrd7dld2sz57kpr2-coq8.15-smpl-8.15","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.smpl","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/yss4i8srshb8l7yyn9n169rwgc86w2g2-coq8.15-smpl-8.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.smpl","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/j74mm92iaqvmgpbmm9fzpp6838a1zz4l-coq8.15-smpl-8.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.smpl","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/4wnxixdmzgji5i3rgr0wx4rxfags5hq6-coq8.15-smpl-8.15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.13","last_updated":"2022-05-04T19:02:07Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.smpl","commit_hash":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0","date":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/8kpw3gnag683zdqry7jmm7wivvgx1m92-coq8.13-smpl-8.13","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.smpl","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[{"name":"out","path":"/nix/store/n8mwanbyav4sdxyijf0fakahzalzas86-coq8.13-smpl-8.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.smpl","commit_hash":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0","date":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/7cgga99k79p6bnhc3fssyll4x9809h26-coq8.13-smpl-8.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.smpl","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}