vimerbf pushed to branch master at Debian OCaml Maintainers / hol-light
Commits:
-
21e25f91
by Bo YU at 2024-11-26T15:53:33+08:00
1 changed file:
Changes:
| 1 | -hol-light (3.0.0-1) unstable; urgency=medium
|
|
| 1 | +hol-light (1:3.0.0-1) unstable; urgency=medium
|
|
| 2 | 2 | |
| 3 | 3 | * Team upload.
|
| 4 | 4 | * Enable d/watch
|
| ... | ... | @@ -12,6 +12,7 @@ hol-light (3.0.0-1) unstable; urgency=medium |
| 12 | 12 | * No need to install usr/share/hol-light/* explicitly.
|
| 13 | 13 | * Update d/copyright
|
| 14 | 14 | * Bump std-ver to 4.7.0
|
| 15 | + * Add epoch to version number
|
|
| 15 | 16 | |
| 16 | 17 | -- Bo YU <tsu.yubo@gmail.com> Tue, 26 Nov 2024 12:34:41 +0800
|
| 17 | 18 |