=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for hs-dependent-sum-0.7.2.0nb3 Preprocessing library for dependent-sum-0.7.2.0.. Building library for dependent-sum-0.7.2.0.. [1 of 1] Compiling Data.Dependent.Sum ( src/Data/Dependent/Sum.hs, dist/build/Data/Dependent/Sum.o, dist/build/Data/Dependent/Sum.dyn_o ) [1 of 1] Compiling Data.Dependent.Sum ( src/Data/Dependent/Sum.hs, dist/build/Data/Dependent/Sum.p_o ) Preprocessing library for dependent-sum-0.7.2.0.. Running Haddock on library for dependent-sum-0.7.2.0.. [1 of 1] Compiling Data.Dependent.Sum ( src/Data/Dependent/Sum.hs, nothing ) Haddock coverage: Warning: 'Identity' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'ArgDict' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 15% ( 2 / 13) in 'Data.Dependent.Sum' Missing documentation for: Module header ShowTag (src/Data/Dependent/Sum.hs:117) showTaggedPrec (src/Data/Dependent/Sum.hs:120) ReadTag (src/Data/Dependent/Sum.hs:123) readTaggedPrec (src/Data/Dependent/Sum.hs:126) EqTag (src/Data/Dependent/Sum.hs:129) eqTaggedPrec (src/Data/Dependent/Sum.hs:132) eqTagged (src/Data/Dependent/Sum.hs:137) OrdTag (src/Data/Dependent/Sum.hs:140) compareTaggedPrec (src/Data/Dependent/Sum.hs:143) compareTagged (src/Data/Dependent/Sum.hs:149) Documentation created: dist/doc/html/dependent-sum/