diff options
author | hq <hq@FreeBSD.org> | 2005-10-06 01:14:12 +0800 |
---|---|---|
committer | hq <hq@FreeBSD.org> | 2005-10-06 01:14:12 +0800 |
commit | 161616fb1097fcfbfe1321f93435d7f69dfc7af4 (patch) | |
tree | 8e861bc9e9d2327b088514e836a771a45dedf3c2 /math/coq | |
parent | f96cc0bf74ab8981dd435f01a377cf8b2570eacb (diff) | |
download | freebsd-ports-gnome-161616fb1097fcfbfe1321f93435d7f69dfc7af4.tar.gz freebsd-ports-gnome-161616fb1097fcfbfe1321f93435d7f69dfc7af4.tar.zst freebsd-ports-gnome-161616fb1097fcfbfe1321f93435d7f69dfc7af4.zip |
- Update to 3.95
- Use SUB_FILES to configure pkg-message
PR: 86928
Submitted by: maintainer
Diffstat (limited to 'math/coq')
0 files changed, 0 insertions, 0 deletions