gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

elan: 3.1.1-unstable-2024-08-02 -> 4.0.0 (#379346)

Browse Source
This commit is contained in:
Mauricio Collares
2025-02-06 16:33:08 +01:00
committed by GitHub
parent 62eb60588f 35c4a13b3f
commit 178b0e7b4e
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/el/elan/package.nix
+4 -5
View File
@@ -16,18 +16,17 @@
rustPlatform.buildRustPackage rec {
pname = "elan";
version = "3.1.1-unstable-2024-08-02";
version = "4.0.0";
src = fetchFromGitHub {
owner = "leanprover";
repo = "elan";
# commit "chore: update to build with rust 1.80 (leanprover/elan#134)"
rev = "97ce78e0e6aecdf3e8d35dbf42b0614302efb250";
hash = "sha256-7cwpHMyhpTxYXjZM4xbDK+epvA2kBf7jelvMaPGP1kU=";
rev = "v${version}";
hash = "sha256-6/5yIIO0Avf6YpD7+7B30bnwtcPXi2k4RqWFO8hBaII=";
};
useFetchCargoVendor = true;
cargoHash = "sha256-5JsLG5uwdIqjjPHGnemnM8odcnAMSadKYRECbKF7FSY=";
cargoHash = "sha256-4HYRglFhEpEnRu8gPSNFFAT2v4/3ccwd02LZfNJUzbM=";
nativeBuildInputs = [
pkg-config