{"name":"coqPackages.mathcomp-finmap","version":"1.4.0+coq-8.11","summary":"A finset and finmap library","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"43f84e1d69e505f9ee1778c029ab3f193547a61c"},"attr_path":"coqPackages.mathcomp-finmap"},"last_updated":"2021-01-05T09:44:35Z"}}}