# Created by: Giuseppe Pilichi aka Jacula Modyun # $FreeBSD$ PORTNAME= Agda PORTVERSION= 2.4.2.3 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org COMMENT= Dependently typed functional programming language and proof assistant USE_CABAL= base-orphans>=0.3.1 boxes>=0.1.3 cpphs data-hash>=0.2.0.0 \ edit-distance>=0.2.1.2 equivalence>=0.2.5 \ geniplate-mirror>=0.6.0.6 hashable>=1.1.2.3 hashtables>=1.0 \ haskell-src-exts>=1.16.0.1 mtl>=2.1.1 parallel QuickCheck>=2.8 \ strict>=0.3.2 text>=0.11 transformers-compat>=0.3.3.2 \ unordered-containers>=0.2 zlib>=0.4.0.1 USE_ALEX= yes USE_HAPPY= yes USES= iconv:translit EXECUTABLE= agda-mode agda _PRIMITIVE= Primitive.agdai INSTALL_PORTDATA= ${INSTALL_DATA} \ ${DISTDIR}/${DIST_SUBDIR}/${_PRIMITIVE}.${PORTVERSION} \ ${STAGEDIR}${DATADIR}/lib/prim/Agda/${_PRIMITIVE} FLAGS_ENABLE= cpphs .include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk" MASTER_SITES+= LOCAL/pgj:primitive DISTFILES+= ${_PRIMITIVE}.${PORTVERSION}:primitive .include class='main'>index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/devel/pear-Validate_AU

	Commit message (Expand)	Author	Age	Files	Lines
*	Reset miwi's maintainership per his demand	bapt	2014-11-18terminatorx?h=mate-1.18&id=3c0625e6de2b3875eca62ae397afd0a3bfb7ab9f'>Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.	marcus	2004-02-04	1	-1/+1
*	Add SIZE.	trevor	2004-01-28	1	-0/+1
*	Catch up with libogg/libvorbis version bump.	naddy	2003-12-21	1	-1/+2
*	Chase the libmad/libid3tag shared lib version.	marcus	2003-12-07	1	-1/+1
*	USE_REINPLACE must be defined before REINPLACE_CMD may be used.	trevor	2003-11-17	1	-0/+1
*	- Update to version 3.81	krion	2003-08-24	6	-60/+46
*	Fix build under -CURRENT.	adamw	2003-06-06	1	-0/+11
*	Fix configure in the absence of GNOME.	marcus	2003-05-19	1	-0/+11
*	Add missing dependency on scrollkeeper	arved	2003-05-10	1	-1/+2
*	Add dependency on liblrdf and remove -disable-lrdf from	arved	2003-04-27	1	-2/+4
*	Update to 3.80.	nork	2003-04-27	5	-43/+106
*	Remove the USE_GNOMENG macro.	marcus	2003-04-08	1	-1/+0
*	Use pre-everything:: instead of pre-everything: to avoid conflict with	kris	2003-03-01	1	-1/+1
*	De-pkg-comment.	knu	2003-02-21	2	-1/+1
*	Fix Build on CURRENT	arved	2003-02-02	1	-0/+11
*	Move USE_X_PREFIX before bsd.port.pre.mk	arved	2003-01-03	1	-1/+1
*	Update to 3.73	arved	2003-01-02	7	-80/+50
*	Use USE_GNOMENG.	marcus	2002-08-31	1	-1/+2