diff options
| author | Tobias Happ <Gerschtli@users.noreply.github.com> | 2018-06-11 00:08:08 +0200 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-06-11 00:08:08 +0200 |
| commit | 8d488247e11a0820c667ecdaa72a04a7a4585f42 (patch) | |
| tree | 6dd3f91ea33af29b5afa4f2d6151796de779c9ad /pkgs/development/coq-modules | |
| parent | 1ef6d3fe62f861619ed257fa145b2b8ce3fa7d9e (diff) | |
| download | nixpkgs-8d488247e11a0820c667ecdaa72a04a7a4585f42.tar nixpkgs-8d488247e11a0820c667ecdaa72a04a7a4585f42.tar.gz nixpkgs-8d488247e11a0820c667ecdaa72a04a7a4585f42.tar.bz2 nixpkgs-8d488247e11a0820c667ecdaa72a04a7a4585f42.tar.lz nixpkgs-8d488247e11a0820c667ecdaa72a04a7a4585f42.tar.xz nixpkgs-8d488247e11a0820c667ecdaa72a04a7a4585f42.tar.zst nixpkgs-8d488247e11a0820c667ecdaa72a04a7a4585f42.zip | |
atom: patchelf ctags binary (#41811)
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions