nixpkgs manual: packaging coq libraries