{"name":"coqPackages.mathcomp-infotheo","version":"0.7.5","summary":"Coq formalization of information theory and linear error-correcting codes","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/fqki9bsxg56qnz174fg360g7rjjxsy92-coq8.20-mathcomp2.2-infotheo-0.7.5","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/6289hd8m582xgf8wk34ja6cjwivgv911-coq8.20-mathcomp2.2-infotheo-0.7.5","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/09cb94056yyqk1vaf7fcamkri48q6rd4-coq8.20-mathcomp2.2-infotheo-0.7.5","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf689c40d035239a489de5997a4da5352434632e"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/hlxrx9ag45ns9h67sba2q9khims5ia4s-coq8.20-mathcomp2.2-infotheo-0.7.5","default":true}]}}}