diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2015-06-09 23:45:16 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2015-06-09 23:45:16 +0200 |
| commit | 1e0590d9c7f63e3e829afe53e10431253ea59f68 (patch) | |
| tree | 8f818c07e74a2a5bb6bb8bc705b417cac0b369fc /trivmix.cabal | |
| parent | b35d97949072de3223ef0a9b94e00631475acf43 (diff) | |
| download | trivmix-1e0590d9c7f63e3e829afe53e10431253ea59f68.tar trivmix-1e0590d9c7f63e3e829afe53e10431253ea59f68.tar.gz trivmix-1e0590d9c7f63e3e829afe53e10431253ea59f68.tar.bz2 trivmix-1e0590d9c7f63e3e829afe53e10431253ea59f68.tar.xz trivmix-1e0590d9c7f63e3e829afe53e10431253ea59f68.zip | |
Fixpoint detection
Diffstat (limited to 'trivmix.cabal')
| -rw-r--r-- | trivmix.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/trivmix.cabal b/trivmix.cabal index 2dede74..9b66048 100644 --- a/trivmix.cabal +++ b/trivmix.cabal | |||
| @@ -2,7 +2,7 @@ | |||
| 2 | -- documentation, see http://haskell.org/cabal/users-guide/ | 2 | -- documentation, see http://haskell.org/cabal/users-guide/ |
| 3 | 3 | ||
| 4 | name: trivmix | 4 | name: trivmix |
| 5 | version: 2.2.5 | 5 | version: 2.2.6 |
| 6 | -- synopsis: | 6 | -- synopsis: |
| 7 | -- description: | 7 | -- description: |
| 8 | license: PublicDomain | 8 | license: PublicDomain |