Hello Corey and gnome-core,
I have a Fink package for coqide that depends on (among other things) gnome-panel and lablgtk2, but these packages are not available in the 10.7 tree.
Do you think you could move them there?
I've been able to build gnome-panel 2.28.0-3 and lablgtk2 2.14.2-2 on 10.7 with their existing package descriptions without any modifications.
Bruno De Fraine