gnome-shell-pomodoro for gnome 3.12 package
Nixpkgs is a collection of packages for Nix package manager. Nixpkgs also includes NixOS linux distribution source code.