Ubuntu
elan package

elan 1.4.2-2 source package in Ubuntu

Changelog

elan (1.4.2-2) unstable; urgency=medium

  * Add lake symlink
  * changelog whitespace
  * Restore zstd support

 -- Christopher Hoskin <email address hidden>  Thu, 01 Dec 2022 20:58:32 +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_1.4.2-2.dsc 2.6 KiB 542130a00cd8a5ee6b6d3ffb410ea7b7d3d77a458e219e61ca0dc234fa9de9fb
elan_1.4.2.orig.tar.gz 94.3 KiB d15dc93575601224b73c4744c27f28cb118655659b20d444e93ed63ba30b7def
elan_1.4.2-2.debian.tar.xz 5.4 KiB c47f26d246f305ec9a0c93703c1770572d31cb885c735fa078aba1cd7125e398

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