files
|
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
|
2008-08-15 01:03:23 +00:00 |
distinfo
|
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
|
2008-08-15 01:03:23 +00:00 |
Makefile
|
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
|
2008-08-15 01:03:23 +00:00 |
pkg-plist
|
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
|
2008-08-15 01:03:23 +00:00 |