všetky možnosti
bookworm  ] [  trixie  ] [  sid  ]

Zdrojový balík: elan (4.1.2-3.1)

Odkazy pre elan

Zdroje Debian:

Správca:

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
elan
tool for managing installations of the Lean theorem prover

Ostatné balíky súvisiace s balíkom elan

  • build-depends
  • build-depends-indep

Download elan

SúborVeľkosť (v kB)kontrolný súčet MD5
elan_4.1.2-3.1.dsc 2.6 kB 696bdab2f0d7156e4e57c5804d85b8f2
elan_4.1.2.orig.tar.gz 97.4 kB bab9d06bd4f03a2722da1d58e43ceb64
elan_4.1.2-3.1.debian.tar.xz 9.5 kB baf057f3a5f68d2a46b8ab1d2bac8ee5
Úložisko zdrojových balíkov Debianu (VCS: Git)
https://salsa.debian.org/debian/elan.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
https://salsa.debian.org/debian/elan