Ubuntu
elan package

elan 1.4.2-4 source package in Ubuntu

Changelog

elan (1.4.2-4) unstable; urgency=medium

  [ Peter Michael Green ]
  * Build-depend explicitly on clap 2.x (Closes: #1028653)
  * Update cargo dependency for zstd 0.11 and update Debian dependency
    to match. (Closes: #1028872)

  [ Christopher Hoskin ]
  * Update copyright

 -- Christopher Hoskin <email address hidden>  Mon, 16 Jan 2023 21:17:12 +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-4.dsc 2.7 KiB b2f04eea8f867bd1548b02b45df6333e90cb3323c0994ea64d82b75a76b377c0
elan_1.4.2.orig.tar.gz 94.3 KiB d15dc93575601224b73c4744c27f28cb118655659b20d444e93ed63ba30b7def
elan_1.4.2-4.debian.tar.xz 6.3 KiB 56bfd88c405f2a00df07a1d6e14b19437b1a5066dfab16b48ddd44046d827e7f

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