* Coq: fix compilation of coqide (path to lablgkt)
tree38dff0d09285b38a59ea2e531f7aa07723146d38
-rw-r--r-- 1650 COPYING
-rw-r--r-- 1 STABLE
-rw-r--r-- 4 VERSION
-rw-r--r-- 41 default.nix
drwxr-xr-x - doc
drwxr-xr-x - maintainers
drwxr-xr-x - pkgs