Processing commands for cont...@bugs.debian.org: > forwarded 1073882 https://github.com/jrh13/hol-light/issues/101 Bug #1073882 [src:hol-light] FTBFS with OCaml 5.2.0 (Needs porting) Set Bug forwarded-to-address to 'https://github.com/jrh13/hol-light/issues/101'. > thanks, Unknown command or malformed arguments to command. > End of message, stopping processing here.
Please contact me if you need assistance. -- 1073882: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073882 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
