diff options
| author | Elis Hirwing <elis@hirwing.se> | 2019-04-24 07:24:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-24 07:24:54 +0200 |
| commit | 0620e0fdbf4d79df771afd28f741b2159f381d2b (patch) | |
| tree | 29d0242e9b7906f42606823afbccb1b7c4dd10ce /pkgs/development/coq-modules | |
| parent | 1e8ebd96acf3589ca9b6be013c8ec6a5ee116cf2 (diff) | |
| parent | fa069728716a2f7490456cfa446062013ed1cb2f (diff) | |
| download | nixpkgs-0620e0fdbf4d79df771afd28f741b2159f381d2b.tar nixpkgs-0620e0fdbf4d79df771afd28f741b2159f381d2b.tar.gz nixpkgs-0620e0fdbf4d79df771afd28f741b2159f381d2b.tar.bz2 nixpkgs-0620e0fdbf4d79df771afd28f741b2159f381d2b.tar.lz nixpkgs-0620e0fdbf4d79df771afd28f741b2159f381d2b.tar.xz nixpkgs-0620e0fdbf4d79df771afd28f741b2159f381d2b.tar.zst nixpkgs-0620e0fdbf4d79df771afd28f741b2159f381d2b.zip | |
Merge pull request #60099 from Izorkin/php-packages-prefix
phpPackages: add prefix 'php-' to packages
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions