Да, пожалуй, пользователю придется столкнуться с Paket. Зависимости между пакетами в Aardvark, кажется, изначально прописывались под алгоритм разрешения зависимостей в Paket, и любое обновление без него становится нетривиальным.
люди часто и не против) вот я сам того не осознавая несколько людей перевел на пакет просто тем, что пример с пульсаром запускается через пакет)