我正在使用精益定理证明器，我想构建类似堆栈的功能并开始构建库缓存。我不确定的一件事是何时删除缓存中的旧包。我可以认为，如果我安装了两个版本的Lean，比如3.3.0和3.3.1，我可以争辩保留所有适用于这些版本的软件包的所有版本。由于精益语法移动速度很快，因此限制性很强。
另一方面，我可以看到只保留任何给定包的10个版本。这可能是10个最新版本或10个最近请求的版本。
我很想知道构建RelativeFunctionBreakpoint("yourFunctionName", lineOffset=5)
及相关工具时考虑的一些想法。
答案 0 :(得分：3)
4将包永久保存在 中。或者直到您手动删除这些包。 stack中没有实现快照垃圾收集。所以你只能手动调用
stack删除整个堆栈缓存。一般来说，良好做法是定期清除已经累积一段时间的过期包裹。但如果您手动更改，请务必备份rm -rf ~/.stack
。
.stack/global-project/stack.yaml命令正在开发中：