Sign inSign up

zenhaskell/verification

By zenhaskell

•Updated about 8 years ago

DEPRECATED. Please use zenhaskell/foundation and bring the appropriate tools in via nix-env.

Image
0

281

Tags for zenhaskell/verification

Sort by

TAG

lts-11.17

Last pushed about 8 years by zenhaskell

docker pull zenhaskell/verification:lts-11.17
DigestOS/ARCHCompressed size

7272a69d1124

linux/amd64

1.53 GB

TAG

lts-11.15

Last pushed over 8 years by zenhaskell

docker pull zenhaskell/verification:lts-11.15
DigestOS/ARCHCompressed size

32aca66ebe4d

linux/amd64

1.52 GB