{"name":"coqPackages.mathcomp-fingroup","version":"1.15.0","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-fingroup"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/52c5q6hspyzd3s58y522vaxbh4zxlr2p-coq8.16-mathcomp-fingroup-1.15.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-fingroup"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/6ifawacwc1isxfrmbp8d5f05vg1xrh0j-coq8.16-mathcomp-fingroup-1.15.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-fingroup"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/8ak2jv9p1qyfc8fj9i0zckbsd6dg0627-coq8.16-mathcomp-fingroup-1.15.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0749042bfaa2f4efa70ac829c5387133cfc0a337"},"attr_path":"coqPackages.mathcomp-fingroup"},"last_updated":"2023-03-03T04:15:01Z","outputs":[{"name":"out","path":"/nix/store/p2dy9fraivd6n4x0imnd3k245ws4sc9g-coq8.16-mathcomp-fingroup-1.15.0","default":true}]}}}