NixOS/nixpkgs — pull request #5242 by vbgl (2014-12-06 12:37:07+00:00)
Title: Adds Coq contribs

About 160 Coq libraries.