diff options
Diffstat (limited to 'math/flint2/distinfo')
| -rw-r--r-- | math/flint2/distinfo | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/math/flint2/distinfo b/math/flint2/distinfo index ed76399c741f..7106772bb696 100644 --- a/math/flint2/distinfo +++ b/math/flint2/distinfo @@ -1,3 +1,7 @@ -TIMESTAMP = 1550371793 +TIMESTAMP = 1580761062 SHA256 (wbhart-flint2-g20190210-2baa9bc_GH0.tar.gz) = e3c085121f481992af84330ae76b47015bd22bffb078432a197e325855d667d5 SIZE (wbhart-flint2-g20190210-2baa9bc_GH0.tar.gz) = 4130197 +SHA256 (a143883797f27f853332adbee09b76f48b5fbfaf.patch) = 16e16aa60a825008371f4a723d6ad6861999fc1ce9877d372464944a77337441 +SIZE (a143883797f27f853332adbee09b76f48b5fbfaf.patch) = 1205 +SHA256 (1266c04004a846221491cb005fc8ba45cd3c75f4.patch) = c4c7903c98323437a3226af05e9a14398b8944ab8c8c00e6a4dfd1b29e56c651 +SIZE (1266c04004a846221491cb005fc8ba45cd3c75f4.patch) = 1577 |