Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
LINUX.DEBIAN.MAINT.OCAML.
Bug#994163: RM: matit -- RoQA; unbuildable since 2018, depends on gtkso
From
Jeremy Bicha
@21:1/5 to
All
on Mon Sep 13 02:40:01 2021
Package: ftp.debian.org
Severity: normal
X-Debbugs-CC:
matita@packages.debian.org
Affects: matita
Control: block 994162 by -1
matita is now the last thing preventing the removal of gtksourceview2
from Debian.
It has been unbuildable in Debian for 2 or 3 years.
The latest upstream release was in 2016 (and is the version that was in Debian).
References
--------------
https://bugs.debian.org/913606
https://buildd.debian.org/status/logs.php?pkg=matita&arch=amd64
http://matita.cs.unibo.it/
Thanks,
Jeremy Bicha
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
Recent Visitors
Keyop
Thu Apr 25 21:14:50 2024
from
Huddersfield, West Yorkshire
via
SSH
Cronus
Thu Apr 25 18:32:15 2024
from
Provo, Ut
via
SSH
Cronus
Thu Apr 25 18:24:38 2024
from
Provo, Ut
via
SSH
Michal Wronka
Thu Apr 25 14:02:21 2024
from
Wroclaw, Poland
via
SSH
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
296
Nodes:
16 (
3
/
13
)
Uptime:
58:43:08
Calls:
6,653
Calls today:
5
Files:
12,200
Messages:
5,331,149