Pacote Ubuntu para analisador de liga?

Question

Então eu estou experimentando com o Ubuntu 12.04 depois de usar o ArchLinux nos últimos 2 anos ou mais. Estou procurando um pacote do Ubuntu para Alloy Analyzer e não consigo encontrar um.

Eu tenho dificuldade em acreditar que os repositórios de pacotes do Arch são mais completos do que os repositórios do Ubuntu, então eu suponho que estou sendo apenas um manequim. Eu não consigo encontrá-lo através do centro de software ou apt-cache search embora. Alguma sugestão? Eu acredito que o pacote Arch pode estar no AUR, o Ubuntu tem um equivalente?

Obrigado

    

Answer 1

% bl0ck_qu0te%

O equivalente para Arch User Repositories "no Ubuntu são chamados de PPAs (arquivos de pacotes pessoais). Veja link para mais informações.

Dito isto, não encontrei nenhum PPA contendo o Alloy Analyzer. Talvez o motivo seja porque toda a "instalação" necessária é o download e a execução de um arquivo JAR?

A única atualização / verificação que você pode exigir é um simples wget para verificar e baixar uma versão mais recente:

wget -N http://alloy.mit.edu/alloy/downloads/alloy4.jar

de vez em quando. Ou faça disso um cron job se você quiser:)

    

Answer 2

Talvez seja uma sugestão estúpida, mas você tentou baixar o arquivo jar e executá-lo?