{"name":"coqPackages.mathcomp-word","version":"2.2","summary":"Yet Another Coq Library on Machine Words","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b1d47989352fcb722a1f19295a9461ed1ef8435a"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2024-03-15T11:45:06Z","outputs":[{"name":"out","path":"/nix/store/drzi1nap8rqr3v1zi9kls7f3vq2fmwrx-coq8.18-mathcomp1.18-word-2.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b1d47989352fcb722a1f19295a9461ed1ef8435a"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2024-03-15T11:45:06Z","outputs":[{"name":"out","path":"/nix/store/fsqnjys01dzg7x6ww9hdgh9hf5l16g79-coq8.18-mathcomp1.18-word-2.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b1d47989352fcb722a1f19295a9461ed1ef8435a"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2024-03-15T11:45:06Z","outputs":[{"name":"out","path":"/nix/store/xqas8w6pdi4aj07qhz743fa2aw8mqw2x-coq8.18-mathcomp1.18-word-2.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b1d47989352fcb722a1f19295a9461ed1ef8435a"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2024-03-15T11:45:06Z","outputs":[{"name":"out","path":"/nix/store/bpj05ccd8h70pbxm2fgafc8jsb2xbic3-coq8.18-mathcomp1.18-word-2.2","default":true}]}}}