ABI=
BUILD_DATE=2026-04-23 15:57:46 +0000
BUILD_HOST=NetBSD victory.netbsd.org 11.0 NetBSD 11.0 (LIBKVER) #0: Tue Jan 19 00:00:00 UTC 2038 root@localhost:/sys/arch/evbarm/compile/LIBKVER evbarm
CATEGORIES=lang
CC_VERSION=gcc-12.5.0
CFLAGS=-O2  -I/usr/pkg/include
CPE_URI=cpe:2.3:a:idris2:idris2:0.7.0:::::netbsd11:earmv6hf
CPPFLAGS=  -I/usr/pkg/include
FFLAGS=-O
GMAKE=GNU Make 4.4.1
HOMEPAGE=https://www.idris-lang.org/
LDFLAGS= -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
LICENSE=modified-bsd
LOCALBASE=/usr/pkg
MACHINE_ARCH=earmv6hf
MACHINE_GNU_ARCH=armv6
MAINTAINER=pkgsrc-users@NetBSD.org
NO_BIN_ON_CDROM=
NO_BIN_ON_FTP=
NO_SRC_ON_CDROM=
NO_SRC_ON_FTP=
OBJECT_FMT=ELF
OPSYS=NetBSD
OS_VERSION=11.0
PKGGNUDIR=gnu/
PKGINFODIR=info
PKGMANDIR=man
PKGPATH=lang/idris2
PKGTOOLS_VERSION=20091115
PKG_SYSCONFBASEDIR=/usr/pkg/etc
PKG_SYSCONFDIR=/usr/pkg/etc
PROVIDES=/usr/pkg/idris2-0.7.0/lib/libidris2_support.so
PROVIDES=/usr/pkg/libexec/idris2_app/libidris2_support.so
REQUIRES=/usr/lib/libc.so.12
RESTRICTED=
_USE_DESTDIR=user-destdir
