diff options
| author | Johan van Selst <johans@FreeBSD.org> | 2009-03-16 09:42:38 +0000 |
|---|---|---|
| committer | Johan van Selst <johans@FreeBSD.org> | 2009-03-16 09:42:38 +0000 |
| commit | 5d4ea25ee90a8450d9424d39ef6c774a840a634a (patch) | |
| tree | e5188c4b8792c6ea0c6593192f685fb0790cc67a /math/coq | |
| parent | e4ad4a83aa7c3614e12e9770077934da5fdf952c (diff) | |
| download | ports-5d4ea25ee90a8450d9424d39ef6c774a840a634a.tar.gz ports-5d4ea25ee90a8450d9424d39ef6c774a840a634a.zip | |
Notes
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/pkg-plist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/coq/pkg-plist b/math/coq/pkg-plist index 2ed93012904e..d1d082399284 100644 --- a/math/coq/pkg-plist +++ b/math/coq/pkg-plist @@ -3,6 +3,7 @@ bin/coq-interface.opt bin/coq-tex bin/coq_makefile bin/coqc +bin/coqchk bin/coqchk.opt bin/coqdep bin/coqdoc |