{"name":"coqPackages.multinomials","version":"1.5.5","summary":"A Coq/SSReflect Library for Monoidal Rings and Multinomials","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"21eda9bc80bef824a037582b1e5a43ba74e92daa"},"attr_path":"coqPackages.multinomials"},"last_updated":"2023-03-06T07:11:47Z","outputs":[{"name":"out","path":"/nix/store/0n8a8h935wm41k936rjnhrg2hxcm9hh0-coq8.16-mathcomp1.15-multinomials-1.5.5","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"21eda9bc80bef824a037582b1e5a43ba74e92daa"},"attr_path":"coqPackages.multinomials"},"last_updated":"2023-03-06T07:11:47Z","outputs":[{"name":"out","path":"/nix/store/zdhdm4ppfr9alhsdlcs8xqkphnccprdp-coq8.16-mathcomp1.15-multinomials-1.5.5","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"21eda9bc80bef824a037582b1e5a43ba74e92daa"},"attr_path":"coqPackages.multinomials"},"last_updated":"2023-03-06T07:11:47Z","outputs":[{"name":"out","path":"/nix/store/sllbaarip8llxjiqbff9fj02dpzkmhh0-coq8.16-mathcomp1.15-multinomials-1.5.5","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"21eda9bc80bef824a037582b1e5a43ba74e92daa"},"attr_path":"coqPackages.multinomials"},"last_updated":"2023-03-06T07:11:47Z","outputs":[{"name":"out","path":"/nix/store/ff6d8yhrsqxdn3jxi7s49v9cn27djb14-coq8.16-mathcomp1.15-multinomials-1.5.5","default":true}]}}}