{"name":"coqPackages.mathcomp-finmap","version":"1.5.1","summary":"A finset and finmap library","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3137fb373e36e39f605d44f97cb0f7807deefd1c"},"attr_path":"coqPackages.mathcomp-finmap"},"last_updated":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/rckgmmcrcjsm2q4445d7rx79dra6908q-coq8.15-mathcomp1.14-finmap-1.5.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3137fb373e36e39f605d44f97cb0f7807deefd1c"},"attr_path":"coqPackages.mathcomp-finmap"},"last_updated":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/kma5wqws1jzyaqizk7m651hnichbgy3d-coq8.15-mathcomp1.14-finmap-1.5.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3137fb373e36e39f605d44f97cb0f7807deefd1c"},"attr_path":"coqPackages.mathcomp-finmap"},"last_updated":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/ydfw0mbddp719d9h765a799hk83a9kaj-coq8.15-mathcomp1.14-finmap-1.5.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3137fb373e36e39f605d44f97cb0f7807deefd1c"},"attr_path":"coqPackages.mathcomp-finmap"},"last_updated":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/jz5rivcvivdam2pgvqqcjzjn64m96snl-coq8.15-mathcomp1.14-finmap-1.5.1","default":true}]}}}