Version of python3-click-threading: 0.5.0-2
Architecture of python3-click-threading: all
Version of acl2-source: 8.5dfsg-5
Architecture of acl2-source: all