blob: 90f8db27c6132b2f4ecb511dfcbd6b83a732a375 (
plain)
1
2
3
|
DIST idris2-0.5.1_p20211112.tar.gz 6202861 BLAKE2B 189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2 SHA512 3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1
EBUILD idris2-0.5.1_p20211112.ebuild 2513 BLAKE2B cdccbb2fc573524f2fa484c0601f427402055635a1f177a3417db2ce76bfc379380127dbe3a3105befebe4bd18d19d21030ebe527868cb256a5a2ad0346472fe SHA512 1bcb672978151e1d62ee6d057b6a7ee2a9e70988f346914a59375be96f0ca4fc126f32410d573fdb81be27c303bfc88e00475edf26c678621209c600251b5301
MISC metadata.xml 1254 BLAKE2B bda411bfd779d576f5c8fdc374f7289ee11d04edefe6308bc7c2c50c92c5d881c51475cf252e5402187779bb9317f1d47d66ea4d324f66db314ff7a7b9d493ab SHA512 4bda5aaf00c768e19b92f5e9f15bec2dcd2d8286d04016f2e30fa512fcb5f5842e735c86c61d38577c2530a67c0b0f70f7e801d57f3ae7b780161f83af50b0cd
|
