all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: elan (3.1.1-6)

Links for elan

Debian Resources:

Maintainer:

External Resources:

The following binary packages are built from this source package:
elan
tool for managing installations of the Lean theorem prover

Other Packages Related to elan

  • build-depends
  • build-depends-indep

Download elan

FileSize (in kB)MD5 checksum
elan_3.1.1-6.dsc 2.8 kB 94c06bc13e017b509c508d3926522ef5
elan_3.1.1.orig.tar.gz 91.4 kB 4425407238845ce13882eabff7dda283
elan_3.1.1-6.debian.tar.xz 10.3 kB a2f25bfd28267d859569cc1a4cecba1a
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/debian/elan.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/debian/elan