{"name":"coqPackages.mathcomp-infotheo","version":"0.7.3","summary":"Coq formalization of information theory and linear error-correcting codes","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/7w1c1j91qi8w47mvfviiqmxdmpda783x-coq8.20-mathcomp2.2-infotheo-0.7.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/9zw3ywy4arvh3xpccw9qcl5jap5y7177-coq8.20-mathcomp2.2-infotheo-0.7.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/d054kxlgwxglcvfv3621rz66jnz7n6jz-coq8.20-mathcomp2.2-infotheo-0.7.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/b7x0i9ssfc2z46i4v5djw7rp181dp09l-coq8.20-mathcomp2.2-infotheo-0.7.3","default":true}]}}}