Пакет libpicosat-devel: Файлы
Права | Путь | Размер | Дата |
---|---|---|---|
-rw-r--r-- | /usr/include/config.h | 119.0 B | 16 апреля 2019 г. 3:50 |
-rw-r--r-- | /usr/include/picosat.h | 28.0 KB | 12 апреля 2019 г. 14:49 |
lrwxrwxrwx | /usr/lib/libpicosat.so —> libpicosat.so.0 | 15.0 B | 16 апреля 2019 г. 3:50 |