Version of python3-mando: 0.7.1-2
Architecture of python3-mando: all
Version of gnat-gps-doc: 19.2-3
Architecture of gnat-gps-doc: all