虛擬套件： libcoq-stdpp-1ffk8

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 libcoq-stdpp-1ffk8 的套件