Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=486757 --- Comment #20 from David A. Wheeler <dwheeler@xxxxxxxxxxxx> 2009-04-18 18:04:16 EDT --- (Sorry for the blank previous comment.) Petr: Would you mind "taking over" packaging divine-mc for Fedora? I feel silly trying to package this program for Fedora when there's a clear expert who could do it much better instead. Feel free to use my Fedora packaging for divine-mc version 1.3 as a starting point. If I were you, I'd wait for your divine-mc 1.4.1 release next week, and use that as the baseline. I haven't submitted a request to package the NIPS Promela compiler yet because my package has mysterious errors that I haven't figured out. It compiles fine on F10, but not on F11. On F11 (via koji) its test complains that in the XML, the attribute "line" doesn't have a value... but I looked at the XML and it DOES have a value. Ugh. I'm getting an F11 setup so I can track this down, but someone who's more familiar with this program's innards could probably figure this out far faster than I could. My draft package is here: http://www.dwheeler.com/nips-promela-compiler-1.2.5.20070327-1.fc10.src.rpm Milos: Can you give me advice? Should I submit a request for a package review of nips-promela-compiler, even though it doesn't work on F11 yet, in the hopes that someone can help me fix it? Alternatively, does someone want to take over that package? My goal is to get these things packaged into Fedora (see http://www.openproofs.org )... if someone else takes over lead, that's fine by me!! -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review