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

Merge pull request #81893 from gebner/elan080

Browse Source 
elan: 0.7.5 -> 0.8.0
This commit is contained in:
Gabriel Ebner 2020-03-06 14:37:49 +01:00 committed by GitHub
commit 60e54e0042
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/elan/default.nix
View File

@ -2,7 +2,7 @@
rustPlatform.buildRustPackage rec { rustPlatform.buildRustPackage rec {
pname = "elan"; pname = "elan";
version = "0.7.5"; version = "0.8.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "kha"; owner = "kha";
@ -11,7 +11,7 @@ rustPlatform.buildRustPackage rec {
sha256 = "1147f3lzr6lgvf580ppspn20bdwnf6l8idh1h5ana0p0lf5a0dn1"; sha256 = "1147f3lzr6lgvf580ppspn20bdwnf6l8idh1h5ana0p0lf5a0dn1";
}; };
cargoSha256 = "0vja1cq6z7jlr4nzfdzn4gl8l31yld82zmgzwihnalif13q3fcps"; cargoSha256 = "19bhfpbj1isr448kpjws8w6b08gl9pafjd4fry7kzh9mhkf0rf7i";
nativeBuildInputs = [ pkgconfig ]; nativeBuildInputs = [ pkgconfig ];
@ -22,7 +22,7 @@ rustPlatform.buildRustPackage rec {
postInstall = '' postInstall = ''
pushd $out/bin pushd $out/bin
mv elan-init elan mv elan-init elan
for link in lean leanpkg leanchecker; do for link in lean leanpkg leanchecker leanc; do
ln -s elan $link ln -s elan $link
done done
popd popd