diff options
| author | wiz <wiz@pkgsrc.org> | 2022-05-01 09:45:41 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2022-05-01 09:45:41 +0000 |
| commit | 7bea616b32487ebba0d6d7f21b7ed1f188542505 (patch) | |
| tree | c1bc4b00f242b30e39f2590810a148ee7c753655 /lang/coq/Makefile | |
| parent | a2de7f39da324ec269b55d1dbcaaec0444e2f551 (diff) | |
| download | pkgsrc-7bea616b32487ebba0d6d7f21b7ed1f188542505.tar.gz | |
*: fix usage of versioned_dependencies
Remove unused includes, fix dependencies where it's not included.
Diffstat (limited to 'lang/coq/Makefile')
| -rw-r--r-- | lang/coq/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 9de27cf1d6b..20f85885346 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,5 +1,4 @@ -# $NetBSD: Makefile,v 1.142 2022/04/18 19:11:30 adam Exp $ -# +# $NetBSD: Makefile,v 1.143 2022/05/01 09:45:42 wiz Exp $ DISTNAME= coq-8.12.2 PKGREVISION= 4 |