hol-light
HOL Light theorem prover
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/hol-light
general
source
hol-light
(
source
,
math
)
version
20231021-1
maint
Debian OCaml Maintainers
(
a
)
,
Hendrik Tews
(u)
std-ver
4.6.2
VCS
Git
(
browse
)
versions
oldstable
20190729-4
stable
20230128-1
testing
20231021-1
unstable
20231021-1
Ubuntu
20231021-1build4
binaries
hol-light
(
1 bugs
:
0
,
1
,
0
,
0
)
HOL Light theorem prover
todo
Lintian
reports
7 warnings
about this package. You should make the package
lintian clean
getting rid of them.
problems
There were override disparities found in suite unstable:
hol-light: Override says math - optional, .deb says math - extra
news
RSS
[2023-10-28]
hol-light 20231021-1 MIGRATED to testing
(Britney)
[2023-10-23]
Accepted 20231021-1 in unstable (medium)
(Debian FTP Masters)
[2023-09-27]
hol-light 20230128-2 MIGRATED to testing
(Britney)
[2023-09-07]
Accepted 20230128-2 in unstable (medium)
(Debian FTP Masters)
[2023-02-05]
hol-light 20230128-1 MIGRATED to testing
(Britney)
[2023-01-31]
Accepted 20230128-1 in unstable (medium)
(Debian FTP Masters)
[2022-01-26]
hol-light REMOVED from testing
(Britney)
[2020-02-17]
hol-light 20190729-4 MIGRATED to testing
(Britney)
[2020-02-12]
Accepted 20190729-4 in unstable (medium)
(Debian FTP Masters)
[2020-01-03]
hol-light 20190729-3 MIGRATED to testing
(Britney)
[2019-12-29]
Accepted 20190729-3 in unstable (medium)
(Stéphane Glondu)
[2019-11-15]
hol-light REMOVED from testing
(Britney)
[2019-08-04]
hol-light 20190729-2 MIGRATED to testing
(Britney)
[2019-07-29]
Accepted 20190729-2 in unstable (medium)
(Gianfranco Costamagna)
[2019-07-29]
Accepted 20190729-1 in unstable (medium)
(Gianfranco Costamagna)
[2019-07-29]
Accepted 20190729-0.1 in unstable (medium)
(Gianfranco Costamagna)
[2017-10-24]
hol-light REMOVED from testing
(Britney)
[2017-08-08]
hol-light 20170109-2 MIGRATED to testing
(Britney)
[2017-08-03]
Accepted 20170109-2 in unstable (medium)
(Hendrik Tews)
[2017-01-26]
hol-light 20170109-1 MIGRATED to testing
(Britney)
[2017-01-15]
Accepted 20170109-1 in unstable (low)
(Hendrik Tews)
[2013-12-02]
hol-light 20131026-1 MIGRATED to testing
(Britney)
[2013-11-21]
Accepted 20131026-1 in unstable (low)
(Hendrik Tews)
[2013-09-29]
hol-light 20130811-1 MIGRATED to testing
(Britney)
[2013-09-18]
Accepted 20130811-1 in unstable (low)
(Hendrik Tews)
[2013-06-07]
hol-light 20130511-1 MIGRATED to testing
(Britney)
[2013-05-27]
Accepted 20130511-1 in unstable (low)
(Hendrik Tews)
[2012-06-22]
hol-light 20120602-1 MIGRATED to testing
(Britney)
[2012-06-12]
Accepted 20120602-1 in unstable (low)
(Hendrik Tews)
[2012-06-04]
Accepted 20120530-1 in unstable (low)
(Hendrik Tews)
bugs
all
1
RC
0
I&N
1
M&W
0
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
debcheck:
unstable
testing
stable
lintian
(
0
,
7
)
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
20190729-4
20230128-1
20231021-1
20231021-1