Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Re-enable Yi, Copilot and Lambdabot (details)
  2. Add pandoc-cli (details)
Commit beefe1eb5ae8ef4ba4481940d4dab0fac9a66e0d by iliastsi
Re-enable Yi, Copilot and Lambdabot
The file was addedpatches/oeis/0.3.10/newer-http
The file was addedpatches/oeis/0.3.10/series
The file was modified packages.txt
The file was addedpatches/copilot-theorem/3.16.1/newer-what4
The file was addedpatches/lambdabot-core/5.3.1.1/series
The file was addedpatches/lambdabot-core/5.3.1.1/newer-dependent-sum-template
The file was addedpatches/copilot-theorem/3.16.1/series
Commit f08950626a094a57293f37bf86205c61dc051633 by iliastsi
Add pandoc-cli

Unfortunately, Stackage LTS 21 doesn't contain the necessary
Pandoc/HsLua versions in order to enable Lua for Pandoc (see also [1]).
Disable Lua support for Pandoc for now, and we will re-enable it once
we move to LTS 22.

[1] https://github.com/commercialhaskell/stack/issues/6260#issuecomment-1751302985
The file was modified packages.txt