#1012284 elan - FTBFS unsatisfiable cargo dependencies

Package:
elan
Source:
elan
Description:
tool for managing installations of the Lean theorem prover
Submitter:
Peter Michael Green
Date:
2022-06-27 01:51:03 UTC
Severity:
serious
Tags:
#1012284#5
Date:
2022-06-02 23:14:12 UTC
From:
To:
A number of rust crates have been updated recently, as a result your
package no longer builds, I have updated the patches to relax the
dependencies and was able to succesfully build the package, I have not
tested it beyond that.

#1012284#10
Date:
2022-06-23 17:26:56 UTC
From:
To:
Another dependency just got updated. Debdiff to make the package build with what is currently in sid attatched.

As before I have tested the package builds but not beyond that.

#1012284#15
Date:
2022-06-27 01:48:48 UTC
From:
To:
We believe that the bug you reported is fixed in the latest version of
elan, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1012284@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Christopher Hoskin <mans0954@debian.org> (supplier of updated elan package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Mon, 27 Jun 2022 02:29:35 +0100
Source: elan
Architecture: source
Version: 1.4.1-1
Distribution: unstable
Urgency: medium
Maintainer: Christopher Hoskin <mans0954@debian.org>
Changed-By: Christopher Hoskin <mans0954@debian.org>
Closes: 1012284
Changes:
 elan (1.4.1-1) unstable; urgency=medium
 .
   * Fix malformed changelog
   * Import new upstream version (1.4.1)
   * Fix "elan - FTBFS unsatisfiable cargo dependencies" updated dependencies
     patch (Closes: #1012284)
   * Bump Standards-Version from 4.6.0.1 to 4.6.1.0 (no change required)
   * Uncomment VCS links
Checksums-Sha1:
 bab0587e0168a62f0e48ea9befba8b682a3a61bd 2663 elan_1.4.1-1.dsc
 ac0cac5c545ac739786972120eff84f4f1da84b0 96616 elan_1.4.1.orig.tar.gz
 3bc7c719c0122411f3092b08c3d81b0cf5768809 7176 elan_1.4.1-1.debian.tar.xz
 304e281d2b61672b24e46dd5c79afd74611487f4 14482 elan_1.4.1-1_amd64.buildinfo
Checksums-Sha256:
 9255d76e6deb5495fdacdee45efa5f1aed873dacf6b099a19e559785cf754616 2663 elan_1.4.1-1.dsc
 eac4925100624e1d77d70a35408805fb88672e87b60a44fd93c31e8cfa4bfa91 96616 elan_1.4.1.orig.tar.gz
 8cc93ba232ae721c4536ea10d9191efb23115af71b335faf29b3d3bf4778a625 7176 elan_1.4.1-1.debian.tar.xz
 f418bd7112717e7d0d7e627763393bcf215a04f8c608d43ee8e74cc242b2b369 14482 elan_1.4.1-1_amd64.buildinfo
Files:
 f0160e6d90a0ee0d23bae9bfea322776 2663 math optional elan_1.4.1-1.dsc
 e0c6617b0ebde2143ac76382cd579923 96616 math optional elan_1.4.1.orig.tar.gz
 c0e2fe2758cbbbe8831a1e6a8c8d2499 7176 math optional elan_1.4.1-1.debian.tar.xz
 de1401c0b0751ae6265dc2367e06452d 14482 math optional elan_1.4.1-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmK5CNoACgkQf6qUsnUU
Spo/+A/9GBWfQj3QcGKZYSdliLTCSq/qOQc4WcFOPelNJCbxek6SVb4VdK0gap6V
ygqCQmY+X206fH0XlqCF+baCFyYalaajQOCvm2aNUpkUVqkymhFyK9N/Sku3BV7Q
H4BdJh0mSCUoeajfyKt33kpJ7khAt0oWOZLgToSaNRg3mhYOiP7uM0IRePf1CPAh
53pE7DLmyOWXaXpqv5KnzN2cclxxI8kCTBrtE5gr3J5yxDIom/3Y8b12aiqW6huy
q3LVVyEUNJC+IPNEMRAtTJGeESbH03nYy3WESI4Sw7DC8tNSezYTyUPH+1ZIsoGg
b0UZYUSeLlh/8WenpAeZahzwa8gDH4J8GffjwScTz51IYDxXeP1B9c1MQU31mIUp
NeX6gpunWkZ87xPtrKphYbC0TqjrszruYUoQy3i+QaiBBvxkVueoh6LJNoW3RcXA
/L3FStrxhjPPw+4MoHK10fEYNSXdkwTXpSd/SQKdITXPE/hvnlD4mhqrJf4vNOGM
Nzos7T828wvpB2QSR7CHb+0iKP7FIagNy8hYqJEpeYAHNsUbtWMEMMKlIcW73u6u
G/dbjd6+eXBwjaR4XVSqLILmJ6AY6N6kITDt76FZoRBWSk1GXahs/jweILHw5/0x
dt1WucgC5RIIK39DEqnnDQ6s3yzxlB6lP1d9XmcTlkAZMf/f37M=
=Os9i
-----END PGP SIGNATURE-----