diff options
| author | Jakob L. Kreuze | 2023-12-21 13:20:58 -0500 |
|---|---|---|
| committer | Jakob L. Kreuze | 2023-12-21 13:20:58 -0500 |
| commit | be7067d632aa665c20f96d3b344a84c95b0f8ff8 (patch) | |
| tree | fc5564a72cc42c8a21d3e943f645afcaae78f5a5 /xacml-proofs/lean/lake-manifest.json | |
| parent | 5918f84a1a05881d93d9fab83104feca9981bfaa (diff) | |
Check-in remaining files
Diffstat (limited to 'xacml-proofs/lean/lake-manifest.json')
| -rw-r--r-- | xacml-proofs/lean/lake-manifest.json | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/xacml-proofs/lean/lake-manifest.json b/xacml-proofs/lean/lake-manifest.json new file mode 100644 index 0000000..083ac34 --- /dev/null +++ b/xacml-proofs/lean/lake-manifest.json @@ -0,0 +1,59 @@ +{"version": 7, + "packagesDir": ".lake/packages", + "packages": + [{"url": "https://github.com/leanprover/std4", + "type": "git", + "subDir": null, + "rev": "2e4a3586a8f16713f16b2d2b3af3d8e65f3af087", + "name": "std", + "manifestFile": "lake-manifest.json", + "inputRev": "v4.3.0", + "inherited": false, + "configFile": "lakefile.lean"}, + {"url": "https://github.com/leanprover-community/aesop", + "type": "git", + "subDir": null, + "rev": "76c4ea44190682335028ed12a23241ccf95294d0", + "name": "aesop", + "manifestFile": "lake-manifest.json", + "inputRev": "v4.3.0", + "inherited": false, + "configFile": "lakefile.lean"}, + {"url": "https://github.com/leanprover-community/quote4", + "type": "git", + "subDir": null, + "rev": "d3a1d25f3eba0d93a58d5d3d027ffa78ece07755", + "name": "Qq", + "manifestFile": "lake-manifest.json", + "inputRev": "master", + "inherited": true, + "configFile": "lakefile.lean"}, + {"url": "https://github.com/leanprover-community/ProofWidgets4", + "type": "git", + "subDir": null, + "rev": "909febc72b4f64628f8d35cd0554f8a90b6e0749", + "name": "proofwidgets", + "manifestFile": "lake-manifest.json", + "inputRev": "v0.0.23", + "inherited": true, + "configFile": "lakefile.lean"}, + {"url": "https://github.com/leanprover/lean4-cli", + "type": "git", + "subDir": null, + "rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec", + "name": "Cli", + "manifestFile": "lake-manifest.json", + "inputRev": "main", + "inherited": true, + "configFile": "lakefile.lean"}, + {"url": "https://github.com/leanprover-community/mathlib4", + "type": "git", + "subDir": null, + "rev": "f04afed5ac9fea0e1355bc6f6bee2bd01f4a888d", + "name": "mathlib", + "manifestFile": "lake-manifest.json", + "inputRev": "v4.3.0", + "inherited": false, + "configFile": "lakefile.lean"}], + "name": "xacml", + "lakeDir": ".lake"} |