IntelliJ IDEA: do not assume that we are using OpenJDK.
agda: add Agda-Sheaves
lib/licenses: add cc-by-40 (fixes #4035)
added volumeicon
agda-sheaves: use lib.licenses
gtkspellmm: new package

@vcunat added platforms.
flite: update 1.4 -> 1.9.0

@vcunat added meta.platforms.
agda-stdlib: make expression nicer, fix license
agda: fix license
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