{"name":"coqPackages.mathcomp-infotheo","version":"0.9.6","summary":"Coq formalization of information theory and linear error-correcting codes","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24f4544180242cd80bb2492ce6907243bc716e08"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/fcnrrpg15ym17xcf133qwb25mcs8982v-coq9.0-mathcomp2.5-infotheo-0.9.6","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24f4544180242cd80bb2492ce6907243bc716e08"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/dij5g7r1nayvbx4j0mb9l5dmk955f4am-coq9.0-mathcomp2.5-infotheo-0.9.6","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24f4544180242cd80bb2492ce6907243bc716e08"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/75xp7z758fw0fhxjah1dl90gzlh82ycv-coq9.0-mathcomp2.5-infotheo-0.9.6","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24f4544180242cd80bb2492ce6907243bc716e08"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/6zpp9w06bjicm96xag1g16wg8sh8gnqn-coq9.0-mathcomp2.5-infotheo-0.9.6","default":true}]}}}