Ubuntu
elan package

elan 2.0.0-1 source package in Ubuntu

Changelog

elan (2.0.0-1) unstable; urgency=medium

  * Import new upstream version (2.0.0)
  * Update patches
  * Bump standards-version from 4.6.1.0 to 4.6.2 (no change)

 -- Christopher Hoskin <email address hidden>  Sat, 08 Jul 2023 13:44:10 +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
Mantic release universe misc

Downloads

File Size SHA-256 Checksum
elan_2.0.0-1.dsc 2.7 KiB 7f1f87661f85f30b53a7d4dca27ed4d0c9c07efac90f5213b0b476ff35573138
elan_2.0.0.orig.tar.gz 93.1 KiB defa9272887312038e4154aea0ab7e6864eb08ac10aa815616aa06569d1b32a1
elan_2.0.0-1.debian.tar.xz 5.6 KiB f6ab4255b7c15f6c63031dc681fa16f992285ed883c3393e5abfbe848480e0bb

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