File tree Expand file tree Collapse file tree 3 files changed +21
-29
lines changed Expand file tree Collapse file tree 3 files changed +21
-29
lines changed Original file line number Diff line number Diff line change 1
1
profile = default
2
- version = 0.26.2
2
+ version = 0.27.0
Original file line number Diff line number Diff line change 2
2
inputs = {
3
3
nixpkgs . url = "github:nixos/nixpkgs" ;
4
4
flake-utils . url = "github:numtide/flake-utils" ;
5
- crane = {
6
- url = "github:ipetkov/crane" ;
7
- inputs = { nixpkgs . follows = "nixpkgs" ; } ;
8
- } ;
5
+ crane = { url = "github:ipetkov/crane" ; } ;
9
6
rust-overlay = {
10
7
url = "github:oxalica/rust-overlay" ;
11
8
inputs . nixpkgs . follows = "nixpkgs" ;
50
47
} ) ;
51
48
in rustc ) ;
52
49
craneLib = ( crane . mkLib pkgs ) . overrideToolchain rustc ;
53
- ocamlformat = pkgs . ocamlformat_0_26_2 ;
54
50
rustfmt = pkgs . rustfmt ;
55
51
fstar = inputs . fstar . packages . ${ system } . default ;
56
52
hax-env-file = pkgs . writeText "hax-env-file" ''
66
62
fi
67
63
'' ;
68
64
ocamlPackages = pkgs . ocamlPackages ;
65
+ ocamlformat = ocamlPackages . ocamlformat_0_27_0 ;
69
66
in rec {
70
67
packages = {
71
68
inherit rustc ocamlformat rustfmt fstar hax-env rustc-docs ;
You can’t perform that action at this time.
0 commit comments