paperwork-gtk <-> why3-examples

Version of paperwork-gtk: 2.1.2-1

Architecture of paperwork-gtk: all

Version of why3-examples: 1.6.0-1

Architecture of why3-examples: all

paperwork-gtkwhy3-examples
sizefilenamehash functionsfilename

Details about this service