diff options
| author | Ryan Mulligan <ryan@ryantm.com> | 2019-10-23 20:35:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-23 20:35:10 -0700 |
| commit | 8b0beaedd2efe8207c9bb28b5fab20c176a6d8e3 (patch) | |
| tree | fa601afe45f88061e9ca5b0809b64843da330a94 /pkgs/development/coq-modules | |
| parent | 9dab9a79706ceb63930b15b0c6305066046bac1e (diff) | |
| parent | 8c321726a1de1da52f2d4bb586315b31c8c6d1d8 (diff) | |
| download | nixpkgs-8b0beaedd2efe8207c9bb28b5fab20c176a6d8e3.tar nixpkgs-8b0beaedd2efe8207c9bb28b5fab20c176a6d8e3.tar.gz nixpkgs-8b0beaedd2efe8207c9bb28b5fab20c176a6d8e3.tar.bz2 nixpkgs-8b0beaedd2efe8207c9bb28b5fab20c176a6d8e3.tar.lz nixpkgs-8b0beaedd2efe8207c9bb28b5fab20c176a6d8e3.tar.xz nixpkgs-8b0beaedd2efe8207c9bb28b5fab20c176a6d8e3.tar.zst nixpkgs-8b0beaedd2efe8207c9bb28b5fab20c176a6d8e3.zip | |
Merge pull request #71857 from r-ryantm/auto-update/q-text-as-data
q-text-as-data: 1.7.1 -> 1.7.4
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions