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

Tom Jack 2d7e177ba7 Build Ubuntu 19.10 instead of 19.04 ... 19.04 reached End of Life in January and it appears the package repos have now dropped it. 19.10 is not LTS but EOL is in July. Soon there will be 20.04 LTS.		2020-04-16 18:04:42 -05:00
docker/distribution	Revert "Revert "Merge branch 'feature/adt-generator-poly-3' into 'dev'""	2020-04-13 19:23:12 +02:00
gitlab-pages	Build Ubuntu 19.10 instead of 19.04	2020-04-16 18:04:42 -05:00
scripts	Merge branch 'rinderknecht@gcc' into 'dev'	2020-04-15 15:56:45 +00:00
src	Always inline variable-for-variable lets in Self_mini_c	2020-04-16 14:18:35 -05:00
tools/webide	Install perl6 instead of the painful-to-install python3+fstrings	2020-04-13 19:23:12 +02:00
vendors	Bug fix: the environment has to be threaded through #include	2020-04-16 16:56:11 +02:00
.dockerignore	Feature/smaller docker image	2019-11-09 22:34:20 +00:00
.gitignore	ignore all .pp.ligo's	2020-02-09 18:22:33 +01:00
.gitlab-ci.yml	Build Ubuntu 19.10 instead of 19.04	2020-04-16 18:04:42 -05:00
CHANGELOG.md	michelson_or tests and changelog	2020-04-07 21:38:12 +02:00
CONTRIBUTORS.md	add MIT license	2019-05-25 15:52:12 +00:00
dune-project	Unignore dune-project	2019-12-19 19:53:10 +00:00
LICENSE.md	add MIT license	2019-05-25 15:52:12 +00:00
ligo.opam	Dunification of the Red-Black_Trees library	2020-04-13 19:23:12 +02:00
Makefile	Now have an default group "ungrouped" for all the code blocks without any "group=..."	2019-12-31 14:23:51 +01:00
repo	Separate parts of Pascaligo into a shared parser library	2019-08-29 14:54:06 +00:00