Ubuntu
elan package

elan 1.4.2-1 source package in Ubuntu

Changelog

elan (1.4.2-1) unstable; urgency=medium

  * New upstream version (1.4.2)
  * Rebase patches

 -- Christopher Hoskin <email address hidden>  Mon, 26 Sep 2022 19:45:42 +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_1.4.2-1.dsc 2.6 KiB c8a0a8c2836474cbafbecb3045ec53ecbe25d2f7eeb391ac6463a9e8c9ca3a67
elan_1.4.2.orig.tar.gz 94.3 KiB d15dc93575601224b73c4744c27f28cb118655659b20d444e93ed63ba30b7def
elan_1.4.2-1.debian.tar.xz 7.1 KiB 4c38bf7ef60ed83ce2bf3a7f58e4e19157605e49b41cfff4344d924a1e348e15

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