Version of python3-dotenv-cli: 3.3.0-1
Architecture of python3-dotenv-cli: all
Version of why3-examples: 1.6.0-1
Architecture of why3-examples: all