{"name":"coqPackages.smpl","version":"8.13","summary":"A Coq plugin providing an extensible tactic similar to first","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0"},"attr_path":"coqPackages.smpl"},"last_updated":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/8kpw3gnag683zdqry7jmm7wivvgx1m92-coq8.13-smpl-8.13","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24c33ab7952544ad355d0677c9eea931b23f371c"},"attr_path":"coqPackages.smpl"},"last_updated":"2022-05-03T02:40:48Z","outputs":[{"name":"out","path":"/nix/store/n8mwanbyav4sdxyijf0fakahzalzas86-coq8.13-smpl-8.13","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0"},"attr_path":"coqPackages.smpl"},"last_updated":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/7cgga99k79p6bnhc3fssyll4x9809h26-coq8.13-smpl-8.13","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24c33ab7952544ad355d0677c9eea931b23f371c"},"attr_path":"coqPackages.smpl"},"last_updated":"2022-05-03T02:40:48Z"}}}