1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
hol-light (20170109-1) unstable; urgency=low
[ Mehdi Dogguy ]
* Update watch file
[ Hendrik Tews ]
* Imported Upstream version 20170109
with git hash f468686c09996f77ccfa98c30ba98f8db2c8cfd9
* update copyright, patches, README.Debian
* standards-version 3.9.8; update Vcs fields
* disable building the Mizarlight syntax extension (fails upstream with
OCaml 4.02 - already reported to John Harrison)
* clear exec bit fix on RichterHilbertAxiomGeometry/Topology.ml (fixed
upstream)
* add exec bit fixes for Help/HYP_TAC.doc,
RichterHilbertAxiomGeometry/TarskiAxiomGeometry_read.ml and
Multivariate/cvectors.ml
* don't install jar files in Proofrecording/tools
* add patch cd-holtest-parallel to fix current directory in parallel
test
-- Hendrik Tews <hendrik@askra.de> Mon, 09 Jan 2017 23:27:28 +0100
hol-light (20131026-1) unstable; urgency=low
* new upstream version revision 177 from 2013-10-26
* use new pa_j and adjust camlp5 dependencies
* delete executable bit of RichterHilbertAxiomGeometry/Topology.ml
during installation
-- Hendrik Tews <hendrik@askra.de> Sun, 10 Nov 2013 20:37:21 +0100
hol-light (20130811-1) unstable; urgency=low
* new upstream version revision 170 from 2013-08-11
* fix vcs fields
* refresh patches
* delete include-compiler-libs patch (applied upstream)
* update elc file path in hol-light-source.exclude
* update copyright
-- Hendrik Tews <hendrik@askra.de> Wed, 14 Aug 2013 22:45:11 +0200
hol-light (20130511-1) unstable; urgency=low
* new upstream version revision 162 from 2013-05-11
* fix typo in package description (Closes: #680494)
* set prioity to extra
* omit new elc file from package
* adapt copyright info
* add new patch include-compiler-libs for OCaml 4 compatibility
* bump to standards version 3.9.4
* improve debian readme
-- Hendrik Tews <hendrik@askra.de> Fri, 17 May 2013 13:54:42 +0200
hol-light (20120602-1) unstable; urgency=low
* new upstream version revision 146 from 2012-06-02
* remove holtest-dependency-hint patch
* refresh remaining patches
-- Hendrik Tews <hendrik@askra.de> Sun, 10 Jun 2012 21:59:35 +0200
hol-light (20120530-1) unstable; urgency=low
* new upstream version revision 141 from 2012-05-30
* remove patches that have been applied upstream:
adapt-holtest-for-debian and pa-j-makefile-fix
* adapt debian/copyright
* simplify debian/rules
* add patch holtest-dependency-hint
-- Hendrik Tews <hendrik@askra.de> Thu, 31 May 2012 10:12:15 +0200
hol-light (20120423-1) unstable; urgency=low
* Initial release (Closes: #663754)
-- Hendrik Tews <hendrik@askra.de> Tue, 24 Apr 2012 20:40:39 +0200
|
