Как переключаться между версиями установленного пакета с помощью apt-get? [duplicate]
На этот вопрос уже есть ответ здесь:
На 12.04 у меня установлена последняя версия Ocaml (4.01) со всеми зависимостями. Я пытаюсь установить Coq, который зависит от более старой версии (3.12) среды выполнения ocaml-base-nox (через виртуальную зависимость). Выполнение apt-cache policy ocaml-base-nox дает следующий результат:
ocaml-base-nox:
Installed: 4.01.0-1ppa4~precise
Candidate: 4.01.0-1ppa4~precise
Version table:
*** 4.01.0-1ppa4~precise 0
500 http://ppa.launchpad.net/avsm/ppa/ubuntu/ precise/main amd64 Packages
100 /var/lib/dpkg/status
3.12.1-2ubuntu2 0
500 http://us.archive.ubuntu.com/ubuntu/ precise/main amd64 Packages
Хорошо, проблем быть не должно, верно? Мне просто нужно переключить мою версию на 3.12 для установки/использования coq, затем я могу переключиться обратно на 4.01, когда мне понадобится более новая версия. Мне неясно, как это сделать. После небольшого гугления я попробовал следующее:
$ sudo apt-get install ocaml-base-nox=3.12.1-2ubuntu2
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following packages will be REMOVED:
camlp4 camlp4-extra ocaml ocaml-base ocaml-compiler-libs ocaml-interp ocaml-native-compilers
ocaml-nox
The following packages will be DOWNGRADED:
ocaml-base-nox
0 upgraded, 0 newly installed, 1 downgraded, 8 to remove and 0 not upgraded.
Need to get 596 kB of archives.
After this operation, 205 MB disk space will be freed.
Do you want to continue [Y/n]?
Похоже, что это удалит весь мой стек Ocaml, который мне, вероятно, придется переустановить с нуля, чтобы использовать снова. Более того, большая часть того, для чего я использую Ocaml (проект mirage unikernal), требует версии 4.0 или выше.
Итак, каков же правильный способ переключения между версиями пакетов, если таковой существует? Есть ли способ заставить apt-get установить что-то, не удаляя ничего?
1 ответ
Да, на самом деле Вы, вероятно, не должны делать ни одного того материала вообще. Большую часть времени версия зависимости, определенная в случае как Ваш, для> значение версии, указанная версия или любая больше версия. Если Вы захотите установить coq, просто введите следующие команды, и склонный - добираются, то автоматически назовет необходимые зависимости для Вас. Чтобы сделать это, откройте терминал и введите следующие команды:
sudo apt-get update
sudo apt-get install coq
, Если бы у Вас все еще есть та же проблема, это не была бы проблема для Вас удалить и затем переустановить те пакеты. Если Вы не будете использовать эти purge команда, конфигурационные файлы для удаленного программного обеспечения останутся неповрежденными; переустановка восстановит все пользовательские настройки, и никакая дополнительная установка не должна требоваться.
можно использовать следующую команду для восстановления тех пакетов:
sudo apt-get install camlp4 camlp4-extra ocaml ocaml-base ocaml-compiler-libs ocaml-interp ocaml-native-compilers ocaml-nox