diff options
| author |   Mark Wright <gienah@gentoo.org> | 2015-08-02 13:50:53 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2015-08-02 13:50:53 +0000 |
| commit | f4d5a6493c1f74c2cbd0e8f7b269a59a969d5130 (patch) | |
| tree | 9d66ab44280d44f34f9899205e772c43e1dc6b5e /sci-mathematics | |
| parent | Bump agda to 2.4.2.3-r1 (diff) | |
| download | gentoo-2-f4d5a6493c1f74c2cbd0e8f7b269a59a969d5130.tar.gz gentoo-2-f4d5a6493c1f74c2cbd0e8f7b269a59a969d5130.tar.bz2 gentoo-2-f4d5a6493c1f74c2cbd0e8f7b269a59a969d5130.zip | |
Bump agda to 2.4.2.3-r1
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 78208b8f7c89..86966b9cea51 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -5,14 +5,16 @@ AUX 50agda2-gentoo.el 317 SHA256 043797b8766a610c08a5aa10b4ea46b955f208b851f0bae AUX agda-make_install.patch 549 SHA256 f23e6fa062ca5ef3c6b1e6b7e9133a19bcf3846e12fdd1659d23d44d252946fc SHA512 28ca830797ecfddf50fa0f3cedd8eebd5a0c1f974749440bb793d597736da2bbb42217b80e25230b941814bca233469b5909471cfa70c4b7fc659a46d7c43d1c WHIRLPOOL 40a5f18241e4b9df5a1997f342eae5f292019a14e222d8ad792f632b3f33c0c2929959ed705514ef94968e022cc3eadf109c24c891bbfdc9b33568318838f472 DIST Agda-2.4.0.1.tar.gz 906887 SHA256 58e678b9d193e19d4e69d8899129d9ae16df08a394873af850797f03cc2cbe86 SHA512 edd56ecea83241f3cb1aca4ac1e17970acf122c323a4ff38e2b5d8e46e46b1afd90fbbd460a6674a51cbb13a7cbf3a57b489e91a92ce3e709b2fc3d659013601 WHIRLPOOL 4e94c4277e8be99bd5a513c274fd5712f1d4a3e99d1e626a3b195b9cf83f9216de62220cfb5e8298cc0f11560a9c32dc0116db3bd67c2240842fa798f733065c DIST Agda-2.4.2.2.tar.gz 963302 SHA256 2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3 SHA512 62376775255099570d9eb7814de77a239d0806669ee0993283429a400c7c45ca756c6735bab85b4d3a4b82defae544364ac9107fd622f2df1ebcbded3113204d WHIRLPOOL dd220346109b7e137cca2e3b091c581b0b4ed0e23340209c7eebc48b39d807a569c984fbe1aee813d18a7f953db86e82b6a6aa7e197e6a2c5569dc311625f45f +DIST Agda-2.4.2.3.tar.gz 990268 SHA256 bc6def45e32498f51863d67acfbe048c039d630c6a36761ed27e99a5f68d7b27 SHA512 84c24c517c830128032af8de9c8ce9ed8d5333becf65e6c96d67104caae1b66fb37ae9bcdff8f42a3e2997f4dcef2f4ea5addd7c94c45a0533c833da9af4d55a WHIRLPOOL ccef337495a5bc6d4272821700126a793ac0cac8b0ebbef44be478b725545797959c0edba910b5e2b68076e7c5c01e98580ea40016d02b268960dfba5f62a24a EBUILD agda-2.4.0.1.ebuild 4386 SHA256 fe1cc06c30afb221c059e8b44d2e59d3aaf90c4cb8edefa8c61cdfbc500de4ef SHA512 e66376b1dfa40d0bc1ec9fed9745c289d305831ced6aa3c72a26590085a61ea7af95a5b1b20890e61948271a999c0a1a0f3b63f8f790630ddf1e7aa77ac02c1c WHIRLPOOL e2db7d306e68c354bdd2242409e92057e796b4d6f3dfb5d39c84db50fb29f982e56a86c2bf00a8326a4e1d128d0f8d67de2ba89b00258ba3349265465535a4c7 EBUILD agda-2.4.2.2-r1.ebuild 4668 SHA256 69dc4067ecfd1782e7cb62e262102cd6cfd2cf4bcd498b60566dd951b35d87fa SHA512 90cf68b062320984f942474863213786334b01df4ee55f34eeccaccbe7febf6a396e53f6380ee77fe42eedd32d1a676fcf345a3648cb208e71e124167ca0ae88 WHIRLPOOL ef66bf7186316cf64cac983e44065987974a107b542acc038072cc8c8284566962c87c3788b66859b750c086a3a7da34370af6fa9904f07cb9becc664412eaa9 -MISC ChangeLog 6292 SHA256 41f4e2fbbc3e63513198352b10f93c590b6ebf5989321e45da387a5c3dfc18da SHA512 1369da60f2c9f01d8c552faeac3fd3f07afe1b15c12765f5cb431ef022f139824b44ac51bb66bc3d21b00b626273d51b6b604cd8bc8be47d93db56f7e75f17ac WHIRLPOOL fe2deaf9db358c79b4c564a4176f4cbc598cf38ad2e891bd6f91911c83b2c780d649447229a379a8cb08cdf26521751dec27a9c9d21d635691b75f873f2e7263 +EBUILD agda-2.4.2.3-r1.ebuild 4488 SHA256 c0ba8a6262a917e9c7b9359abcfe9753e464102ec625fea2103b56097c014380 SHA512 23eaab0129e660ffcf7b6aa3f4cd754dd220d978842be5f1afb0a935705a5030b3e4ae93ef90c5500453560467060d0d4b93a1c8a75d74aad6c9b1db25db8589 WHIRLPOOL 3b9d1abf15cfabf1f64802bd6b5d7f0ac6d037dc7f740831922890c81d328bc9dc9d38264add23b7d71c039e4cda597da0cef30fe733de6cb305e2950a88c587 +MISC ChangeLog 6423 SHA256 af74d03a5c5906f77c2e59945fd47daf25e0d7a64940b1f40e92acb784da75fd SHA512 27c98a52d2852db59cd966285c6f60da11acad3c546a59ac1681c164aa3c6269a07a7547fa34af384bd3ace7819c40f5e0927ee9bd69947d6a08478a618ff19c WHIRLPOOL 564e5e34757d8282dcbf3ee751b7b60f6ba5efa82c3803b5948553fbe69ce0f013e46bd2305c72daad3fc129c1d3fea470eb7e5775da44bf762a39e1cf3c17bb MISC metadata.xml 722 SHA256 0cc8c249a5a5457e5a91f4e7d0bffedb026b0990542a88b4c4ab39254e8d8426 SHA512 610076e344a59f9ee6d88671588df43a8dbfe47ea8021c1a35077277fe25de978f7fbc9d3318e1bc64173d2f4c7f449c2dafbd020ad224c8ea678c0098f9d00e WHIRLPOOL b5369e61aba1458a8f2e9e544eab067865bc33165b99f077bebfb8e7747472df4135947ff9bf3d5123cd861c734486f0f1a0957e03b952e02af594e89861a81f -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 -iEYEAREIAAYFAlW99lkACgkQcaHudmEf86rz0wCfT6BVx9ih1LEKxA5YjY8vHl5u -oyQAn10KvEfhnNI9gBbJ56rM+NKQktxE -=Mbi+ +iF4EAREIAAYFAlW+IDYACgkQoBEVQmGOlx8ASQD/XY3rZHGRrh02BKx1Su4AJmB6 +pdTn2Lc8fCc1DQKAVXoA/3evPpFeahJIXjcyHIso6J2spAblLS59FQOei8LmTB37 +=LXVD -----END PGP SIGNATURE----- |