{"name":"coqPackages.mathcomp-word","version":"2.1","summary":"Yet Another Coq Library on Machine Words","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a71323f68d4377d12c04a5410e214495ec598d4c"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/sqgvxxq3qxshbbm7kcfpmrh001s7415h-coq8.18-mathcomp1.18-word-2.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a71323f68d4377d12c04a5410e214495ec598d4c"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/l9r6p7mn5ca3l7i91r8xid42mppbnqy0-coq8.18-mathcomp1.18-word-2.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a71323f68d4377d12c04a5410e214495ec598d4c"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/9g1hp1cipwgymkb8d4miyh9rfyz7fg89-coq8.18-mathcomp1.18-word-2.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a71323f68d4377d12c04a5410e214495ec598d4c"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/hpp0xy2nqwls796s8wzqhn3qssxv0dqg-coq8.18-mathcomp1.18-word-2.1","default":true}]}}}