Ş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-aac-tactics sözünü barındıran paketler aradınız 1 eşleşen paket bulundu.

Tam eşleşmeler

libcoq-aac-tactics Paketi

• bianca (stable) (math): Coq tactics for reasoning modulo AC (theories)
  8.20.0-1+b4: amd64 arm64