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

Gabriel Alfour b701315ac6 Merge branch 'feature/#9-add-contributor-docs' into 'dev' ... #9 add contributor docs, #10 visual overhaul of the LIGO website See merge request ligolang/ligo!13		2019-06-04 10:52:56 +00:00
docker	Refactor docker image structure & CI	2019-05-27 17:43:39 +02:00
gitlab-pages	Merge branch 'feature/#10-website-visual-overhaul' into feature/#9-add-contributor-docs	2019-06-03 18:55:06 +02:00
packages	typo in sed script	2019-05-27 13:10:29 +02:00
scripts	Fix leftover debug URL	2019-05-27 18:10:58 +02:00
src	fix cli.ml	2019-06-01 11:51:49 +00:00
vendors	fix ligodity; add it to the bin; add source locations; merge	2019-06-01 11:29:31 +00:00
.gitignore	Merge repository ligo-opam-repository	2019-05-27 11:54:29 +02:00
.gitlab-ci.yml	build the remote-repo job only on master	2019-06-01 13:44:08 +02:00
CONTRIBUTORS.md	add MIT license	2019-05-25 15:52:12 +00:00
index.tar.gz	update repository	2019-05-13 19:24:21 +00:00
LICENSE.md	add MIT license	2019-05-25 15:52:12 +00:00
repo	update repository	2019-05-13 19:24:21 +00:00
urls.txt	update repository	2019-05-13 19:24:21 +00:00