Version of gnat-gps-doc: 19.2-3
Architecture of gnat-gps-doc: all
Version of python3-serverfiles: 0.3.0-3
Architecture of python3-serverfiles: all