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

zenhaskell/verification repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

Size

1.5 GB

Last updated

about 8 years ago

docker pull zenhaskell/verification:lts-11.17