DIST lambdapi-mode-4.0.0.tar 61440 BLAKE2B 4979b40205686a6f8a7c5efb250d93d24403a846ee9a4d865d7a235731c9e6b769be57079b301bedb7aa6ee8d92d5490b0c7f000bf4b6f8cd5d4249eabcdb7c6 SHA512 1da89052e1c37ce2dff393881a36988b7e53e0e52443966f8d1e96f46abfc799a7fa6303cc204f1108afaad8abe9a0671bb9ddce0b6884085d2f77087a5dc0f9 EBUILD lambdapi-mode-4.0.0.ebuild 561 BLAKE2B 6f821fe8671441e24e96ea499e2a72e4905fa49ec703056be2ce768d494f1957d7814104a6bff57eb7bdfe615cea8ca16ad70f2825d6b06827176697c2a627fc SHA512 463a1f1cad72744f674417f131fc76a03983dd15ec2f49d223f48944f7c377fbd8e98cd628ec51e8f49d6023f19b051606ea737a02634b67b53bc88d53f92922 MISC metadata.xml 332 BLAKE2B 4531f4957435d49aaa8d5ed59c18567bc14d20af09aab1ecd45d18d787fb7900b8837208ed18a7aca92ae917ba79ec2f70c3e6c479d33da29c2454fd743f454d SHA512 6d09e7d50d879af0e557361ad3d6fb3ba8886d18f0bbc957d65ca7c964d7c5c4cae93f99127b645e4a9c38e05e360c70c8b17ec71b5dc75810c5c1da3b3283d6