libtest-check-clojure 1.1.0-2 (amd64 binary) in ubuntu lunar

 The core idea of test.check is that instead of enumerating expected
 input and output for unit tests, you write properties about your
 function that should hold true for all inputs, allowing you to write
 concise, powerful tests.