|
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 |