diff options
| author | J08nY | 2017-07-20 00:01:01 +0200 |
|---|---|---|
| committer | J08nY | 2017-07-20 00:01:01 +0200 |
| commit | c209bd1d11fa8813fb44270bea328a3bc33c0a58 (patch) | |
| tree | db83586e2caf10de338123365f84040adbdeaf3e | |
| parent | 75abcb6adf3f89fd0d8b61ee2630d8d27a571a27 (diff) | |
| download | ecgen-c209bd1d11fa8813fb44270bea328a3bc33c0a58.tar.gz ecgen-c209bd1d11fa8813fb44270bea328a3bc33c0a58.tar.zst ecgen-c209bd1d11fa8813fb44270bea328a3bc33c0a58.zip | |
Bumo PARI-GP version on Travis.
| -rw-r--r-- | .travis.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.travis.yml b/.travis.yml index b038949..17e1521 100644 --- a/.travis.yml +++ b/.travis.yml @@ -20,11 +20,11 @@ matrix: - clang-3.9 before_install: - - wget mirrors.kernel.org/ubuntu/pool/universe/p/pari/libpari-gmp-tls5_2.9.1-1_amd64.deb - - wget mirrors.kernel.org/ubuntu/pool/universe/p/pari/libpari-dev_2.9.1-1_amd64.deb - - wget mirrors.kernel.org/ubuntu/pool/universe/p/pari/pari-gp_2.9.1-1_amd64.deb + - wget mirrors.kernel.org/ubuntu/pool/universe/p/pari/libpari-gmp-tls5_2.9.3-1_amd64.deb + - wget mirrors.kernel.org/ubuntu/pool/universe/p/pari/libpari-dev_2.9.3-1_amd64.deb + - wget mirrors.kernel.org/ubuntu/pool/universe/p/pari/pari-gp_2.9.3-1_amd64.deb - wget mirrors.kernel.org/ubuntu/pool/main/r/readline/libreadline7_7.0-0ubuntu2_amd64.deb - - sudo dpkg --force-all -i libreadline7_7.0-0ubuntu2_amd64.deb libpari-gmp-tls5_2.9.1-1_amd64.deb libpari-dev_2.9.1-1_amd64.deb pari-gp_2.9.1-1_amd64.deb + - sudo dpkg --force-all -i libreadline7_7.0-0ubuntu2_amd64.deb libpari-gmp-tls5_2.9.3-1_amd64.deb libpari-dev_2.9.3-1_amd64.deb pari-gp_2.9.3-1_amd64.deb script: - TEST=1 make -j2 test |