aux-search/flake-info/examples/github:W95Psp-LiterateFStar.json

47 lines
1 KiB
JSON
Raw Permalink Normal View History

2021-08-17 08:55:08 +00:00
[
{
"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"
}
]