1  packages: lib, demo
2  
3  allow-newer: sop-core:base
4  
5  package falsify
6    tests: true
7    ghc-options: -Werror