pyrox.dev / nixpkgs
lol
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

fstar: 2023.04.25 -> 2023.09.03

Diff: https://github.com/FStarLang/FStar/compare/v2023.04.25...v2023.09.03

Changelog: https://github.com/FStarLang/FStar/releases/tag/v2023.09.03

Mario Rodas 20b2d942 4f36fbeb

+3 -2
+3 -2
pkgs/development/compilers/fstar/default.nix
··· 2 2 3 3 stdenv.mkDerivation rec { 4 4 pname = "fstar"; 5 - version = "2023.04.25"; 5 + version = "2023.09.03"; 6 6 7 7 src = fetchFromGitHub { 8 8 owner = "FStarLang"; 9 9 repo = "FStar"; 10 10 rev = "v${version}"; 11 - hash = "sha256-LF8eXi/es337QJ2fs5u9pLqegJkh1kDLjK8p4CcSGGc="; 11 + hash = "sha256-ymoP5DvaLdrdwJcnhZnLEvwNxUFzhkICajPyK4lvacc="; 12 12 }; 13 13 14 14 strictDeps = true; ··· 32 32 stdint 33 33 yojson 34 34 fileutils 35 + memtrace 35 36 menhirLib 36 37 pprint 37 38 sedlex