Vincent Laporte 59949aa55c Revert "coq-modules: add default to fix eval" ... This reverts commit e20b65156c.		2019-02-01 16:02:42 +00:00
..
default.nix	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00