{"name":"coqPackages.addition-chains","version":"0.6","summary":"Exponentiation algorithms following addition chains","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/zy46mina8qm2brjzaf29pg3vpbinylx4-coq8.18-addition-chains-0.6","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/s20skfz97z6c7nir4cpicin41zll3wf4-coq8.18-addition-chains-0.6","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/wfzgi0029pkpcxligj6mn1bn80mqxhr9-coq8.18-addition-chains-0.6","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/05nhslkk0yv2l8rayckgq2vxr6ic90bc-coq8.18-addition-chains-0.6","default":true}]}}}