Каковы шаги по установке и запуску MySQL на macOS (Sierra) с помощью Nix? Я могу установить mysql с помощью nix-env -i -A nixpkgs.mysql57. Однако я не могу понять, как запустить сервер MySQL. К моему ...

Я видел, что с наложением мы можем легко настроить nixpkgs. Быстрый поиск по Google. Я получаю довольно приятный результат, например: # Создание наложения let overlay1 = self: super: {google -...

Еще раз, я хочу установить Coq, поэтому я вынужден выбирать между OPAM и Nix. Поскольку я хотел бы установить одну / менее Мбит / с зависимостей, вопрос прост: какая из них соответствует ...