diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index 979f86f999c8..24e43c1eefc1 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -4,14 +4,16 @@ Hash: SHA256 AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd WHIRLPOOL b03e7359f9576887f35167b208cb9e6c4b599afa9bf963a51fbd8b1c13d636b56d2b20d769a78f567f1c9f956e048185eb5dd45b6281931e1e0cb04d11b6adce DIST agda-stdlib-0.8.tar.gz 246158 SHA256 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d SHA512 5ac3bda61eb209a4db650edbbdfb96b73cb58b24e43842957696a20a93454d9846a19e4866af0b736c2c3390184223473da75277e490a6a8348531431ca27af0 WHIRLPOOL ccb5f294cb303b7d502227a6f908fa4904c56c55af1c3897753da3f39c7271cd07c292b56e030b8d80f97e6d6a8ad9f0a5fba1f22e0d169bdb4cb79e6e2db060 DIST agda-stdlib-0.9.tar.gz 248895 SHA256 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 SHA512 aa297e250c5d98ca3f267c5ef95fc33999f9b120256c1983774d814b940a0f5952e524024908e3716af71ad544a586576c1bae6cca19e63797b1d4004ba88413 WHIRLPOOL dd200c61e91e397dfc7de8f6269edaefc20aa3daf5ead9e9fbab62468e5385481a74d5cec62df88e5c5304e06dfbd47b1870f71f70aba7fad29eceb0d836e2b1 +DIST agda-stdlib-2.4.2.3.tar.gz 252558 SHA256 bb444fb35096be277c07aa27652c24509449fee9188325bb13eaac68b91eca7d SHA512 d503fc2abd18ab8c367a1947301e0302a6ff9fcbb6376a01f016aa2ab7a9a967e5adb96c5013db1892f4acd9fab62bead11c58c4d443784aff1e42ee4ffd4aa9 WHIRLPOOL 829e5613f2e03cda80608ef0899db413c98a505c9ba595d3aacd12171fc2e30e18e72365770a85655c7670fc5d45103c3b186d2bf8d9697aebae15bc9f40feaf EBUILD agda-stdlib-0.8.ebuild 2049 SHA256 618faf148d97889717f4c885933e2f4d06fc40eed7e7a5f949fd7c1637677aa6 SHA512 195a58d0b4234e6e5a33e7f8c160419d0b1caca8fe945740c2113e0ef6c3bf28e9b540201923b4c9b2d9fa7378735c3c988f5d2a5cf3f1510c1627547a028d4e WHIRLPOOL 6fbcafce9bb6208f9683a249485cfbb13c28981fb54ff28da4058badc38c6f35be8a47b5d79a66e4e6a67419507827de011ab42e265fe2ef75edcb05193c935c EBUILD agda-stdlib-0.9.ebuild 2049 SHA256 0273ea9381b06071631b2a230dc031a6662b75f96f7857e87fb335b0ff351a58 SHA512 a99df09c630b5f10ff36f6d9020c8498cbcacb08c1c741bd4bec8ebb7b33d28001f1c25c3648529b4d94cff455e041e4f181ca053100cd3d88af1d833d2ef0b8 WHIRLPOOL 670a7ffa181fed3d15279538e5e353f4637f178e0d7f8425df2f0ff490f1ced373a5ad838e4fea55ef2ba1a57a4970cd9b5e4d028cce210d76545c2feb061907 -MISC ChangeLog 2131 SHA256 e1c5dfcd6938f50f950cb4673a7dfbc5707fb6bc0d75c099703f2f7d935412eb SHA512 12669c7772c30de4999ad0f4c0c63182306af60f40ca8982c3001244b586032b18c86fe1171c584adfdeb8257bc097c7f5764d5d43d142b40390524fbc820161 WHIRLPOOL 4170ea8b05dc31f59e35722994a5cdf748bbce6457b957dd360c43e69910564d7a1e9c31e2261b4dd0a93794f708051f37e031edf056428719c4b90f9f0d4769 +EBUILD agda-stdlib-2.4.2.3.ebuild 2002 SHA256 82e4ee731061ab10f0da7749f6ba91b85d6f42b4ced1a5433648ec167242c4eb SHA512 ea4e1d076f6a80a93349d00d8c05974552c32e5c0a75593878ef5c6bceb14cb5b87ee0b8ec52e74480b49858ff430eae37e0277d20a6a16bddb410baf465dd74 WHIRLPOOL a768662fed1d7fa76d052d9f92ac92101bddc57430594ac222d8d9626aea441bbeb00356ab981b80b92a7c45c87077e56da6868bae3dd6daa4464ce0f2df55de +MISC ChangeLog 2275 SHA256 723429902a29ca158b7dacce676b84e5485adf65bc082268afbf17eaff2a4e85 SHA512 4f2ea98a6e7b5906dd62418da0ffdc67b287716185ad7e0c29e8e935abe602959a92d5c4e242cd22e3eb2abdeceaf565eff99cadb38521fc9266e4c4d7e77f94 WHIRLPOOL 9596803784c97fa9c83c183056d6b47c11fe34626d4d58ceaa928b0ed35d73adf54fb1cde396173dcc7b5fe01aefda7bd6bcad96f13485d6c4ad062f1ff3dd2c MISC metadata.xml 460 SHA256 a4ae622900664e568812464e2d41c3af26b6dd27a5cedfb6974f4dbc0e7ee451 SHA512 60267138c3ded320f4b93574813ce8b2130d73b0d95e1da293a705fbe5062faeaa13eab32c38f2c754646ce5cfbb78680df18d0c3459a11f27379f08dfe78dea WHIRLPOOL 7ea8d71701acac657213d547ae2a479bb65d0262ec620d750fcf19d3372aa971a9e0beffba6bd05a9a9298e5355e6d78b2592dcd65da0a14f9655b8e580f480d -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 -iEYEAREIAAYFAlW99b0ACgkQcaHudmEf86otQwCfcIaHpV11kDjinLz43/kdoY6G -YjYAn0YY0boMGSMswA4QKuoXNLQVMuMg -=/V8v +iF4EAREIAAYFAlW+IWoACgkQoBEVQmGOlx+klgEAj5oy2prL21VtlBIFYVw/IbD3 +q43ujl1D5QaDra7O9LEA/iiu7SVQA7FWP/adWLjTehgPi5dydID55Tzd2rvOpOmN +=l0uM -----END PGP SIGNATURE----- |