Şu takıma sınırla: [aria] [bianca]

Mimariye sınırla: [amd64] [arm64]

tüm takımlar takımının tüm bölümler bölümlerinde ve tüm mimariler mimarilerinde, libcoq-stdlib sözünü barındıran paketler aradınız 1 eşleşen paket bulundu.

Tam eşleşmeler

libcoq-stdlib Paketi

• bianca (stable) (math): proof assistant for higher-order logic (theories)
  8.20.1+dfsg-1+b1: amd64 arm64