{"name":"coqPackages.mathcomp-finmap","version":"2.2.0","summary":"Finset and finmap library","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24"},"attr_path":"coqPackages.mathcomp-finmap"},"last_updated":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/j9frn8ny0xh145vpdhdbrrzragcrk5bx-coq9.0-mathcomp2.4-finmap-2.2.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24"},"attr_path":"coqPackages.mathcomp-finmap"},"last_updated":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/arsy4zmaz2vl7f4z32qcdmvp13s3pz0y-coq9.0-mathcomp2.4-finmap-2.2.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24"},"attr_path":"coqPackages.mathcomp-finmap"},"last_updated":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/8z62i5z7jw68pvbrrgnsaaw0sa5jp8s5-coq9.0-mathcomp2.4-finmap-2.2.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12c1f0253aa9a54fdf8ec8aecaafada64a111e24"},"attr_path":"coqPackages.mathcomp-finmap"},"last_updated":"2025-11-04T19:54:02Z","outputs":[{"name":"out","path":"/nix/store/aw3q43hwi31gwa5wqym6ampi4nq31vig-coq9.0-mathcomp2.4-finmap-2.2.0","default":true}]}}}