{"name":"coqPackages.aac-tactics","version":"8.13.0","summary":"Coq plugin providing tactics for rewriting universally quantified equations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"coqPackages.aac-tactics"},"last_updated":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/k531nbs94hzj5rb5w2xj63szhhmwdgyh-coq8.13-aac-tactics-8.13.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"coqPackages.aac-tactics"},"last_updated":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/wvsrp7lrc1iy156clx1yii3zcly4lbm2-coq8.13-aac-tactics-8.13.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"coqPackages.aac-tactics"},"last_updated":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/h85l6pcz69gnmwgr522s1pk38qk05ykg-coq8.13-aac-tactics-8.13.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5"},"attr_path":"coqPackages.aac-tactics"},"last_updated":"2022-03-21T18:25:50Z"}}}