mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-02-03 11:12:13 +00:00
Code Issues Releases Activity

Fix pkg-plist

Browse Source 
Reported by:	QAT
This commit is contained in:
Johan van Selst 2009-03-16 09:42:38 +00:00
parent e4ad4a83aa
commit 5d4ea25ee9
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=230204
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
math/coq/pkg-plist
View File

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