diff options
| author | Mauricio Collares <mauricio@collares.org> | 2022-04-25 16:38:19 +0200 |
|---|---|---|
| committer | Mauricio Collares <mauricio@collares.org> | 2022-05-18 10:27:18 -0400 |
| commit | 0a449d8fffd274987262c8eb34e1dbb5dcacabcb (patch) | |
| tree | d65037eb9d04d1a890eb6881bae881c02c6cd745 /pkgs/applications/science/logic | |
| parent | 1d7db1b9e4cf1ee075a9f52e5c36f7b9f4207502 (diff) | |
| download | nixpkgs-0a449d8fffd274987262c8eb34e1dbb5dcacabcb.tar nixpkgs-0a449d8fffd274987262c8eb34e1dbb5dcacabcb.tar.gz nixpkgs-0a449d8fffd274987262c8eb34e1dbb5dcacabcb.tar.bz2 nixpkgs-0a449d8fffd274987262c8eb34e1dbb5dcacabcb.tar.lz nixpkgs-0a449d8fffd274987262c8eb34e1dbb5dcacabcb.tar.xz nixpkgs-0a449d8fffd274987262c8eb34e1dbb5dcacabcb.tar.zst nixpkgs-0a449d8fffd274987262c8eb34e1dbb5dcacabcb.zip | |
lean: 3.42.0 -> 3.42.1
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index b5e5ca8723d..75461e1bf2e 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -2,7 +2,7 @@ stdenv.mkDerivation rec { pname = "lean"; - version = "3.42.0"; + version = "3.42.1"; src = fetchFromGitHub { owner = "leanprover-community"; @@ -11,8 +11,8 @@ stdenv.mkDerivation rec { # from. this is then used to check whether an olean file should be # rebuilt. don't use a tag as rev because this will get replaced into # src/githash.h.in in preConfigure. - rev = "b35d4695da88139a9168f2ad7acf0782e66dc4f0"; - sha256 = "02rpigw6lnyjw8ccrlp2mcvswawkhl5y6kqa3zq76qp1fdjqjrbp"; + rev = "68455b087d87e9dc3f736da0de95807e05260460"; + sha256 = "11kq5mf63p0vgjh94friir45djx5dl46smkxx0lcwp0h8d7han41"; }; nativeBuildInputs = [ cmake ]; |