quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rescript-association merged the gentype flake, so our flake inputs are updated accordingly

Browse Source
This commit is contained in:
Quinn Dougherty 2022-08-30 19:10:59 +08:00
parent 4b6a565c33
commit 02cbf227ad
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
flake.lock
View File

@ -38,15 +38,15 @@
] ]
}, },
"locked": { "locked": {
"lastModified": 1660630689, "lastModified": 1661855866,
"narHash": "sha256-oM21qcr+VtI69GIm56UDy6oGiupq2GkZDIaKXWWnM8k=", "narHash": "sha256-+q0OOTyaq8eOn9BOWdPOCtSDOISW4A59v3mq3JOZyug=",
"owner": "quinn-dougherty", "owner": "rescript-association",
"repo": "genType", "repo": "genType",
"rev": "c2a022cfec32b5a61d575205daa93416a9a9309c", "rev": "6b5f164b4f6ced456019b7579a0ab7e0a86518ad",
"type": "github" "type": "github"
}, },
"original": { "original": {
"owner": "quinn-dougherty", "owner": "rescript-association",
"repo": "genType", "repo": "genType",
"type": "github" "type": "github"
} }

2
flake.nix
View File

@ -4,7 +4,7 @@
inputs = { inputs = {
nixpkgs.url = "nixpkgs/nixos-22.05"; nixpkgs.url = "nixpkgs/nixos-22.05";
gentype = { gentype = {
url = "github:quinn-dougherty/genType"; url = "github:rescript-association/genType";
inputs.nixpkgs.follows = "nixpkgs"; inputs.nixpkgs.follows = "nixpkgs";
}; };
flake-utils.url = "github:numtide/flake-utils"; flake-utils.url = "github:numtide/flake-utils";