agda: add bitvector
smartgithg: new package

@vcunat added meta.platforms.
smem: Add package

This is a memory reporting tool that accounts for shared memory.
update hpn patch version to match openssh version

so that hpn_openssh is not boken anymore
nixos/tomcat: make package version configurable
Disable fuppes module

fuppes has not been compiling for a long moment, and the ffmpeg version on
which it depends is no longer listed in nixpkgs.
pypy: handle unsupported packages
package gim-nix and document it
rubyLibs: add erubis and yajl
consul: 0.3.0 -> 0.4.0
gems: Add rdoc, execjs, uglifier
Merge pull request #4042 from wkennington/master.consul

Consul: 0.3.0 -> 0.4.0
dbus_python: Add missing isPyPy argument.
Merge pull request #4044 from nathanielbaxter/dev/python

dbus_python: Add missing isPyPy argument.
Merge pull request #4040 from jbgi/patch-1

update hpn patch version to match openssh version
add functor-infix
Merge pull request #4046 from phunehehe/add-functor-infix

add functor-infix
Merge pull request #4030 from AndersonTorres/small-fixups

Small style fixups
nixos/ssh: Allow user to configure the package that provides ssh/sshd
Fix typo in meta