FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

non port: head/devel/hs-checkers/pkg-plist
SVNWeb

Number of commits found: 3

Sun, 14 Aug 2011
[ 11:25 pgj ] Original commit 
1.7 devel/hs-checkers/Makefile
1.5 devel/hs-checkers/distinfo
1.1 devel/hs-checkers/files/patch-checkers.cabal
1.3 devel/hs-checkers/pkg-plist
1.57 lang/ghc/bsd.hackage.mk
- Update to 0.2.8
- Un-break build

Obtained from:  FreeBSD Haskell
Wed, 12 May 2010
[ 16:33 pgj ] Original commit 
1.7 archivers/hs-zip-archive-ghc/Makefile
1.4 archivers/hs-zip-archive-ghc/pkg-plist
1.7 archivers/hs-zlib/Makefile
1.4 archivers/hs-zlib/pkg-plist
1.3 audio/hs-ALUT/Makefile
1.2 audio/hs-ALUT/pkg-plist
1.3 audio/hs-OpenAL/Makefile
1.2 audio/hs-OpenAL/pkg-plist
1.2 benchmarks/hs-criterion/Makefile
1.2 benchmarks/hs-criterion/pkg-plist

(Only the first 10 of 214 ports in this commit are shown above. View all ports for this commit)
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.
Tue, 12 Jan 2010
[ 21:39 pgj ] Original commit 
1.3763 devel/Makefile
1.1 devel/hs-checkers/Makefile
1.1 devel/hs-checkers/distinfo
1.1 devel/hs-checkers/pkg-descr
1.1 devel/hs-checkers/pkg-plist
Checkers wraps up the expected properties associated with various
standard Haskell type classes as QuickCheck properties. Also some
morphism properties. It also provides arbitrary instances and
generator combinators for common data types.

WWW: http://haskell.org/haskellwiki/checkers

PR:             ports/142488
Submitted by:   Jacula Modyun <jacula(at)gmail.com>

Number of commits found: 3

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
musicpdFeb 26
curlFeb 22
linux-c6-openssl*Feb 22
linux-c6-openssl*Feb 22
linux-c7-openssl*Feb 22
linux-c7-openssl*Feb 22
openssl*Feb 22
openssl*Feb 22
openssl-devel*Feb 22
openssl-devel*Feb 22
xen-toolsFeb 22
fbsdmonFeb 21
libevent*Feb 20
wavpackFeb 18
openssl-develFeb 16

12 vulnerabilities affecting 25 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 28217
Broken 276
Deprecated 127
Ignore 542
Forbidden 1
Restricted 205
No CDROM 83
Vulnerable 84
Expired 13
Set to expire 117
Interactive 0
new 24 hours 4
new 48 hours8
new 7 days36
new fortnight233
new month378

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.