haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-12 07:18:31 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
b428cb23c1
stackage/docker
History
Andreas Ländle 5ab2e7cb06 Expect test failures for what4 - since cvc5 is not available (GaloisInc/what4#262).
2024-05-21 18:29:01 +02:00
..
01-build-server.sh Docker: remove various stale commented-out lines 2023-06-12 19:15:08 +02:00
02-apt-get-install.sh Expect test failures for what4 - since cvc5 is not available (GaloisInc/what4#262). 2024-05-21 18:29:01 +02:00
03-custom-install.sh Add grisette 2024-01-12 09:45:30 -08:00
04-cleanup.sh Upgrade docker image to ubuntu 20.04 2022-06-06 20:03:34 +02:00