Пакунок: libcoq-quickchick-dbgsym (2.0-2 and others) [debports]

Links for libcoq-quickchick-dbgsym

Не знайдено

dep: libcoq-quickchick (= 2.0-2+b1)

randomized testing framework for Coq (plugin)

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
ppc64 (unofficial port)	2.0-2+b1	29.1 kB	276.0 kB	[список файлів]
riscv64 (unofficial port)	2.0-2+b1	30.4 kB	265.0 kB	[список файлів]