{"name":"coqPackages.mathcomp-zify","version":"1.1.0+1.12+8.13","summary":"Micromega tactics for Mathematical Components","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-zify"},"last_updated":"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}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-zify"},"last_updated":"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}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-zify"},"last_updated":"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}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-zify"},"last_updated":"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}]}}}