diff options
author | John Wiegley <johnw@newartisans.com> | 2016-11-03 10:38:45 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-03 10:38:45 -0700 |
commit | 4008300243c3b8e3a24202feb0057b70f1139ac6 (patch) | |
tree | b6f8604a0c35b851a58111278584f44cc81f0739 /pkgs/os-specific/linux/rtl8812au | |
parent | b137b8d1aa14637db1397aaffacf0524d95803e6 (diff) | |
parent | b028b5f4ef03d6c3dae4cdda898c1996348c4e18 (diff) | |
download | nixpkgs-4008300243c3b8e3a24202feb0057b70f1139ac6.tar nixpkgs-4008300243c3b8e3a24202feb0057b70f1139ac6.tar.gz nixpkgs-4008300243c3b8e3a24202feb0057b70f1139ac6.tar.bz2 nixpkgs-4008300243c3b8e3a24202feb0057b70f1139ac6.tar.lz nixpkgs-4008300243c3b8e3a24202feb0057b70f1139ac6.tar.xz nixpkgs-4008300243c3b8e3a24202feb0057b70f1139ac6.tar.zst nixpkgs-4008300243c3b8e3a24202feb0057b70f1139ac6.zip |
Merge pull request #20025 from vbgl/coq-8.5pl3
Coq: 8.5pl2 -> 8.5pl3
Diffstat (limited to 'pkgs/os-specific/linux/rtl8812au')
0 files changed, 0 insertions, 0 deletions