{"name":"coqPackages.mathcomp-infotheo","summary":"Coq formalization of information theory and linear error-correcting codes","description":"","homepage_url":"https://github.com/affeldt-aist/infotheo","license":"LGPL-2.1-or-later","attribute_paths":["coqPackages.mathcomp-infotheo"],"releases":[{"version":"0.9.7","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/7bs813958s2lccvg152q2df428i3zn7k-coq9.1-mathcomp2.5-infotheo-0.9.7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/mg1755hxyr7qf1l942ap8qwj1bbiy80n-coq9.1-mathcomp2.5-infotheo-0.9.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/ql7glysnkfl9nqd08avl138rh214hd1p-coq9.1-mathcomp2.5-infotheo-0.9.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/rwkl4aslwkgxnqjqbp4d72cancp5qzrv-coq9.1-mathcomp2.5-infotheo-0.9.7","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.6","last_updated":"2026-03-12T22:11:02Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/fcnrrpg15ym17xcf133qwb25mcs8982v-coq9.0-mathcomp2.5-infotheo-0.9.6","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/dij5g7r1nayvbx4j0mb9l5dmk955f4am-coq9.0-mathcomp2.5-infotheo-0.9.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/75xp7z758fw0fhxjah1dl90gzlh82ycv-coq9.0-mathcomp2.5-infotheo-0.9.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"24f4544180242cd80bb2492ce6907243bc716e08","date":"2026-03-12T22:11:02Z","outputs":[{"name":"out","path":"/nix/store/6zpp9w06bjicm96xag1g16wg8sh8gnqn-coq9.0-mathcomp2.5-infotheo-0.9.6","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.9.1","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/gnrrxi3ldjjbjrs80g25j0jy6np756pz-coq8.20-mathcomp2.3-infotheo-0.9.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/2fjk4g9s7zm0hpn7nmp2li7fv2hd4ksh-coq8.20-mathcomp2.3-infotheo-0.9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/2hpaa1lgrj0rmygfcbximlcx8ym2awbd-coq8.20-mathcomp2.3-infotheo-0.9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/v34k7w7fjzf2p4yxnkvdsajwpp38zspc-coq8.20-mathcomp2.3-infotheo-0.9.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.7","last_updated":"2025-02-23T09:42:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/c4d1b6figyakqxvasjnji7f19a5dpqmn-coq8.20-mathcomp2.3-infotheo-0.7.7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"dad564433178067be1fbdfcce23b546254b6d641","date":"2025-02-20T02:45:56Z","outputs":[{"name":"out","path":"/nix/store/a6j6kkndvyk7l9v3ssb4cmh3cbfw71xf-coq8.20-mathcomp2.3-infotheo-0.7.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/9j4gwy23mdjy2sdr91cxnsh58jvkb786-coq8.20-mathcomp2.3-infotheo-0.7.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"2d068ae5c6516b2d04562de50a58c682540de9bf","date":"2025-02-23T09:42:26Z","outputs":[{"name":"out","path":"/nix/store/azrvps02rmvvpfgvxlxn8x0shlvmsina-coq8.20-mathcomp2.3-infotheo-0.7.7","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.5","last_updated":"2025-01-05T01:56:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/fqki9bsxg56qnz174fg360g7rjjxsy92-coq8.20-mathcomp2.2-infotheo-0.7.5","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/6289hd8m582xgf8wk34ja6cjwivgv911-coq8.20-mathcomp2.2-infotheo-0.7.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/09cb94056yyqk1vaf7fcamkri48q6rd4-coq8.20-mathcomp2.2-infotheo-0.7.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"bf689c40d035239a489de5997a4da5352434632e","date":"2025-01-05T01:56:15Z","outputs":[{"name":"out","path":"/nix/store/hlxrx9ag45ns9h67sba2q9khims5ia4s-coq8.20-mathcomp2.2-infotheo-0.7.5","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.3","last_updated":"2024-12-03T12:40:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/7w1c1j91qi8w47mvfviiqmxdmpda783x-coq8.20-mathcomp2.2-infotheo-0.7.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/9zw3ywy4arvh3xpccw9qcl5jap5y7177-coq8.20-mathcomp2.2-infotheo-0.7.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/d054kxlgwxglcvfv3621rz66jnz7n6jz-coq8.20-mathcomp2.2-infotheo-0.7.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/b7x0i9ssfc2z46i4v5djw7rp181dp09l-coq8.20-mathcomp2.2-infotheo-0.7.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.1","last_updated":"2024-09-02T11:22:49Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/zivvjcf487h8329x8kk1mz1alvwy170h-coq8.19-mathcomp2.2-infotheo-0.7.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/ccbql4bwnxyc7axdsh6zwfynv4q1fwkz-coq8.19-mathcomp2.2-infotheo-0.7.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/jylcrhqr3k0dzrnfv6wa5rrzjgfqb3aq-coq8.19-mathcomp2.2-infotheo-0.7.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"51b45dc262830ab95c7b9b039bb4f911d4b2509b","date":"2024-09-02T11:22:49Z","outputs":[{"name":"out","path":"/nix/store/rj6a5vryz84szywwnbfp3j0ndxq9xwmr-coq8.19-mathcomp2.2-infotheo-0.7.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.1","last_updated":"2024-08-14T11:41:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/ymfqby3jsdqkgy7gg9bq53c2qzkj1xzq-coq8.19-mathcomp1.19-infotheo-0.6.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/vwdkfjqlkq54bmmvbjw2abrys0ipsqxv-coq8.19-mathcomp1.19-infotheo-0.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/fz3sqbiv2wvixsil9lbmigcgackpfabp-coq8.19-mathcomp1.19-infotheo-0.6.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465","date":"2024-08-14T11:41:26Z","outputs":[{"name":"out","path":"/nix/store/2b0cncngz58l96fb0j5rmiiids818s3b-coq8.19-mathcomp1.19-infotheo-0.6.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.5.2","last_updated":"2024-02-08T11:55:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"c0b7a892fb042ede583bdaecbbdc804acb85eabe","date":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/j2lpycp7w9ipibp4prvslsds2wzhip85-coq8.18-mathcomp1.18-infotheo-0.5.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"c0b7a892fb042ede583bdaecbbdc804acb85eabe","date":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/q96frd70nkyhzmz9nw19m2rm7bc51c7g-coq8.18-mathcomp1.18-infotheo-0.5.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"c0b7a892fb042ede583bdaecbbdc804acb85eabe","date":"2024-02-08T11:55:47Z","outputs":[{"name":"out","path":"/nix/store/x63scfwm1ai4jljwxycj3g1d8xm44w1c-coq8.18-mathcomp1.18-infotheo-0.5.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.mathcomp-infotheo","commit_hash":"160b762eda6d139ac10ae081f8f78d640dd523eb","date":"2024-01-27T14:55:31Z","outputs":[{"name":"out","path":"/nix/store/zzk9ph6cbv8ddj7k210q9qxxdw99xsk9-coq8.18-mathcomp1.18-infotheo-0.5.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}