Forum: >>> Magnum BBS <<<

[bts-link] source package src:hol-light

From [email protected]@21:1/5 to All on Thu Aug 15 20:00:01 2024

#
# bts-link upstream status pull for source package src:hol-light
# see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
# https://bts-link-team.pages.debian.net/bts-link/
#

user [email protected]

# remote status report for #1073882 (http://bugs.debian.org/1073882)
# Bug title: FTBFS with OCaml 5.2.0 (Needs porting)
# * https://github.com/jrh13/hol-light/issues/101
# * remote status changed: (?) -> open
usertags 1073882 + status-open

thanks

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	741
Nodes:	16 (2 / 14)
Uptime:	113:18:15
Calls:	12,464
Calls today:	6
Files:	15,200
Messages:	6,538,194