47 lines
1 KiB
JSON
47 lines
1 KiB
JSON
|
[
|
||
|
|
{
|
||
|
|
"flake_description": "LiterateFStar",
|
||
|
|
"flake_resolved": {
|
||
|
|
"type": "github",
|
||
|
|
"owner": "W95Psp",
|
||
|
|
"repo": "LiterateFStar"
|
||
|
|
},
|
||
|
|
"flake_name": "LiterateFStar",
|
||
|
|
"flake_source": {
|
||
|
|
"type": "git",
|
||
|
|
"url": "github:W95Psp/LiterateFStar"
|
||
|
|
},
|
||
|
|
"package_attr_name": "fstar",
|
||
|
|
"package_pname": "fstar-c671957efe8769b8fc421cd3e9da47b3fa57d510",
|
||
|
|
"package_pversion": "",
|
||
|
|
"package_platforms": [
|
||
|
|
"x86_64-linux",
|
||
|
|
"x86_64-darwin"
|
||
|
|
],
|
||
|
|
"package_outputs": [
|
||
|
|
"out"
|
||
|
|
],
|
||
|
|
"package_license": {}
|
||
|
|
},
|
||
|
|
{
|
||
|
|
"flake_description": "LiterateFStar",
|
||
|
|
"flake_resolved": {
|
||
|
|
"type": "github",
|
||
|
|
"owner": "W95Psp",
|
||
|
|
"repo": "LiterateFStar"
|
||
|
|
},
|
||
|
|
"flake_name": "LiterateFStar",
|
||
|
|
"flake_source": {
|
||
|
|
"type": "git",
|
||
|
|
"url": "github:W95Psp/LiterateFStar"
|
||
|
|
},
|
||
|
|
"app_bin": "/nix/store/mwwn9wzbgkdfac4ijj176akbkr9bxk5k-build",
|
||
|
|
"app_attr_name": "build",
|
||
|
|
"app_platforms": [
|
||
|
|
"x86_64-linux",
|
||
|
|
"x86_64-darwin"
|
||
|
|
],
|
||
|
|
"app_type": "derivation"
|
||
|
|
}
|
||
|
|
]
|