retitle 554263 ITA: proofgeneral -- generic interface for proof assistants - common package owner 554263 ! thanks
Hi, I try to package a new version of Proof General and upload it to mentors.debian.net. Please contact me if you are interested in sponsoring Proof General. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20233.63413.833065.981...@gromit.tews.net