GitHub - phlummox/carnap-docker: docker image for carnap

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
patches		patches
.gitignore		.gitignore
.travis.yml		.travis.yml
Dockerfile		Dockerfile
Dockerfile-0.10		Dockerfile-0.10
Dockerfile-0.11		Dockerfile-0.11
Dockerfile-0.12		Dockerfile-0.12
Dockerfile-0.13		Dockerfile-0.13
Dockerfile-0.14		Dockerfile-0.14
Dockerfile-0.15		Dockerfile-0.15
Dockerfile-0.2		Dockerfile-0.2
Dockerfile-0.3		Dockerfile-0.3
Dockerfile-0.4		Dockerfile-0.4
Dockerfile-0.5		Dockerfile-0.5
Dockerfile-0.6		Dockerfile-0.6
Dockerfile-0.7		Dockerfile-0.7
Dockerfile-0.8		Dockerfile-0.8
Dockerfile-0.9		Dockerfile-0.9
SecureStrings.hs		SecureStrings.hs
a794e5a60e125da72ff131485fb74ea90c987a78.patch		a794e5a60e125da72ff131485fb74ea90c987a78.patch
a794e5a60e125da72ff131485fb74ea90c987a78.patch2		a794e5a60e125da72ff131485fb74ea90c987a78.patch2
mk_ghcjs_symlinks.sh		mk_ghcjs_symlinks.sh
semigroupoids-5.0.1.tgz		semigroupoids-5.0.1.tgz
stack-ghcjs.yaml		stack-ghcjs.yaml
stack.yaml.ghcjs		stack.yaml.ghcjs