Пакет libpicosat-devel: Файлы
Права | Путь | Размер | Дата |
---|---|---|---|
-rw-r--r-- | /usr/include/config.h | 119.0 B | 2 апреля 2016 г. 12:30 |
-rw-r--r-- | /usr/include/picosat.h | 27.6 KB | 17 марта 2016 г. 18:31 |
lrwxrwxrwx | /usr/lib/libpicosat.so —> libpicosat.so.0 | 15.0 B | 2 апреля 2016 г. 12:30 |