eLxr packages

 / Пакеты / Результаты поиска пакетов

Ограничиться комплектом: [aria] [bianca]

Ограничиться архитектурой: [amd64] [arm64]

Вы искали пакеты, в именах которых есть libcoq-stdlib. Были просмотрены все комплекты, все секции и все архитектуры. Количество подходящих пакетов: 1.

Точные совпадения

Пакет libcoq-stdlib

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