Ubuntu
elan package

elan 1.3.1-2 source package in Ubuntu

Changelog

elan (1.3.1-2) unstable; urgency=medium

  * Update copyright
  * Changelog whitespace
  * DEP-3 headers
  * Bump standards-version 4.5.1 to 4.6.0.1 (no change required)

 -- Christopher Hoskin <email address hidden>  Thu, 27 Jan 2022 08:33:25 +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.3.1-2.dsc 2.5 KiB f3471bb7ed9054cb42878b3704e19cc50deffec746e0ee343e72b905b5336202
elan_1.3.1.orig.tar.gz 93.7 KiB 8e1380a1cb20cec54f07e30519ad7bc0179d9e3d68d33c02d0476248322b5015
elan_1.3.1-2.debian.tar.xz 7.1 KiB 5b96a2033f45ae6f0db26ace507bd2c0249128f4167b5a5db4118b0769b578e0

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