{"name":"coqPackages.mathcomp-field","version":"1.15.0","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-field"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/dc2qv4v0rcvc60c519sqyi8v1krgndrd-coq8.16-mathcomp-field-1.15.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-field"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/8lcg9gdk1drvl01lp8zhnwjdps1i85vf-coq8.16-mathcomp-field-1.15.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-field"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/89b7ppwbai2zmr7x6fx51l86ppj7wk23-coq8.16-mathcomp-field-1.15.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-field"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/cki39j0llsklr0dyiqq3kgavhqbbd5dk-coq8.16-mathcomp-field-1.15.0","default":true}]}}}