{"name":"coqPackages.coqtail-math","summary":"","description":"","homepage_url":"https://github.com/coq-community/coqtail-math","license":"LGPL-3.0-only","attribute_paths":["coqPackages.coqtail-math"],"releases":[{"version":"20201124","last_updated":"2022-04-20T07:43:34Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.coqtail-math","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.coqtail-math","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[{"name":"out","path":"/nix/store/px0dd6w3mpid52fgavkq5xv9yd0jl67y-coq8.13-coqtail-math-20201124","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.coqtail-math","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.coqtail-math","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"8.14","last_updated":"2022-10-11T10:16:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.coqtail-math","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/wqrs3rq0i0rcr8cwxd37fwmzn3c9b9ad-coq8.15-coqtail-math-8.14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.coqtail-math","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/ydkx710payj8nfg9ra0jj06bvx7p6k2p-coq8.15-coqtail-math-8.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.coqtail-math","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/201phramc681c3achaz3i2y9hk3gb56r-coq8.15-coqtail-math-8.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.coqtail-math","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/p2yarpc0ajcc9l5586njj5kbx2qw2yvz-coq8.15-coqtail-math-8.14","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}