diff options
| author | kristerw <kristerw> | 2003-03-22 18:27:49 +0000 |
|---|---|---|
| committer | kristerw <kristerw> | 2003-03-22 18:27:49 +0000 |
| commit | f9bb5034732db50bd4abdbc0daec90fd2077a03a (patch) | |
| tree | 010412ff8a92dc75d5b9198df64152593094df52 /math | |
| parent | 2b79478e6f3e89128c8c9cd57cbdaa025e9bbe4d (diff) | |
| download | pkgsrc-f9bb5034732db50bd4abdbc0daec90fd2077a03a.tar.gz | |
Add and enable coq.
Diffstat (limited to 'math')
| -rw-r--r-- | math/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/math/Makefile b/math/Makefile index c63649950f0..4e3e73cf3a2 100644 --- a/math/Makefile +++ b/math/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.97 2003/03/02 19:41:29 mjl Exp $ +# $NetBSD: Makefile,v 1.98 2003/03/22 18:27:49 kristerw Exp $ # COMMENT= Mathematics @@ -12,6 +12,7 @@ SUBDIR+= blas SUBDIR+= calc SUBDIR+= capc-calc SUBDIR+= cassowary +SUBDIR+= coq SUBDIR+= dcdflib.c SUBDIR+= dcdflib.f SUBDIR+= dfftpack |