{"name":"coqPackages.mathcomp-zify","summary":"Micromega tactics for Mathematical Components","description":"","homepage_url":"https://github.com/math-comp/mczify","license":"","attribute_paths":["coqPackages.mathcomp-zify"],"releases":[{"version":"1.7.0+2.4+9.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/jlqnbbmk8mv4qn79i7fx100q1yjl38by-rocq9.1-mathcomp2.5-zify-1.7.0+2.4+9.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/8pw6aw2vvcbjcldnj1ir773n9jv5b50d-rocq9.1-mathcomp2.5-zify-1.7.0+2.4+9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/j4bzx6n2div3wmgvzh94fm5lr2rafq16-rocq9.1-mathcomp2.5-zify-1.7.0+2.4+9.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.6.0+2.3+8.18","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/154n5yv8bykxccfhxksl3pj13zb9ngha-coq9.1-mathcomp2.5-zify-1.6.0+2.3+8.18","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/mvkkzqmr067jkljz2006fgihwqz2pn32-coq9.1-mathcomp2.5-zify-1.6.0+2.3+8.18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/nmrkzrgxdzvnb07yk7msaj2s9iixab8w-coq9.1-mathcomp2.5-zify-1.6.0+2.3+8.18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/b0vsg9c7430zpvnkz1zjfcsjprc4wwr8-coq9.1-mathcomp2.5-zify-1.6.0+2.3+8.18","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.5.0+2.0+8.16","last_updated":"2025-11-04T19:54:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/4f0lkv6ivighfrs28axs8gxxgd4n65p3-coq9.0-mathcomp2.4-zify-1.5.0+2.0+8.16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/9bmfk4szv2jz128mjl9fndbz8xsjjy8n-coq9.0-mathcomp2.4-zify-1.5.0+2.0+8.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/329m3fqcdixad2iin2l9fad5kn54zxgy-coq9.0-mathcomp2.4-zify-1.5.0+2.0+8.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24","date":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/ma38n61k159c51la3fdzdh843jymz3y1-coq9.0-mathcomp2.4-zify-1.5.0+2.0+8.16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.3.0+1.12+8.13","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/w3i9cam7v4wc68f4mib5ha405bnfrbb8-coq8.19-mathcomp1.19-zify-1.3.0+1.12+8.13","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/3m6ip37ivfry76c5cj6fw9xdvdxh16sy-coq8.19-mathcomp1.19-zify-1.3.0+1.12+8.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/hx6981hnnkl96a3fk4q4inf2vrg38z1a-coq8.19-mathcomp1.19-zify-1.3.0+1.12+8.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/yw03i1q75mm1jmy98dxscps29lc55rpz-coq8.19-mathcomp1.19-zify-1.3.0+1.12+8.13","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.1.0+1.12+8.13","last_updated":"2023-03-03T04:15:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/v4jcvz3awhn1w8pfwcqcjwswryic2zm3-coq8.16-mathcomp1.15-zify-1.1.0+1.12+8.13","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/g11dv0fyvd117fxskl1ybxmc0bpwzcfh-coq8.16-mathcomp1.15-zify-1.1.0+1.12+8.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/v5si0i40w09zc37qra3mbnfy0in0n1f3-coq8.16-mathcomp1.15-zify-1.1.0+1.12+8.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"0749042bfaa2f4efa70ac829c5387133cfc0a337","date":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/ksb7gaspcms2m3yfclba87z2rv96z18i-coq8.16-mathcomp1.15-zify-1.1.0+1.12+8.13","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0.0+1.12+8.13","last_updated":"2021-10-04T06:34:54Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-zify","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}