{"name":"coqPackages.addition-chains","summary":"Exponentiation algorithms following addition chains","description":"Addition chains are algorithms for computations of the p-th\npower of some x, with the least number of multiplication as\npossible. We present a few implementations of addition chains,\nwith proofs of their correctness.","homepage_url":"https://github.com/coq-community/hydra-battles","license":"MIT","attribute_paths":["coqPackages.addition-chains"],"releases":[{"version":"0.6","last_updated":"2024-04-24T04:52:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.addition-chains","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/zy46mina8qm2brjzaf29pg3vpbinylx4-coq8.18-addition-chains-0.6","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.addition-chains","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/s20skfz97z6c7nir4cpicin41zll3wf4-coq8.18-addition-chains-0.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.addition-chains","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/wfzgi0029pkpcxligj6mn1bn80mqxhr9-coq8.18-addition-chains-0.6","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.addition-chains","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/05nhslkk0yv2l8rayckgq2vxr6ic90bc-coq8.18-addition-chains-0.6","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.5","last_updated":"2022-02-20T08:57:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.addition-chains","commit_hash":"7feed2c0bec4161c83509d18089784cfcef49667","date":"2022-02-20T08:57:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.addition-chains","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/8mnd1cja8c5xb5mhlx92qwrmz6xs4fs2-coq8.13-addition-chains-0.5","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.addition-chains","commit_hash":"7feed2c0bec4161c83509d18089784cfcef49667","date":"2022-02-20T08:57:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.addition-chains","commit_hash":"7feed2c0bec4161c83509d18089784cfcef49667","date":"2022-02-20T08:57:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.4","last_updated":"2021-10-04T06:34:54Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.addition-chains","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.addition-chains","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.addition-chains","commit_hash":"ee084c02040e864eeeb4cf4f8538d92f7c675671","date":"2021-10-04T06:34:54Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}