Version of ruby-password: 0.5.3-5+b5
Architecture of ruby-password: amd64
Version of why3-examples: 1.6.0-1
Architecture of why3-examples: all