kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
243084 commits 42 branches 80 tags 2.7 GiB
Commit graph

5 commits

Author SHA1 Message Date
Gabor Pali
cad06c6077 - Add DIST_SUBDIR for Haskell Cabal ports (with default of "cabal") 
Suggested by:	admi3
 2010-08-08 08:49:38 +00:00
Giuseppe Pilichi
e951cb6d07 - Pass maintainership to haskell@FreeBSD.org: 
audio/hs-ALUT, audio/hs-OpenAL, benchmarks/hs-criterion
    converters/hs-json, devel/hs-DeepArrow, devel/hs-FileManip
    devel/hs-MemoTrie, devel/hs-MissingH, devel/hs-MonadCatchIO-mtl
    devel/hs-ObjectName, devel/hs-QuickCheck, devel/hs-StateVar
    devel/hs-Tensor, devel/hs-TypeCompose, devel/hs-arrows
    devel/hs-checkers, devel/hs-convertible, devel/hs-datetime
    devel/hs-deepseq, devel/hs-fgl, devel/hs-ghc-mtl, devel/hs-ghc-paths
    devel/hs-ghc-paths-docs, devel/hs-haskeline
    devel/hs-haskell-src-exts, devel/hs-hint, devel/hs-hoogle
    devel/hs-hslogger, devel/hs-mmap, devel/hs-mueval, devel/hs-reactive
    devel/hs-readline, devel/hs-safe, devel/hs-show, devel/hs-smallcheck
    devel/hs-split, devel/hs-testpack, devel/hs-transformers
    devel/hs-unamb, devel/hs-uniplate, devel/hs-unix-compat
    devel/hs-utility-ht, devel/hs-uuagc, devel/hs-uulib
    devel/hs-uvector, devel/hs-uvector-algorithms, graphics/hs-HGL
    lang/hs-brainfuck, lang/hs-unlambda, mail/hs-mime, math/hs-Agda
    math/hs-Agda-executable, math/hs-category-extras, math/hs-erf
    math/hs-mwc-random, math/hs-probability, math/hs-statistics
    math/hs-vector-space, print/hs-hscolour, print/hs-hscolour-docs
    science/hs-bio, textproc/hs-Diff, textproc/hs-feed
    textproc/hs-tagsoup, textproc/hs-texmath, textproc/hs-xml
    www/hs-HTTP, www/hs-cgi, www/hs-fastcgi, www/hs-http-server
    www/hs-oeis, www/hs-scgi, www/hs-url, x11-toolkits/hs-GLURaw
    x11-toolkits/hs-OpenGLRaw

Approved by:	pgj (mentor)
 2010-05-26 11:18:46 +00:00
Gabor Pali
ec29a59ec3 Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal 
ports which makes possible the direct translation of Cabal package
descriptions to FreeBSD ports.  It promises both easier addition and
maintenance for Cabal-based ports.
 2010-05-12 16:33:59 +00:00
Alex Dupre
bf330a57d4 Switch to use newer GMP version. 
PR:		ports/144487
Submitted by:	ale
Approved by:	portmgr (-exp run by erwin)
 2010-04-19 10:43:42 +00:00
Gabor Pali
9ea2254ebc This package provides a command-line program for type-checking and 
compiling Agda programs. The program can also generate hyperlinked,
highlighted HTML files from Agda sources.

WWW:	http://wiki.portal.chalmers.se/agda/

PR:		ports/142141
Submitted by:	Jacula Modyun <jacula(at)gmail.com>
 2010-01-04 03:26:20 +00:00