软糖-0.18.4.tar.gz(2023-06-27)
这是一个Cabal包，其中包含软糖已经过测试从7.4.1到9.6.2的14个不同版本的GHC。
alfa-201026.tar.gz公司
阴谋集团包包含的版本阿尔法可以使用当前工具进行编译。它包括Agda验证引擎、用于自然语言支持的GF，以及Pesca自动定理证明器。安装后软糖>=0.18.2，一个简单的电缆安装命令应该足以安装它。（根据ghc-7.6.3、ghc-7.10.2、ghc-8.4.4、ghc-8.6.5和ghc-8.10.1进行测试。）
还有一个二进制安装程序包用于macOS.
软糖-0.1.3.2.tar.gz（2022-08-05）
- 这是一个Cabal包，其中包含软糖编译至少具有ghc-7.6.3、ghc-7.10.2、ghc-8.4.4、ghc-8.6.5、ghc-8.8.4、，ghc-8.10.1和ghc-9.4.2。
- 它在Apple Silicon上运行（它与ghc-9.2.4-aarch64-apple-darwin编译）。
软糖-0.18.3.1.tar.gz(2022-03-14)
- 这是一个Cabal包，包含软糖编译至少具有ghc-7.6.3、ghc-7.10.2、ghc-8.4.4、ghc-8.6.5、ghc-8.8.4、，ghc-8.10.1和ghc-9.2.2。
- 这是第一个在Apple Silicon上运行的版本（它与ghc-9.2.2-aarch64-apple-darwin编译）。
- 请参见古老的有关旧版本的信息Fudgets和其他软件。