Version of python3-dugong: 3.8.1+dfsg-1
Architecture of python3-dugong: all
Version of acl2-source: 8.5dfsg-5
Architecture of acl2-source: all