» Ubuntu » Пакети » jammy (22.04LTS) » Източник » misc » elan
jammy  ] [  jammy-updates  ] [  noble  ] [  noble-updates  ] [  questing  ] [  questing-updates  ] [  resolute  ] [  resolute-updates  ] [  stonking  ]

Пакет-източник: elan (1.3.1-3ubuntu0.1) [security] [universe]

Връзки за elan

Ресурси за Ubuntu:

Отговорник:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Christopher Hoskin

It should generally not be necessary for users to contact the original maintainer.

Външни препратки:

Следните двоични пакети са компилирани от този пакет-източник:
elan
tool for managing installations of the Lean theorem prover

Други пакети, свързани с elan

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download elan

ФайлГолемина (в кБ)контролна сума MD5
elan_1.3.1.orig.tar.gz 93,7 кБ 2ca7f6af1bdd6b53dda2bf23678bf9d9
elan_1.3.1-3ubuntu0.1.debian.tar.xz 7,2 кБ a3b9a69aec360eec018f6748f4ec6d11
elan_1.3.1-3ubuntu0.1.dsc 2,6 кБ 7971cd2f5f23ae9158cb282eeea98959