This request supersedes:
request 759129
(Show diff)
Overview
Request 759140 accepted
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 accepted
- Package maintainer: badshah400
- Supersedes 759129
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.
pluskalm accepted request
thx, adding you as maintainer