Version of gnome-mousetrap: 3.17.3-9
Architecture of gnome-mousetrap: all
Version of libmenhir-ocaml-dev: 20231231+ds-1
Architecture of libmenhir-ocaml-dev: amd64