Debian Package Tracker
Register | Log in
Subscribe

hol-light

HOL Light theorem prover

Choose email to subscribe with

general
  • source: hol-light (main)
  • version: 20190729-4
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Hendrik Tews [DMD]
  • arch: any
  • std-ver: 4.4.1
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 20170109-1
  • stable: 20190729-4
  • unstable: 20190729-4
versioned links
  • 20170109-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 20190729-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • hol-light (1 bugs: 0, 1, 0, 0)
action needed
4 binary packages have unsatisfiable dependencies high
  • The dependencies of hol-light=20190729-4+b4 cannot be satisfied in unstable on armhf and i386 because: unsatisfied dependency on camlp5-qbub4
  • The dependencies of hol-light=20190729-4+b4 cannot be satisfied in unstable on s390x because: unsatisfied dependency on camlp5-tbgj7
  • The dependencies of hol-light=20190729-4+b4 cannot be satisfied in unstable on mips64el, armel, and mipsel because: unsatisfied dependency on camlp5-dkct1
  • The dependencies of hol-light=20190729-4+b4 cannot be satisfied in unstable on amd64, ppc64el, and arm64 because: unsatisfied dependency on camlp5-y7l77
Created: 2022-01-20 Last update: 2022-05-19 23:03
Problems while searching for a new upstream version high
uscan had problems while searching for a new upstream version:
uscan returned an empty output
Created: 2020-06-29 Last update: 2022-05-19 22:32
The package has not entered testing even though the delay is over normal
The package has not entered testing even though the 5-day delay is over. Check why.
Created: 2022-01-25 Last update: 2022-05-19 22:01
version in VCS is newer than in repository, is it time to upload? normal
vcswatch reports that this package seems to have a new changelog entry (version 20190729-5, distribution UNRELEASED) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:
commit 13aafeb53db8a66bd44d2a37902d5686776c34f9
Merge: 13e0ef9 dc4bcd2
Author: Stéphane Glondu <glondu@debian.org>
Date:   Sun Jan 2 05:09:36 2022 +0000

    Merge branch 'lintian-fixes' into 'master'
    
    Fix some issues reported by lintian
    
    See merge request ocaml-team/hol-light!1

commit dc4bcd27b5742d2049f32a9797de23b4aba0b39d
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:51:37 2021 +0000

    Update standards version to 4.6.0, no changes needed.
    
    Changes-By: lintian-brush
    Fixes: lintian: out-of-date-standards-version
    See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html

commit 99ebbf27d6550a344908de8dd3809261a525c226
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:50:47 2021 +0000

    Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse.
    
    Changes-By: lintian-brush
    Fixes: lintian: upstream-metadata-file-is-missing
    See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
    Fixes: lintian: upstream-metadata-missing-bug-tracking
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html
    Fixes: lintian: upstream-metadata-missing-repository
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-repository.html

commit a19f8ad6b4d1c55fef2c9f7953dd63cf9b51488e
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:50:11 2021 +0000

    Bump debhelper from old 12 to 13.
    + Drop check for DEB_BUILD_OPTIONS containing "nocheck", since debhelper now does this.
    + debian/rules: Drop --fail-missing argument to dh_missing, which is now the default.
    
    Changes-By: lintian-brush
    Fixes: lintian: package-uses-old-debhelper-compat-version
    See-also: https://lintian.debian.org/tags/package-uses-old-debhelper-compat-version.html

commit 9059e23fa330b6da32a26475b840eb388eb25809
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:49:35 2021 +0000

    Use secure URI in Homepage field.
    
    Changes-By: lintian-brush
    Fixes: lintian: homepage-field-uses-insecure-uri
    See-also: https://lintian.debian.org/tags/homepage-field-uses-insecure-uri.html

commit a50c63b84a42aac3ed17c51f610f31d642fa96e3
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:48:51 2021 +0000

    debian/copyright: use spaces rather than tabs to start continuation lines.
    
    Changes-By: lintian-brush
    Fixes: lintian: tab-in-license-text
    See-also: https://lintian.debian.org/tags/tab-in-license-text.html
