Nix packaging for https://gitlab.com/ligolang/ligo

Matej Sima 98d0d3ef4a Remove the base docker:latest image from CI		2019-05-24 00:28:54 +02:00
docker	Add a Dockerfile, installer.sh and ligo.sh for easy ligo usage with Docker	2019-05-23 23:06:15 +02:00
src	add basic doc in operators/operators.ml	2019-05-23 15:43:30 +00:00
vendors	Removed unused src/bin_node.	2019-05-16 15:21:46 +02:00
.gitignore	Added tests to build, fixed some unused variables.	2019-05-15 15:17:04 +02:00
.gitlab-ci.yml	Remove the base docker:latest image from CI	2019-05-24 00:28:54 +02:00
.gitmodules	Use different push and pull URLs for submodules	2019-05-16 15:38:40 +02:00