diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2017-12-10 12:03:29 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2017-12-10 12:03:50 +0100 |
| commit | 19b7ec1a86588fd44b2032add61778ff35fc4cba (patch) | |
| tree | 3779f5c117568fa936257459f206a31258161e65 /sci-mathematics/agda | |
| parent | sci-misc: Update Manifest hashes. (diff) | |
| download | gentoo-19b7ec1a86588fd44b2032add61778ff35fc4cba.tar.gz gentoo-19b7ec1a86588fd44b2032add61778ff35fc4cba.tar.bz2 gentoo-19b7ec1a86588fd44b2032add61778ff35fc4cba.zip | |
sci-mathematics: Update Manifest hashes.
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 12d15799fc5b..fa2726ed4dae 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -1,2 +1,2 @@ -DIST Agda-2.4.2.5.tar.gz 1031427 SHA256 959658a372d93b735d92191b372d221461026c98de4f92e56d198b576dfb67ee SHA512 c2e090a42f699200854c20dad868b4b67e99107f0cdbba20ed268f4618fcf80068ee31db37e4b6637f73128d9f652ef9276d8f7adea54628da759d79f5e4f4a2 WHIRLPOOL dd2d579242b395835a25910409df1eacaa5c7253a43d7cd6fbeb51146df5252ef2f255d063d15c5cc6bd3fab9e568a60b798539c4f73747411f31919970dee1e -DIST Agda-2.5.2.tar.gz 1240885 SHA256 d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439 SHA512 39ec73316eb7409f7f2618e86a9a3a2c420c93470bf46a1c37a4c4753c6c831d2d6da9ba007086ddee9defd481a695bf142a0a7d360dfa01bdb1fb92467af164 WHIRLPOOL b85abca763117f8216dac5055ada3d8fd46d0efb7ed5bc32d7b491416c74213741822c798dbabdf227bf420776ad32423eac7e06ffe74196381b1fd4886255c4 +DIST Agda-2.4.2.5.tar.gz 1031427 BLAKE2B bf64731e0c068c4f609e9651f0cb6ea763f1e02ddd8909269a140f8ebd036dbb5b36d9f1b038a32016447bbfbd4f9dd6a00a1cc34616efd7099a2b4ddcc7d3bc SHA512 c2e090a42f699200854c20dad868b4b67e99107f0cdbba20ed268f4618fcf80068ee31db37e4b6637f73128d9f652ef9276d8f7adea54628da759d79f5e4f4a2 +DIST Agda-2.5.2.tar.gz 1240885 BLAKE2B bccdaa0c40b8e116f44ee436171cec0a8e1366d7b1f0b469bf459eacf4256e29a00c60a371dcf7971c499e948ce6264861016bb51fcad3251f62cb3e7370c19c SHA512 39ec73316eb7409f7f2618e86a9a3a2c420c93470bf46a1c37a4c4753c6c831d2d6da9ba007086ddee9defd481a695bf142a0a7d360dfa01bdb1fb92467af164 |