{"name":"coqPackages.multinomials","version":"1.6.0","summary":"Coq/SSReflect Library for Monoidal Rings and Multinomials","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"coqPackages.multinomials"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/zmi44dlvsmirlm9x60gvizw0r9sqx619-coq8.19-mathcomp1.19-multinomials-1.6.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"coqPackages.multinomials"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/6p9a8iff1r4wlby1s1qnqqa1mw8rnspc-coq8.19-mathcomp1.19-multinomials-1.6.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"coqPackages.multinomials"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/a1cmkzbm7fayhqvxy4s7gqzjvrkfb4xp-coq8.19-mathcomp1.19-multinomials-1.6.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465"},"attr_path":"coqPackages.multinomials"},"last_updated":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/adia8rwwmj5r8yfrgzqk5gkxwadv22r8-coq8.19-mathcomp1.19-multinomials-1.6.0","default":true}]}}}