{"name":"coqPackages.addition-chains","version":"0.4","summary":"Exponentiation algorithms following addition chains","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee084c02040e864eeeb4cf4f8538d92f7c675671"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2021-10-04T06:34:54Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee084c02040e864eeeb4cf4f8538d92f7c675671"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2021-10-04T06:34:54Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee084c02040e864eeeb4cf4f8538d92f7c675671"},"attr_path":"coqPackages.addition-chains"},"last_updated":"2021-10-04T06:34:54Z"}}}