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

Zdrojový balík: elan (1.4.2-5)

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_1.4.2-5.dsc 2.7 kB 15e992ad2954cac54ae1749bc6ed65f6
elan_1.4.2.orig.tar.gz 94.3 kB 77e0419cdd4efa29349e24f695a06240
elan_1.4.2-5.debian.tar.xz 6.3 kB e45ae1b1839c96bf1e5306714e0074c5
Ú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