Конец истории. Немного perf’а — и я выяснил, что две минуты ебет CPU некое dose3. > Resolving package installations in the presence of dependencies and conflicts is known to be an NP-complete problem. Thankfully, a big effort has already been put into solving it efficiently. > A fundamental distinguishing feature of the opam package manager is the fact that it is designed to reuse state-of-the-art dependency solving technology that gives the users the possibility to express their preferences regarding the operations to be performed during an installation, instead of being bound to an hard-coded strategy. Десятки велосипедных пакетных менеджеров, как велосипедных, так и системных, резолвят зависимости на гораздо более крупном множестве пакетов? Но ведь это полная хуета! Это НЕНАУЧНО. Это NP-полная проблема! И только мы ее эффективно решаем! Две минуты! Всего за две минуты мы вычситываем, какую версию окамла поставить! Бесползено жаловаться в issues на гитхабе. Это NOTABUG. Научно доказано, что это NP-полная проблема.