{"name":"coqPackages.mathcomp-infotheo","version":"0.5.2","summary":"A Coq formalization of information theory and linear error-correcting codes","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0b7a892fb042ede583bdaecbbdc804acb85eabe"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/j2lpycp7w9ipibp4prvslsds2wzhip85-coq8.18-mathcomp1.18-infotheo-0.5.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0b7a892fb042ede583bdaecbbdc804acb85eabe"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/q96frd70nkyhzmz9nw19m2rm7bc51c7g-coq8.18-mathcomp1.18-infotheo-0.5.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0b7a892fb042ede583bdaecbbdc804acb85eabe"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/x63scfwm1ai4jljwxycj3g1d8xm44w1c-coq8.18-mathcomp1.18-infotheo-0.5.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"160b762eda6d139ac10ae081f8f78d640dd523eb"},"attr_path":"coqPackages.mathcomp-infotheo"},"last_updated":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/zzk9ph6cbv8ddj7k210q9qxxdw99xsk9-coq8.18-mathcomp1.18-infotheo-0.5.2","default":true}]}}}