Virtuelles Paket: libssreflect-ocaml-ydkt8

Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.

Pakete, die libssreflect-ocaml-ydkt8 bereitstellen

libssreflect-ocaml: small scale reflection extension for Coq (plugin)

This page is also available in the following languages:

Български (Bəlgarski) English suomi français magyar 日本語 (Nihongo) Nederlands polski Русский (Russkij) slovensky svenska українська (ukrajins'ka) 中文 (Zhongwen,简) 中文 (Zhongwen,繁)

Um ein Problem mit der Web-Site zu berichten, schreiben Sie eine E-Mail an rhonda@ubuntu.com (auf Englisch). Für weitere Kontaktinformationen sollten Sie auf die Ubuntu-Kontakt-Seite schauen.