Ubuntu
elan package

elan 3.1.0-1build1 source package in Ubuntu

Changelog

elan (3.1.0-1build1) noble; urgency=medium

  * No-change rebuild against libcurl3t64-gnutls

 -- Steve Langasek <email address hidden>  Sat, 16 Mar 2024 06:51:17 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
elan_3.1.0.orig.tar.gz 91.4 KiB 634366078812599bef485eec3af25bc3fa88da6dbe39414128b9c9e14a681a0a
elan_3.1.0-1build1.debian.tar.xz 6.2 KiB 5ec0a5dad5759887b71ce486290550973e4d54b3f7c3bcab99bc280a41090e6c
elan_3.1.0-1build1.dsc 2.9 KiB de9273e3424abcd92d23763579e3f62083bb2a3c7e7b3fba4ed0bd72aa21826a

View changes file

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