Version of python3-hypothesis-auto: 1.1.4-4
Architecture of python3-hypothesis-auto: all
Version of swi-prolog-test: 9.0.4+dfsg-4
Architecture of swi-prolog-test: all