diff options
author | John Wiegley <johnw@newartisans.com> | 2018-07-05 15:16:42 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2018-07-05 15:17:22 -0700 |
commit | 1459b2dffa8336872f5b1f10cfcb1f1f36d8e490 (patch) | |
tree | 4b0fddcbf79c4f2c5be16005ad4ed3c1174c1a56 /pkgs/applications/networking/mumble/default.nix | |
parent | 56afc551f2b895d2c842413cc2a0c040d1ec278b (diff) |
coqPackages.equations: Add support for Coq 8.8
Diffstat (limited to 'pkgs/applications/networking/mumble/default.nix')
0 files changed, 0 insertions, 0 deletions