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

Matej Šima 34c84f5bed Merge branch 'feature/website-fixes' into 'dev' ... Small fixes to the doc and to the odoc build script See merge request ligolang/ligo!43		2019-06-21 12:46:54 +00:00
docker	Use sh, not bash	2019-06-10 10:23:18 +02:00
gitlab-pages	Small fixes to the doc and to the odoc build script	2019-06-20 21:11:37 +02:00
packages	typo in sed script	2019-05-27 13:10:29 +02:00
scripts	typo: used both [ ] and test in shell script	2019-06-14 00:44:55 +02:00
src	Fix auto-detection of syntax, use a polymorphic variant to ensure all functions were updated.	2019-06-13 01:56:03 +02:00
vendors	Merge remote-tracking branch 'origin/dev' into HEAD	2019-06-13 12:03:46 +02:00
.gitignore	Removed "assert" as reserved. Enabled terminating ";" in lists.	2019-06-10 15:19:42 +02:00
.gitlab-ci.yml	Small fixes to the doc and to the odoc build script	2019-06-20 21:11:37 +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
Makefile	Started using the scripts/… in .gitignore, started a Makefile for one-liners to be used by the devs, e.g. make build-deps, make, make test	2019-06-10 10:19:49 +02:00
repo	update repository	2019-05-13 19:24:21 +00:00
urls.txt	update repository	2019-05-13 19:24:21 +00:00