1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-02-05 11:35:01 +00:00
Edwin Groothuis 6f2b571e98 [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
PR:		ports/126066
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2008-08-15 01:03:23 +00:00
..