diff options
Diffstat (limited to 'app-emacs/lean-mode/Manifest')
| -rw-r--r-- | app-emacs/lean-mode/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest new file mode 100644 index 000000000000..2ea7824f7063 --- /dev/null +++ b/app-emacs/lean-mode/Manifest @@ -0,0 +1 @@ +DIST lean-mode-0_p20230611.tar.gz 46798 BLAKE2B b7d858979fc40f066eb8a212acf0f18a7a95b41df29924b7ca1b34e502db3b5966ddd3e83a7bf37cce0a836819ee46f18678244b00d6e951de83694a637789cf SHA512 f7b336887acd99306f9d50096dd3fda707d640be9e96f6211d826a4ba477c2a16b591bd9529456ce4a763700eed06f23b06e505120935dc7b9066ac530ba4231 |