Index of /pari-seadata-big-20170418/

../
pari-seadata-big-20170418.tar                      24-Oct-2023 00:43           103526400
seadata-big.tar                                    25-Oct-2025 08:04           103526400