Permalink
Browse files

Add hompeage to cabal file

  • Loading branch information...
1 parent b0b4b24 commit 1dda7b78a52333031594b9c210372dd7de816706 @yav committed Mar 25, 2009
Showing with 1 addition and 0 deletions.
  1. +1 −0 presburger.cabal
View
1 presburger.cabal
@@ -3,6 +3,7 @@ Version: 0.1
License: BSD3
License-file: LICENSE
Author: Iavor S. Diatchki
+Homepage: http://github.com/yav/presburger
Maintainer: diatchki@galois.com
Category: Algorithms
Synopsis: Cooper's decision procedure for Presburger arithmetic.

0 comments on commit 1dda7b7

Please sign in to comment.