все параметры
bookworm  ] [  trixie  ] [  sid  ]

Пакет исходного кода: elan (4.1.2-3.1)

Ссылки для elan

Ресурсы Debian:

Сопровождающий:

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
elan
tool for managing installations of the Lean theorem prover

Другие пакеты, относящиеся к elan

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

Download elan

ФайлРазмер (в Кб)Контрольная сумма MD5
elan_4.1.2-3.1.dsc 2,6 Кб 696bdab2f0d7156e4e57c5804d85b8f2
elan_4.1.2.orig.tar.gz 97,4 Кб bab9d06bd4f03a2722da1d58e43ceb64
elan_4.1.2-3.1.debian.tar.xz 9,5 Кб baf057f3a5f68d2a46b8ab1d2bac8ee5
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/debian/elan.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/debian/elan