copilot-theorem fail to build

[yuchangyuan]

Issue description

Haskell package copilot-theorem fail to build. Latest version 2.2.1 of copilot-theorem depend on smtlib2 >=0.3 && <1.0, however default version of smtlib2 on system is 1.0, so fail to build.

Steps to reproduce

Add copilot-theorem to "environment.systemPackages", and build system.

Technical details

• system: "x86_64-linux"
• host os: Linux 4.15.18, NixOS, 18.03.132645.43c77db3aa5 (Impala)
• multi-user?: yes
• sandbox: no
• version: nix-env (Nix) 2.0.4
• nixpkgs: /nix/var/nix/profiles/per-user/root/channels/nixos/nixpkgs

[stale]

Thank you for your contributions.

This has been automatically marked as stale because it has had no activity for 180 days.

If this is still important to you, we ask that you leave a comment below. Your comment can be as simple as "still important to me". This lets people see that at least one person still cares about this. Someone will have to do this at most twice a year if there is no other activity.

Here are suggestions that might help resolve this more quickly:

1. Search for maintainers and people that previously touched the related code and @ mention them in a comment.
2. Ask on the NixOS Discourse.
3. Ask on the #nixos channel on irc.freenode.net.