diff options
| author | Yegor Timoshenko <yegortimoshenko@riseup.net> | 2018-08-10 13:50:22 +0300 |
|---|---|---|
| committer | Yegor Timoshenko <yegortimoshenko@riseup.net> | 2018-08-10 14:02:25 +0300 |
| commit | 4b61b7814ee099bda460262aeb18a6f15d3b4048 (patch) | |
| tree | 148cd3c515f66ccc77ae9ccb1dd78a0620b016f5 /pkgs/development/coq-modules | |
| parent | 02644780d2a90fc533a5fab77d993a2f7dc8a26b (diff) | |
| download | nixpkgs-4b61b7814ee099bda460262aeb18a6f15d3b4048.tar nixpkgs-4b61b7814ee099bda460262aeb18a6f15d3b4048.tar.gz nixpkgs-4b61b7814ee099bda460262aeb18a6f15d3b4048.tar.bz2 nixpkgs-4b61b7814ee099bda460262aeb18a6f15d3b4048.tar.lz nixpkgs-4b61b7814ee099bda460262aeb18a6f15d3b4048.tar.xz nixpkgs-4b61b7814ee099bda460262aeb18a6f15d3b4048.tar.zst nixpkgs-4b61b7814ee099bda460262aeb18a6f15d3b4048.zip | |
qdigidoc: fetch TSL info
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions