tüm seçenekler
experimental  ]

Sanal Paket: libcoq-core-ocaml-501i1

Deneysel paket

Uyarı: Bu paket deneysel dağıtımdan geliyor. Bu, paketin kararsız veya hatalı olabileceği hatta veri kaybına sebep olabileceği anlamına gelmektedir. Lütfen kullanmadan önce değişim günlüğüne ve muhtemel diğer belgelendirmeye danıştığınızdan emin olun.

This is a virtual package. See the Debian policy for a definition of virtual packages.

libcoq-core-ocaml-501i1 sağlayan paketler

libcoq-core-ocaml
runtime libraries for Coq