Ubuntu
elan package

elan 1.3.1-1 source package in Ubuntu

Changelog

elan (1.3.1-1) unstable; urgency=medium

  [ Peter Michael Green ]
  * Non-maintainer upload.
  * Relax cargo dependencies on itertools and rand ( Closes: 999575 ).
  * Remove cargo dependency on the "vendored" feature of the openssl crate,
    it has been removed in current Debian packaging of that crate (and was a
    no-op before that)
  * Change Debian dependency to depend on librust-semver-0.9-dev
    instead of librust-semver-dev.

  [ Christopher Hoskin ]
  * Add debian/gbp.conf 
  * Import new upstream version (1.3.1)
  * Update patches
  * Switch to gbp pq
  * Revert support for zst archives
  * Depend on librust-zip+time-dev
  * Complete update of dependency patch

 -- Christopher Hoskin <email address hidden>  Wed, 26 Jan 2022 20:16:00 +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-1.dsc 2.5 KiB f9fa836a82b0b6c2db52c39633d97b1c0a0aad8b5b7f4c83e084314b67fbf33a
elan_1.3.1.orig.tar.gz 93.7 KiB 8e1380a1cb20cec54f07e30519ad7bc0179d9e3d68d33c02d0476248322b5015
elan_1.3.1-1.debian.tar.xz 6.9 KiB 803d99b13b7d723f70161f558adab18669c41fe7e2441cebc8d9e2c4382fc02e

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