michael/popl-paper-ocaml
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

asdf

Browse source
This commit is contained in:
Michael Zhang 2024-04-25 16:42:13 -05:00
parent 25fbcdd0f1
commit bae5023350
2 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
flake.lock generated
View file

@ -19,16 +19,17 @@
}, },
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1663551060, "lastModified": 1714079963,
"narHash": "sha256-e2SR4cVx9p7aW/XnVsGsWZBplApA9ZJUjc0fejJhnYo=", "narHash": "sha256-M3cH7HNXElTPE+qL5PzA3lmLxaPByPCRfgkLsnnuQPs=",
"owner": "nixos", "owner": "nixos",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "8a5b9ee7b7a2b38267c9481f5c629c015108ab0d", "rev": "ed866611c54ac0793be05f198cbdcb82e329c52e",
"type": "github" "type": "github"
}, },
"original": { "original": {
"id": "nixpkgs", "owner": "nixos",
"type": "indirect" "repo": "nixpkgs",
"type": "github"
} }
}, },
"root": { "root": {

1
flake.nix
View file

@ -1,4 +1,5 @@
{ {
inputs.nixpkgs.url = "github:nixos/nixpkgs";
outputs = { self, nixpkgs, flake-utils }: outputs = { self, nixpkgs, flake-utils }:
flake-utils.lib.eachDefaultSystem (system: flake-utils.lib.eachDefaultSystem (system:
let let