Ubuntu
elan package

elan 3.1.1-1 source package in Ubuntu

Changelog

elan (3.1.1-1) unstable; urgency=medium

  * Import new upstream version (3.1.1)

 -- Christopher Hoskin <email address hidden>  Fri, 03 May 2024 20:04:40 +0100

Upload details

Uploaded by:
Christopher Hoskin
Uploaded to:
Sid
Original maintainer:
Christopher Hoskin
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
elan_3.1.1-1.dsc 2.7 KiB 8fb48dea116b0842777af2db9da294bacc5b10157319e793c6e1d8a3381e773f
elan_3.1.1.orig.tar.gz 91.4 KiB b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c
elan_3.1.1-1.debian.tar.xz 6.1 KiB 5b9216d642019415fdf9eef39e17be8ae6704a834ab5f6bb54fe2f2c0875ea68

No changes file available.

Binary packages built by this source

elan: tool for managing installations of the Lean theorem prover

 elan is a small tool for managing your installations of the Lean theorem
 prover. It places lean and leanpkg binaries in your PATH that automatically
 select and, if necessary, download the Lean version described in the
 lean_version field of your project's leanpkg.toml. You can also install,
 select, run, and uninstall Lean versions manually using the commands of the
 elan executable.

elan-dbgsym: debug symbols for elan