Sign inSign up

zenhaskell/verification

By zenhaskell

•Updated over 8 years ago

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

Image
0

299

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

over 8 years ago

docker pull zenhaskell/verification:lts-11.17