@hackage funsat versions

7 results