{"name":"coqPackages.coqtail-math","version":"8.14","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3"},"attr_path":"coqPackages.coqtail-math"},"last_updated":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/wqrs3rq0i0rcr8cwxd37fwmzn3c9b9ad-coq8.15-coqtail-math-8.14","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3"},"attr_path":"coqPackages.coqtail-math"},"last_updated":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/ydkx710payj8nfg9ra0jj06bvx7p6k2p-coq8.15-coqtail-math-8.14","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3"},"attr_path":"coqPackages.coqtail-math"},"last_updated":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/201phramc681c3achaz3i2y9hk3gb56r-coq8.15-coqtail-math-8.14","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3"},"attr_path":"coqPackages.coqtail-math"},"last_updated":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/p2yarpc0ajcc9l5586njj5kbx2qw2yvz-coq8.15-coqtail-math-8.14","default":true}]}}}