coq_8_5 8.5pl3 -> 8.18.0 https://github.com/coq/coq/releases
attrpath: coq_8_5
Checking auto update branch...
No auto update branch exists
HTTPError (HttpExceptionRequest Request {
  host                 = "api.github.com"
  port                 = 443
  secure               = True
  requestHeaders       = [("User-Agent","github.hs/0.28.0.1"),("Accept","application/vnd.github.v3+json"),("Authorization","<REDACTED>")]
  path                 = "/search/issues"
  queryString          = "?q=repo%3Anixos%2Fnixpkgs%20coq_8_5%3A%208.5pl3%20-%3E%208.18.0"
  method               = "GET"
  proxy                = Nothing
  rawBody              = False
  redirectCount        = 10
  responseTimeout      = ResponseTimeoutDefault
  requestVersion       = HTTP/1.1
  proxySecureMode      = ProxySecureWithConnect
}
 ConnectionTimeout)