-
7d05baa8
by Bo YU at 2024-11-26T12:43:57+08:00
clear some comments on d/watch again
Signed-off-by: Bo YU <tsu.yubo@gmail.com>
-
2ec8a7f7
by Bo YU at 2024-11-26T12:44:01+08:00
New upstream version 3.0.0
-
a55105fc
by Bo YU at 2024-11-26T12:44:01+08:00
refresh d/patches
Signed-off-by: Bo YU <tsu.yubo@gmail.com>
-
02f02b09
by Bo YU at 2024-11-26T12:44:01+08:00
Add libzarith-ocaml-dev and libcoq-bignums on B-D.
Signed-off-by: Bo YU <tsu.yubo@gmail.com>
-
d864d1aa
by Bo YU at 2024-11-26T12:44:02+08:00
Use make to build it
Signed-off-by: Bo YU <tsu.yubo@gmail.com>
-
a262367c
by Bo YU at 2024-11-26T12:44:02+08:00
delete default-hol-dir
Signed-off-by: Bo YU <tsu.yubo@gmail.com>
-
62963560
by Bo YU at 2024-11-26T12:44:02+08:00
no need to install usr/share/hol-light/* explitly
Signed-off-by: Bo YU <tsu.yubo@gmail.com>
-
bcdd5f3d
by Bo YU at 2024-11-26T12:44:03+08:00
Update d/copyright
Signed-off-by: Bo YU <tsu.yubo@gmail.com>
-
7a85c721
by Bo YU at 2024-11-26T12:44:03+08:00
Bump std-ver to 4.7.0
Signed-off-by: Bo YU <tsu.yubo@gmail.com>
-
f0aca060
by Bo YU at 2024-11-26T12:44:03+08:00
prepare for upload
Signed-off-by: Bo YU <tsu.yubo@gmail.com>