Come instalare libghc-test-framework-quickcheck2-prof su Debian 9 (Stretch)