» 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

  • для сборки
  • build-depends-indep

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