diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2020-03-06 14:28:36 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2020-03-06 14:28:36 +0100 |
| commit | 70e5428d6686d320973473083a6c964ea5f353f7 (patch) | |
| tree | 3d2255524870bed40c07d9099273da311300b5c9 /pkgs/applications | |
| parent | 87ae01e70b147f8e23a078c9de7b6f53f15bf873 (diff) | |
| download | nixlib-70e5428d6686d320973473083a6c964ea5f353f7.tar nixlib-70e5428d6686d320973473083a6c964ea5f353f7.tar.gz nixlib-70e5428d6686d320973473083a6c964ea5f353f7.tar.bz2 nixlib-70e5428d6686d320973473083a6c964ea5f353f7.tar.lz nixlib-70e5428d6686d320973473083a6c964ea5f353f7.tar.xz nixlib-70e5428d6686d320973473083a6c964ea5f353f7.tar.zst nixlib-70e5428d6686d320973473083a6c964ea5f353f7.zip | |
elan: 0.7.5 -> 0.8.0
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/elan/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/elan/default.nix b/pkgs/applications/science/logic/elan/default.nix index b77f5110521c..3ffd23b142a1 100644 --- a/pkgs/applications/science/logic/elan/default.nix +++ b/pkgs/applications/science/logic/elan/default.nix @@ -2,7 +2,7 @@ rustPlatform.buildRustPackage rec { pname = "elan"; - version = "0.7.5"; + version = "0.8.0"; src = fetchFromGitHub { owner = "kha"; @@ -11,7 +11,7 @@ rustPlatform.buildRustPackage rec { sha256 = "1147f3lzr6lgvf580ppspn20bdwnf6l8idh1h5ana0p0lf5a0dn1"; }; - cargoSha256 = "0vja1cq6z7jlr4nzfdzn4gl8l31yld82zmgzwihnalif13q3fcps"; + cargoSha256 = "19bhfpbj1isr448kpjws8w6b08gl9pafjd4fry7kzh9mhkf0rf7i"; nativeBuildInputs = [ pkgconfig ]; @@ -22,7 +22,7 @@ rustPlatform.buildRustPackage rec { postInstall = '' pushd $out/bin mv elan-init elan - for link in lean leanpkg leanchecker; do + for link in lean leanpkg leanchecker leanc; do ln -s elan $link done popd |