cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

this does need the emacs dirs

Browse Source
This commit is contained in:
espie 2018-05-20 08:25:36 +00:00
parent 8e6c789879
commit 0ac561f238
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/coq/Makefile
View File

@ -1,10 +1,10 @@
# $OpenBSD: Makefile,v 1.34 2017/02/25 18:58:04 daniel Exp $
# $OpenBSD: Makefile,v 1.35 2018/05/20 08:25:36 espie Exp $
COMMENT= proof assistant based on a typed lambda calculus
V= 8.4pl6
DISTNAME= coq-$V
REVISION= 2
REVISION= 3
CATEGORIES= math
HOMEPAGE= https://coq.inria.fr/

4
math/coq/pkg/PLIST
View File

@ -1,4 +1,4 @@
@comment $OpenBSD: PLIST,v 1.9 2016/03/29 11:27:01 naddy Exp $
@comment $OpenBSD: PLIST,v 1.10 2018/05/20 08:25:36 espie Exp $
%%native%%
@bin bin/coq-tex
@bin bin/coq_makefile
@ -1004,6 +1004,8 @@ share/doc/coq/COPYRIGHT
share/doc/coq/CREDITS
share/doc/coq/FAQ-CoqIde
share/doc/coq/LICENSE
share/emacs/
share/emacs/site-lisp/
share/emacs/site-lisp/coq-db.el
share/emacs/site-lisp/coq-font-lock.el
share/emacs/site-lisp/coq-inferior.el