» Ubuntu » Пакеты » resolute (26.04LTS) » Исходный код » misc » elan
jammy  ] [  jammy-updates  ] [  noble  ] [  noble-updates  ] [  questing  ] [  questing-updates  ] [  resolute  ] [  resolute-updates  ] [  stonking  ]

Пакет исходного кода: elan (4.1.2-3.1ubuntu1) [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_4.1.2.orig.tar.gz 97,4 Кб bab9d06bd4f03a2722da1d58e43ceb64
elan_4.1.2-3.1ubuntu1.debian.tar.xz 9,7 Кб d78a9de7e5bf495830a0c3b900373b23
elan_4.1.2-3.1ubuntu1.dsc 2,4 Кб 7c32bba7a14c69533caceac0e171a198
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/debian/elan.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/debian/elan