Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
[bts-link] source package src:alt-ergo
From
debian-bts-link@lists.debian.org
@21:1/5 to
All
on Mon Jun 27 20:00:01 2022
#
# bts-link upstream status pull for source package src:alt-ergo
# see
http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
#
https://bts-link-team.pages.debian.net/bts-link/
#
user
debian-bts-link@lists.debian.org
# remote status report for #1013362 (
http://bugs.debian.org/1013362
)
# Bug title: src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel
# *
https://github.com/OCamlPro/alt-ergo/issues/509
# * remote status changed: (?) -> open
usertags 1013362 + status-open
thanks
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
Recent Visitors
Cronus
Mon Apr 22 20:57:16 2024
from
Provo, Ut
via
SSH
Keyop
Mon Apr 22 13:23:46 2024
from
Huddersfield, West Yorkshire
via
SSH
Keyop
Tue Apr 23 10:35:46 2024
from
Huddersfield, West Yorkshire
via
SSH
Keyop
Tue Apr 23 10:35:37 2024
from
Huddersfield, West Yorkshire
via
SSH
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
295
Nodes:
16 (
2
/
14
)
Uptime:
02:21:07
Calls:
6,642
Calls today:
2
Files:
12,190
Messages:
5,325,499