fstar: 2022.01.15 -> 2022.11.19
This commit is contained in:
parent
5c3b11677a
commit
762426b0dc
|
@ -2,13 +2,13 @@
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "fstar";
|
pname = "fstar";
|
||||||
version = "2022.01.15";
|
version = "2022.11.19";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "FStarLang";
|
owner = "FStarLang";
|
||||||
repo = "FStar";
|
repo = "FStar";
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
sha256 = "sha256-bK3McF/wTjT9q6luihPaEXjx7Lu6+ZbQ9G61Mc4KoB0=";
|
sha256 = "sha256-IJMzRi335RbK8mEXQaF1UDPC0JVi6zSqcz6RS874m3Q=";
|
||||||
};
|
};
|
||||||
|
|
||||||
strictDeps = true;
|
strictDeps = true;
|
||||||
|
|
Loading…
Reference in a new issue