{"name":"coqPackages.mathcomp-word","version":"1.1","summary":"Yet Another Coq Library on Machine Words","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e5f9412eca200270da0d1507190de9b312bd4458"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2022-10-02T16:20:24Z","outputs":[{"name":"out","path":"/nix/store/4i2jj5qnawm44sbib77i72wb1j2qjg7s-coq8.15-mathcomp1.15-word-1.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e5f9412eca200270da0d1507190de9b312bd4458"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2022-10-02T16:20:24Z","outputs":[{"name":"out","path":"/nix/store/g8z21n83kswh0aqf5kfw0k4dm567kmpm-coq8.15-mathcomp1.15-word-1.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e5f9412eca200270da0d1507190de9b312bd4458"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2022-10-02T16:20:24Z","outputs":[{"name":"out","path":"/nix/store/xajmaxvvdfd4wmj13w8848b4iicb4a95-coq8.15-mathcomp1.15-word-1.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e5f9412eca200270da0d1507190de9b312bd4458"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2022-10-02T16:20:24Z","outputs":[{"name":"out","path":"/nix/store/y3vv5fmisqps5311l6bjh5f9x9hrbbyv-coq8.15-mathcomp1.15-word-1.1","default":true}]}}}