diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2022-07-13 10:12:01 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-13 10:12:01 -0700 |
| commit | bee8b6b38900aece7cb6d0908e64d98813e2bf5a (patch) | |
| tree | 6fc8471b535a827b639b847b7aface28f7c1843f /pkgs | |
| parent | 8619d75795a75263ec29ef6f868390c1bc2c855e (diff) | |
| parent | 65f330a83dc90d7960fcd7c1ab32904aabfcc2e4 (diff) | |
| download | nixpkgs-bee8b6b38900aece7cb6d0908e64d98813e2bf5a.tar nixpkgs-bee8b6b38900aece7cb6d0908e64d98813e2bf5a.tar.gz nixpkgs-bee8b6b38900aece7cb6d0908e64d98813e2bf5a.tar.bz2 nixpkgs-bee8b6b38900aece7cb6d0908e64d98813e2bf5a.tar.lz nixpkgs-bee8b6b38900aece7cb6d0908e64d98813e2bf5a.tar.xz nixpkgs-bee8b6b38900aece7cb6d0908e64d98813e2bf5a.tar.zst nixpkgs-bee8b6b38900aece7cb6d0908e64d98813e2bf5a.zip | |
Merge pull request #181340 from dwarfmaster/coq-doc
doc: clarify coq override
Diffstat (limited to 'pkgs')
0 files changed, 0 insertions, 0 deletions