Commit Graph

3 Commits

Author SHA1 Message Date
Jens Petersen
c5c2e9bc27 bump installed llvm versions to 11-13
22.04 doesn't have llvm 7-9
2022-12-30 23:10:31 +08:00
Jens Petersen
ea2fead291 update docker image to Ubuntu/pid1 22.04 LTS
- drop embedding ghc and stack
- use libz3-dev
2022-12-30 23:03:37 +08:00
Adam Bergmark
431c2b0933 Upgrade docker image to ubuntu 20.04 2022-06-06 20:03:34 +02:00