{"name":"coqPackages.smpl","version":"8.15","summary":"A Coq plugin providing an extensible tactic similar to first","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3"},"attr_path":"coqPackages.smpl"},"last_updated":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/krzsf5zypf7m0knccrd7dld2sz57kpr2-coq8.15-smpl-8.15","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3"},"attr_path":"coqPackages.smpl"},"last_updated":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/yss4i8srshb8l7yyn9n169rwgc86w2g2-coq8.15-smpl-8.15","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3"},"attr_path":"coqPackages.smpl"},"last_updated":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/j74mm92iaqvmgpbmm9fzpp6838a1zz4l-coq8.15-smpl-8.15","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3"},"attr_path":"coqPackages.smpl"},"last_updated":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/4wnxixdmzgji5i3rgr0wx4rxfags5hq6-coq8.15-smpl-8.15","default":true}]}}}