Go
Register
|
Log in
Subscribe
hol-light
HOL Light theorem prover
×
Choose email to subscribe with
general
source:
hol-light
(
main
)
version:
20190729-
2
maintainer:
Debian OCaml Maintainers
(
archive
)
(
DMD
)
uploaders:
Hendrik Tews
[
DMD
]
arch:
any
std-ver:
4.4.0
VCS:
Git
(
Browse
,
QA
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
20131026-
1
oldstable:
20170109-
1
unstable:
20190729-
2
versioned links
20131026-
1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
20170109-
1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
20190729-
2:
[.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
5 binary packages have unsatisfiable dependencies
high
The dependencies of
hol-light
=20190729-2+b1 cannot be satisfied in unstable on
ppc64el
, arm64
, and amd64
because:
unsatisfied dependency on camlp5-qcft3
The dependencies of
hol-light
=20190729-2+b1 cannot be satisfied in unstable on i386 because:
unsatisfied dependency on camlp5-qa6e3
The dependencies of
hol-light
=20190729-2 cannot be satisfied in unstable on
armel
, mipsel
, and mips64el
because:
unsatisfied dependency on camlp5-tlv43
The dependencies of
hol-light
=20190729-2+b1 cannot be satisfied in unstable on s390x because:
unsatisfied dependency on camlp5-d67u5
The dependencies of
hol-light
=20190729-2+b2 cannot be satisfied in unstable on armhf because:
unsatisfied dependency on camlp5-y9ol0
Problems while searching for a new upstream version
high
uscan had problems while searching for a new upstream version:
uscan returned an empty output
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
.
Depends on packages which need a new maintainer
normal
The packages that hol-light depends on which need a new maintainer are:
coinor-csdp
(
#645079
)
Suggests: coinor-csdp
lintian reports
7 warnings
normal
Lintian
reports
7 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.4.1
instead of
4.4.0
).
testing migrations
excuses
:
Migration status for hol-light (- to 20190729-2): BLOCKED: Rejected/violates migration policy/introduces a regression
Issues preventing migration:
Updating hol-light introduces new bugs:
#944277
uninstallable on arch amd64, autopkgtest delayed there
uninstallable on arch arm64, autopkgtest delayed there
Additional info:
hol-light/armel unsatisfiable Depends: camlp5-tlv43
hol-light/armel unsatisfiable Depends: ocaml-nox-4.05.0
hol-light/mips64el unsatisfiable Depends: camlp5-tlv43
hol-light/mips64el unsatisfiable Depends: ocaml-nox-4.05.0
hol-light/mipsel unsatisfiable Depends: camlp5-tlv43
hol-light/mipsel unsatisfiable Depends: ocaml-nox-4.05.0
hol-light/amd64 unsatisfiable Depends: camlp5-qcft3
hol-light/amd64 unsatisfiable Depends: ocaml-nox-4.05.0
hol-light/arm64 unsatisfiable Depends: camlp5-qcft3
hol-light/arm64 unsatisfiable Depends: ocaml-nox-4.05.0
hol-light/i386 unsatisfiable Depends: camlp5-qa6e3
hol-light/i386 unsatisfiable Depends: ocaml-nox-4.05.0
hol-light/ppc64el unsatisfiable Depends: camlp5-qcft3
hol-light/ppc64el unsatisfiable Depends: ocaml-nox-4.05.0
hol-light/s390x unsatisfiable Depends: camlp5-d67u5
hol-light/s390x unsatisfiable Depends: ocaml-nox-4.05.0
hol-light/armhf unsatisfiable Depends: camlp5-y9ol0
hol-light/armhf unsatisfiable Depends: ocaml-nox-4.05.0
Piuparts tested OK -
https://piuparts.debian.org/sid/source/h/hol-light.html
129 days old (needed 5 days)
Not considered
news
[rss feed]
[
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
,
7
)
buildd:
logs
,
checks
,
clang
,
debcheck
,
cross
popcon
browse source code
edit tags
screenshots
ubuntu
[Information about Ubuntu for Debian Developers]
version:
20190729-2build1
![[bug history graph]](https://qa.debian.org/data/bts/graphs/h/hol-light.png){kind=link}