Matthew Bauer 82a1153d6d coq-modules: add default to fix eval ... We don’t want these to not even evaluate, otherwise we won’t know why they’re broken. For now, I’ve left these as the latest version for a default. In the future, maybe we should be smarter about choosing these. (cherry picked from commit e20b65156cee92d30b43f8e339bd686bd83538cb)		2019-01-28 10:16:30 -05:00
..
default.nix	coq-modules: add default to fix eval	2019-01-28 10:16:30 -05:00