3 Commits

Author	SHA1	Message	Date
Christian Neukirchen	c26854f5f0	ProofGeneral: noarch and add perl dep.	2015-05-11 11:39:33 +02:00
Christian Neukirchen	e8a7a95ace	ProofGeneral: ignore pre-releases.	2015-01-15 13:14:50 +01:00
Christian Neukirchen	a8ac3af3a4	New package: ProofGeneral-4.2	2015-01-14 11:19:21 +01:00