阿尔法-201026。焦油。广州
阴谋集团包含的版本阿尔法可以使用当前工具进行编译。它包括Agda proof引擎、支持自然语言的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.18.3.1。焦油。广州（2022年3月14日）
- 这是一个包含胡说八道编译至少有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。
- 这是第一个在苹果硅上运行的版本（它是用ghc-9.2.2-aarch64-apple-darwin编译的）。
福吉-201103。焦油。广州(福吉-0.18.2)
- 包含胡说八道编译至少ghc-7.6.3、ghc-7.10.2、ghc-8.4.4、ghc-8.6.5和ghc-8.10.1。
- 它不再依赖于hbc库，所以
电缆安装命令应该足以安装它。 - 生成文档的程序GenDoc有复活了福吉特图书馆参考手册已更新以匹配当前源。
- 各种清理和修复。删除了一些过时的模块。
- 看到了吗古老的有关以前快照的信息无稽之谈。