flora-server icon indicating copy to clipboard operation
flora-server copied to clipboard
verified publisher icon flora-pm

Bump souffle-haskell to 3.5

Open matobet opened this issue 3 years ago • 1 comments

Proposed changes

Contributor checklist

  • [ ] My PR is related to <insert ticket number>
  • [ ] I have read and understood the CONTRIBUTING guide
  • [ ] I have inserted my change and a link to this PR in the CHANGELOG

matobet avatar Oct 08 '22 10:10 matobet

@matobet Thanks for the contribution! I believe that souffle-haskell 3.5 needs Souffle Datalog 2.3 actually. I'm not sure if it's worth the trouble of updating everything (including the Dockerfile and the nix environment).

tchoutri avatar Oct 08 '22 10:10 tchoutri