nixpkgs/pkgs/development/coq-modules/Velisarios
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 e20b65156c)
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