{"name":"coqPackages.addition-chains","version":"0.5","summary":"Exponentiation algorithms following addition chains","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7feed2c0bec4161c83509d18089784cfcef49667"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2022-02-20T08:57:45Z"},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98bb5b77c8c6666824a4c13d23befa1e07210ef1"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/8mnd1cja8c5xb5mhlx92qwrmz6xs4fs2-coq8.13-addition-chains-0.5","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7feed2c0bec4161c83509d18089784cfcef49667"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2022-02-20T08:57:45Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7feed2c0bec4161c83509d18089784cfcef49667"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2022-02-20T08:57:45Z"}}}