Cyril Cohen 52f3c28df2 elpi: 1.4.1 -> 1.6.0, and coq-elpi

2019-08-09 08:47:52 +00:00

..

scripts

treewide: use dontUnpack

2019-07-01 04:23:51 -04:00

maintainer-list.nix

elpi: 1.4.1 -> 1.6.0, and coq-elpi

2019-08-09 08:47:52 +00:00