{"name":"coqPackages.mathcomp-word","version":"3.5","summary":"Yet Another Coq Library on Machine Words","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/zgsy8iqqngda8qaxmq46qdyd1314l27b-coq9.1-mathcomp2.5-word-3.5","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/qgw2cljcv805h8axbync6dlvclfrkj0r-coq9.1-mathcomp2.5-word-3.5","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"coqPackages.mathcomp-word"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/n1a7rnkw43vca8p8yxg42gfsvzramlcw-coq9.1-mathcomp2.5-word-3.5","default":true}]}}}