summary refs log tree commit diff
path: root/pkgs/development/coq-modules
diff options
context:
space:
mode:
authorIzorkin <izorkin@elven.pw>2019-04-23 20:00:06 +0300
committerIzorkin <izorkin@elven.pw>2019-04-23 20:00:06 +0300
commitfa069728716a2f7490456cfa446062013ed1cb2f (patch)
tree905349e6963bdf7870fa14be197db0336c771eba /pkgs/development/coq-modules
parent359facc3d318bb623401df4942d81c8e5e404381 (diff)
downloadnixpkgs-fa069728716a2f7490456cfa446062013ed1cb2f.tar
nixpkgs-fa069728716a2f7490456cfa446062013ed1cb2f.tar.gz
nixpkgs-fa069728716a2f7490456cfa446062013ed1cb2f.tar.bz2
nixpkgs-fa069728716a2f7490456cfa446062013ed1cb2f.tar.lz
nixpkgs-fa069728716a2f7490456cfa446062013ed1cb2f.tar.xz
nixpkgs-fa069728716a2f7490456cfa446062013ed1cb2f.tar.zst
nixpkgs-fa069728716a2f7490456cfa446062013ed1cb2f.zip
phpPackages: add prefix 'php-' to packages
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions