Version of lava-server: 2023.01-2
Architecture of lava-server: all
Version of libodoc-ocaml-dev: 2.4.1-1
Architecture of libodoc-ocaml-dev: amd64