{"name":"coqPackages.mathcomp-zify","version":"1.0.0+1.12+8.13","summary":"Micromega tactics for Mathematical Components","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee084c02040e864eeeb4cf4f8538d92f7c675671"},"attr_path":"coqPackages.mathcomp-zify"},"last_updated":"2021-10-04T06:34:54Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee084c02040e864eeeb4cf4f8538d92f7c675671"},"attr_path":"coqPackages.mathcomp-zify"},"last_updated":"2021-10-04T06:34:54Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee084c02040e864eeeb4cf4f8538d92f7c675671"},"attr_path":"coqPackages.mathcomp-zify"},"last_updated":"2021-10-04T06:34:54Z"}}}