Ubuntu
elan package

elan 3.1.0-1 source package in Ubuntu

Changelog

elan (3.1.0-1) unstable; urgency=medium

  * Import new upstream version (3.1.0)
  * Update patches

 -- Christopher Hoskin <email address hidden>  Tue, 20 Feb 2024 20:21:21 +0000

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.0-1.dsc 2.7 KiB e33e952bb536e93e2137c4aa3eb120a5483b8f8207331ebd7bef7071a6a3b614
elan_3.1.0.orig.tar.gz 91.4 KiB 634366078812599bef485eec3af25bc3fa88da6dbe39414128b9c9e14a681a0a
elan_3.1.0-1.debian.tar.xz 6.1 KiB 532479c32a21ec33c97c83c55acc01e10d1f23c68cfc39fcd1700939a0881a18

Available diffs

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