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)
  • no-nmu-in-changelog [debian/changelog:1]
  • source-nmu-has-incorrect-version-number 1.1-1 [debian/changelog:1]
• libghc-smtlib-dev_1.1-1+b1_amd64.deb (main)
  • description-synopsis-starts-with-article
  • extended-description-contains-empty-paragraph
• libghc-smtlib-doc_1.1-1_all.deb (main)
  • description-synopsis-starts-with-article
  • extended-description-contains-empty-paragraph
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-46.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-61.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-A.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-All.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-B.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-C.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-D.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-E.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-F.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-G.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-I.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-L.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-N.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-O.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-P.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-Q.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-R.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-S.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-T.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-U.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-V.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-X.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/doc-index-Z.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/index.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/SMTLib1.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_AUFBV.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_BV.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Array.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/SMTLib2-BitVector.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Compat1.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Core.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/SMTLib2.html]
  • privacy-breach-generic [<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) [usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Int.html]
• libghc-smtlib-prof_1.1-1+b1_amd64.deb (main)
  • description-synopsis-starts-with-article
  • extended-description-contains-empty-paragraph