Hints

Kristoffer H Rose

We have the following e-mail addresses on file:

• krisrose@debian.org

Found 42 issues in 1 maintained sources. To see all packaging hints, please click on the source.

• haskell-smtlib 1.1-1
• haskell-smtlib_1.1-1.dsc (main)
  • W no-nmu-in-changelog
  • W source-nmu-has-incorrect-version-number 1.1-1
• libghc-smtlib-dev_1.1-1+b1_amd64.deb (main)
  • W description-synopsis-starts-with-article
  • W extended-description-contains-empty-paragraph
• libghc-smtlib-doc_1.1-1_all.deb (main)
  • W description-synopsis-starts-with-article
  • W extended-description-contains-empty-paragraph
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-46.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-61.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-A.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-All.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-B.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-C.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-D.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-E.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-F.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-G.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-I.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-L.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-N.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-O.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-P.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-Q.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-R.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-S.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-T.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-U.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-V.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-X.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/doc-index-Z.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/index.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/SMTLib1.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_AUFBV.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_BV.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Array.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/SMTLib2-BitVector.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Compat1.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Core.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/SMTLib2.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
  • W privacy-breach-generic usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Int.html [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
• libghc-smtlib-prof_1.1-1+b1_amd64.deb (main)
  • W description-synopsis-starts-with-article
  • W extended-description-contains-empty-paragraph