Пакет libpicosat-devel: Файлы
Права | Путь | Размер | Дата |
---|---|---|---|
-rw-r--r-- | /usr/include/config.h | 119.0 B | 12 июля 2020 г. 15:02 |
-rw-r--r-- | /usr/include/picosat.h | 28.0 KB | 12 июля 2020 г. 15:02 |
lrwxrwxrwx | /usr/lib/libpicosat.so —> libpicosat.so.0 | 15.0 B | 12 июля 2020 г. 15:02 |