|
|
|
@ -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 ]; |
|
|
|
|