diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-01-06 12:10:40 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-01-08 11:30:34 +0000 |
| commit | 15964c97ea95eea845b5972c366a21b7c5507ca8 (patch) | |
| tree | d0a4cdbb4674e33fc72b825aae13ab9081eb6271 /.cirrus.yml | |
| parent | 4ea6ee4d6a2c2fe8170dae086cf4c80590ccc5c4 (diff) | |
| download | klee-15964c97ea95eea845b5972c366a21b7c5507ca8.tar.gz | |
Upgraded FreeBSD Python packages from 3.6 to 3.7
Diffstat (limited to '.cirrus.yml')
| -rw-r--r-- | .cirrus.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 34f32354..46f32049 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -5,7 +5,7 @@ task: - image: freebsd-12-0-release-amd64 deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf - - pkg install -y llvm80 gmake z3 cmake pkgconf google-perftools python3 python36 py36-sqlite3 py36-tabulate + - pkg install -y llvm80 gmake z3 cmake pkgconf google-perftools python3 python37 py37-sqlite3 py37-tabulate build_script: - mkdir build - cd build |