This request is superseded by
request 759140
(Show diff)
Overview
Request 759129 superseded
gummi is a LaTeX editor frontend using the GTK+ toolkit. It was dead at upstream for a while (and therefore dropped from Factory and Publishing), but has been revived now and I am going to maintain it.
- Created by badshah400
- In state superseded
- Package maintainer: badshah400
- Superseded by 759140
Loading...
Request History
badshah400 created request
gummi is a LaTeX editor frontend using the GTK+ toolkit. It was dead at upstream for a while (and therefore dropped from Factory and Publishing), but has been revived now and I am going to maintain it.
superseded by 759140
hmm Copyright (c) 2016
Thanks for the catch! Fixed sr on its way: sr#759140