Version of syrthes-tests: 4.3.5+20200129-dfsg1-1
Architecture of syrthes-tests: all
Version of giac-doc: 1.9.0.93+dfsg2-2
Architecture of giac-doc: all