diff options
Diffstat (limited to 'sci-mathematics/agda/Manifest')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index de1b32e36324..9f230bcb5999 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -14,13 +14,13 @@ EBUILD agda-2.3.2-r5.ebuild 3237 SHA256 aee04a11ef26500050c81e08df1843c6fd20114a EBUILD agda-2.3.2.1-r1.ebuild 3542 SHA256 9a23522d71b6b626ecf5db668da05b1f9be8efb6ebec286c9450db02b095f6c3 SHA512 cc9fad306e9ce4cb56b52885d680283c3741442612e373ecf059f5ef574c69c6dc1cc65969e4ade7fb073919872682f13639f4b417cc06ed58fb28e5f03e0f9e WHIRLPOOL 529b37ef254e50fd9ba99b25993794f30fab2610474bda8232246f3eea21a913c267a43577b016de2c476afa756553bfb3403f1247964fe74147c693be2d636e EBUILD agda-2.3.2.2-r1.ebuild 4077 SHA256 4b790f003834b263fad07cd465b34683176bfff71fbbe70d029d1793d44c17e2 SHA512 a2a90795a135d8f816ebf43852dfcabbf784724b7299a82015c12cfae75c667b38447982bb4c658547af66d43226d50a2ee8e8a83525ff512ce94f85d9712087 WHIRLPOOL 9f5836713c9f8e5382d0a85e5194c15695a03373adc2c377c07d1c95192f88e10de6f11ce98a55ffa8836f0a2884cd1431273b2a15bfe13fe2cb1745a3b3d910 EBUILD agda-2.4.0.1.ebuild 4386 SHA256 fe1cc06c30afb221c059e8b44d2e59d3aaf90c4cb8edefa8c61cdfbc500de4ef SHA512 e66376b1dfa40d0bc1ec9fed9745c289d305831ced6aa3c72a26590085a61ea7af95a5b1b20890e61948271a999c0a1a0f3b63f8f790630ddf1e7aa77ac02c1c WHIRLPOOL e2db7d306e68c354bdd2242409e92057e796b4d6f3dfb5d39c84db50fb29f982e56a86c2bf00a8326a4e1d128d0f8d67de2ba89b00258ba3349265465535a4c7 -EBUILD agda-2.4.2.2-r1.ebuild 4608 SHA256 6f5dcab3c4fa44564a2ba4d75af2fb2bf30af9e1b7d0ecb24e6171352a08b73c SHA512 80b17b48a05938d891247112a62213de38f53b71529f093ff6b1836869b1d728286b2769dd8378c91386afae3b86170162a4e1a005739aa67dd3c45f07547f8c WHIRLPOOL ce0aa1936abc1c169c287c7de41d0d3c4c3bfb7ed17e5712decf651ba31b0c74d17d6d100f2b7f938cc27dbdff3004967a18adb98beb4b3d0e131de479802253 -MISC ChangeLog 5949 SHA256 3c40db20349a1e42e9984634b57975ae65bff918d7ff027f58143ec2e4ffb1bc SHA512 81afffed0396a3d74809a80ffd8aa3f3b6c6d86c3cbb7db5863c6e91dcd0845c2fb31032f5359c27df7d0960bfa991a01c7b41923161b940449ad4cb16c1a50c WHIRLPOOL b6f083b674836b8d2b762660bb2797da4735375e4fbfa5d8d37e1211e810137b12f9531af8685d3d2d59e1431dfdb09b4dc4755f461327ceef308e11b2b728db +EBUILD agda-2.4.2.2-r1.ebuild 4668 SHA256 69dc4067ecfd1782e7cb62e262102cd6cfd2cf4bcd498b60566dd951b35d87fa SHA512 90cf68b062320984f942474863213786334b01df4ee55f34eeccaccbe7febf6a396e53f6380ee77fe42eedd32d1a676fcf345a3648cb208e71e124167ca0ae88 WHIRLPOOL ef66bf7186316cf64cac983e44065987974a107b542acc038072cc8c8284566962c87c3788b66859b750c086a3a7da34370af6fa9904f07cb9becc664412eaa9 +MISC ChangeLog 6059 SHA256 1986d7ed32944521dffbdc896abb684157dabdb13679f38f296d07a81b905d25 SHA512 e9e76e737ea281892a6bfaf7a12a2dc44b83dc161029a20793624ab20780a6101fb6606994a6aae5085232903cdf5f330f9efb8b03f634b3a5a6d935a6d55128 WHIRLPOOL f3e8cd876a0ecff79d625ce4f81190499c1d881a42418fe335c9fe5204cd6af1d7a831eeb9bedc3ed1a9586a3671c28370a5808f81a9ea408e0f8be5b77740fb MISC metadata.xml 722 SHA256 0cc8c249a5a5457e5a91f4e7d0bffedb026b0990542a88b4c4ab39254e8d8426 SHA512 610076e344a59f9ee6d88671588df43a8dbfe47ea8021c1a35077277fe25de978f7fbc9d3318e1bc64173d2f4c7f449c2dafbd020ad224c8ea678c0098f9d00e WHIRLPOOL b5369e61aba1458a8f2e9e544eab067865bc33165b99f077bebfb8e7747472df4135947ff9bf3d5123cd861c734486f0f1a0957e03b952e02af594e89861a81f -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 -iF4EAREIAAYFAlTJs/IACgkQoBEVQmGOlx9TvQD/dX3qgt7dOI4fKbD+21Ixx1t1 -CzhX/1qh9x3oWE9fkbwA/3pqgHtirp5B0ZzVeevq5h6lfDkJ2q9v+GcbrqCQvn6i -=XlvW +iF4EAREIAAYFAlUf3pIACgkQoBEVQmGOlx+VWgEA3U2lks/suICAoim8VKVQntom +iWaXROf41/WfxQmCOpUBANhlr5Y1XLqWcc0R5nOzvyNNrmTNYFzUILJ7g84MTnQ3 +=nHFZ -----END PGP SIGNATURE----- |