解决Devenv项目中Android SDK平台下载哈希不匹配问题

在开发环境中使用Devenv工具配置Android开发环境时，可能会遇到一个常见问题：Android SDK平台下载过程中出现哈希值不匹配的错误。这个问题通常表现为构建过程中系统报告的预期哈希值与实际下载文件的哈希值不一致。

问题现象

当用户尝试运行包含Android SDK配置的Devenv环境时，系统会抛出类似以下的错误信息：

error: hash mismatch in fixed-output derivation
specified: sha1-KgsGocibUqPXDOXUBVSwlMHB0Kw=
got:    sha1-C7VgqQp6LL0N2DSCJNUYtjj+eUk=

这种错误会导致整个Android SDK构建过程失败，进而影响开发环境的正常启动。值得注意的是，这个问题可能出现在用户并未显式请求下载特定平台版本的情况下。

问题根源

经过技术分析，这个问题主要源于Nixpkgs仓库中Android SDK相关包的定义。具体来说：

1. Android SDK平台包的哈希值在Nixpkgs中被硬编码为特定值
2. 当Google更新其服务器上的平台文件时，实际下载内容的哈希值发生了变化
3. 由于Nix的确定性构建特性，哈希不匹配会导致构建失败

解决方案

目前有两种可行的解决方法：

1. 使用rolling分支的Nixpkgs：在devenv.yaml配置文件中，将nixpkgs源指向github:cachix/devenv-nixpkgs/rolling分支。这个分支通常包含了最新的修复和更新。

2. 等待上游修复：这个问题已经被确认为Nixpkgs仓库中的问题，可以等待官方修复后更新依赖。

技术背景

Nix构建系统的一个核心特性是确定性构建，它通过哈希校验确保构建结果的可靠性。对于固定输出 derivation（如从网络下载的文件），Nix要求预先指定预期的哈希值。当远程资源发生变化而哈希值未同步更新时，就会导致这种构建失败。

对于Android开发环境配置，建议开发者：

1. 定期检查并更新Nixpkgs引用
2. 在团队内部统一开发环境的配置版本
3. 考虑使用缓存服务器加速依赖下载

这个问题也提醒我们，在使用版本固定的构建系统时，需要特别注意外部依赖可能发生的变化。