Go
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]
oldstable:
20170109-
1
testing:
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
Problems while searching for a new upstream version
high
uscan had problems while searching for a new upstream version:
uscan returned an empty output
lintian reports
9 warnings
normal
Lintian
reports
9 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.5.1
instead of
4.4.1
).
news
[rss feed]
[
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:
1
RC:
0
I&N:
1
M&W:
0
F&P:
0
patch:
0
links
homepage
lintian
(
0
,
9
)
buildd:
logs
,
checks
,
clang
,
reproducibility
,
cross
popcon
browse source code
edit tags
other distros
screenshots
ubuntu
[Information about Ubuntu for Debian Developers]
version:
20190729-4build4
![[bug history graph]](https://qa.debian.org/data/bts/graphs/h/hol-light.png){kind=link}