apt-pbo: Package 'libsqlite3-ocaml-dev' is already installed. apt-pbo: Package 'tetex-frogg' is already installed.