{"name":"coqPackages.aac-tactics","version":"9.0.0","summary":"Coq plugin providing tactics for rewriting universally quantified equations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.aac-tactics"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/k0k8lj0zhxa7v9ppdr6ahw5kkjhfprq0-coq9.1-aac-tactics-9.0.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.aac-tactics"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/xpcdzcmz9gjrw7r3wzavgajdfs4y1pbz-coq9.1-aac-tactics-9.0.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"coqPackages.aac-tactics"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/hfpcqhy5ckrlacdvsrllw207iyzj3c5q-coq9.1-aac-tactics-9.0.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.aac-tactics"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/k95fpyb62hkmchrx9m6d0y3i32ijghh9-coq9.1-aac-tactics-9.0.0","default":true}]}}}