Created: 2022-01-02 Last update: 2022-05-19 10:14
lintian reports 9 warnings normal
Lintian reports 9 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2020-07-29 Last update: 2021-01-27 03:02
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.1 instead of 4.4.1).
Created: 2020-01-21 Last update: 2022-05-11 23:25
testing migrations
  • excuses:
    • Migration status for hol-light (- to 20190729-4): BLOCKED: Rejected/violates migration policy/introduces a regression
    • Issues preventing migration:
    • ∙ ∙ hol-light/amd64 has unsatisfiable dependency
    • ∙ ∙ hol-light/arm64 has unsatisfiable dependency
    • ∙ ∙ hol-light/armel has unsatisfiable dependency
    • ∙ ∙ hol-light/armhf has unsatisfiable dependency
    • ∙ ∙ hol-light/i386 has unsatisfiable dependency
    • ∙ ∙ hol-light/mips64el has unsatisfiable dependency
    • ∙ ∙ hol-light/mipsel has unsatisfiable dependency
    • ∙ ∙ hol-light/ppc64el has unsatisfiable dependency
    • ∙ ∙ hol-light/s390x has unsatisfiable dependency
    • ∙ ∙ Updating hol-light would introduce bugs in testing: #1002983
    • Additional info:
    • ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/h/hol-light.html
    • ∙ ∙ uninstallable on arch amd64, not running autopkgtest there
    • ∙ ∙ uninstallable on arch arm64, not running autopkgtest there
    • ∙ ∙ uninstallable on arch armhf, not running autopkgtest there
    • ∙ ∙ uninstallable on arch i386, not running autopkgtest there
    • ∙ ∙ uninstallable on arch ppc64el, not running autopkgtest there
    • ∙ ∙ uninstallable on arch s390x, not running autopkgtest there
    • ∙ ∙ 828 days old (needed 5 days)
    • Not considered
news
[rss feed]
  • [2022-01-26] hol-light REMOVED from testing (Debian testing watch)
  • [2020-02-17] hol-light 20190729-4 MIGRATED to testing (Debian testing watch)
  • [2020-02-12] Accepted hol-light 20190729-4 (source) into unstable (Stéphane Glondu)
  • [2020-01-03] hol-light 20190729-3 MIGRATED to testing (Debian testing watch)
  • [2019-12-29] Accepted hol-light 20190729-3 (source) into unstable (Stéphane Glondu)
  • [2019-11-15] hol-light REMOVED from testing (Debian testing watch)
  • [2019-08-04] hol-light 20190729-2 MIGRATED to testing (Debian testing watch)
  • [2019-07-29] Accepted hol-light 20190729-2 (source) into unstable (Gianfranco Costamagna)
  • [2019-07-29] Accepted hol-light 20190729-1 (source) into unstable (Gianfranco Costamagna)
  • [2019-07-29] Accepted hol-light 20190729-0.1 (source) into unstable (Gianfranco Costamagna)
  • [2017-10-24] hol-light REMOVED from testing (Debian testing watch)
  • [2017-08-08] hol-light 20170109-2 MIGRATED to testing (Debian testing watch)
  • [2017-08-03] Accepted hol-light 20170109-2 (source) into unstable (Hendrik Tews) (signed by: Dimitri John Ledkov)
  • [2017-01-26] hol-light 20170109-1 MIGRATED to testing (Debian testing watch)
  • [2017-01-15] Accepted hol-light 20170109-1 (source) into unstable (Hendrik Tews) (signed by: Ralf Treinen)
  • [2013-12-02] hol-light 20131026-1 MIGRATED to testing (Debian testing watch)
  • [2013-11-21] Accepted hol-light 20131026-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2013-09-29] hol-light 20130811-1 MIGRATED to testing (Debian testing watch)
  • [2013-09-18] Accepted hol-light 20130811-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2013-06-07] hol-light 20130511-1 MIGRATED to testing (Debian testing watch)
  • [2013-05-27] Accepted hol-light 20130511-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2012-06-22] hol-light 20120602-1 MIGRATED to testing (Debian testing watch)
  • [2012-06-12] Accepted hol-light 20120602-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2012-06-04] Accepted hol-light 20120530-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
  • [2012-05-30] hol-light 20120423-1 MIGRATED to testing (Debian testing watch)
  • [2012-05-19] Accepted hol-light 20120423-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
bugs [bug history graph]
  • all: 2
  • RC: 1
  • I&N: 1
  • M&W: 0
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (0, 9)
  • buildd: logs, clang, debcheck, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing