update .cabal file
authorDon Stewart <dons@galois.com>
Fri, 5 Oct 2007 16:12:59 +0000 (18:12 +0200)
committerDon Stewart <dons@galois.com>
Fri, 5 Oct 2007 16:12:59 +0000 (18:12 +0200)
commitec203a739c4414064ed0367b170dbb060a52c7bd
tree281987efaa3093efce6e6ff372162e826082ff02
parent1d737c8c2bfd345837dd7f9765b64b55e7099852
update .cabal file
binary.cabal