# # 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
