hg-git: 0.3.1 -> 0.6.1, and its dependency dulwich: 0.8.7 -> 0.9.7
dulwich: added tests dependencies.
Adds license CeCILL-B
coq: setup-hook for libraries

Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in

    lib/coq/${coq-version}/user-contrib/
Adds three coq libraries: containers, mathcomp, ssreflect

Containers is a reimplementation of the FSets/FMaps library from the
standard library, using typeclasses.

Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4

The Mathematical Components (mathcomp) contains advanced theory files
covering a wide spectrum of mathematics.

Homepage: http://ssr.msr-inria.inria.fr/

Ssreflect is a proof language (plugin for Coq) and a small set of core
theory libraries about boolean, natural numbers, sequences, decidable
equality and finite types.

Homepage: http://ssr.msr-inria.inria.fr/
Removes duplicate ssreflect
ProofGeneral: makes the dependency on TeXLive optional

And fixes the default value of $PGHOME
nixpkgs manual: packaging coq libraries
ocaml-sexplib: propagate the dependency to typeconv

And requires camlp4
Udiskie: update to 1.1.2

Amending to the last commit: added gettext dependency
TODO: investigate Python3/gobject issues

Closes #3720
ocaml-ipaddr: update 2.4.0 -> 2.5.0
ocaml-tyxml: update 3.0.0 -> 3.1.1
ceph: Add missing python libraries and wrap mising python binaries
Added more lua modules to lua-packages, added them as dependencies for
mudlet

Closes #4269
New package: traceroute-2.0.20

Closes #4322
Merge pull request #4323 from vbgl/ocaml-ipaddr-2.5.0

OCaml-ipaddr: update to 2.5.0
Kid3: New Package

Kid3 is a simple and powerful audio tag editor

Closes #4325
debootstrap | 404-fix: 1.0.60 is gone from debian mirrors, update to
1.0.63

Closes #4321
New package: pharo launcher

http://pharo.org

Closes #4315
libLAS: initial expression

Closes #4233