Version of why3-examples: 1.6.0-1
Architecture of why3-examples: all
Version of i3pystatus: 3.35+git20191126.5a8eaf4-2.1
Architecture of i3pystatus: all