?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Updated Coq to version 8.2pl1
[nixpkgs-libre.git] / VERSION
blobc2bdb5632d21a5a0a75981a8e5386651702acfed
1 0.13
Nixpkgs-Libre, a libre version of the Nix Package Collection (Nixpkgs)