[NO-ISSUE][fix] fix the nix build

[MangoIV]

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
• [ ] I have updated documentation in ./docs/docs if a public feature has a behaviour change

[MangoIV]

If you actually want to start using this you should remove all constraints from the cabal files (only on base) then comment out all source-repository packages in the cabal.project file, as well as the with-compiler stanza

[MangoIV]

something is wrong with the c++ generated by souffle. I don't know what exactly but maybe someone can fix it. at least we have deprecation warnings that error again.

[tchoutri]

@dminuoso if you are interested :point_up:

[tchoutri]

Please re-open if there's interest.