3 commits
Author | SHA1 | Date | |
---|---|---|---|
![]() |
f5fa5fa4d6 | ||
![]() |
d40b680101 | ||
![]() |
4888bfecc2 |
Renamed from pkgs/applications/science/logic/coq/default.nix (Browse further)