Permalink
Browse files

Copyright year updates etc.

  • Loading branch information...
1 parent ad189a9 commit f5c3e2e5fb79d82ae7b899116f83e9822d589fdb @LeventErkok committed Dec 29, 2012
Showing with 5 additions and 5 deletions.
  1. +1 −1 COPYRIGHT
  2. +1 −1 LICENSE
  3. +1 −1 RELEASENOTES
  4. +2 −2 sbv.cabal
View
@@ -1,4 +1,4 @@
-Copyright (c) 2010-2012, Levent Erkok (erkokl@gmail.com)
+Copyright (c) 2010-2013, Levent Erkok (erkokl@gmail.com)
All rights reserved.
The sbv library is distributed with the BSD3 license. See the LICENSE file
View
@@ -1,6 +1,6 @@
SBV: SMT Based Verification in Haskell
-Copyright (c) 2010-2012, Levent Erkok (erkokl@gmail.com)
+Copyright (c) 2010-2013, Levent Erkok (erkokl@gmail.com)
All rights reserved.
Redistribution and use in source and binary forms, with or without
View
@@ -1,5 +1,5 @@
Hackage: <http://hackage.haskell.org/package/sbv>
-GitHub: <http://github.com/LeventErkok/sbv>
+GitHub: <http://leventerkok.github.com/sbv/>
Latest Hackage released version: 2.8
View
@@ -89,12 +89,12 @@ Description: Express properties about Haskell programs and automatically prove
.
Release notes can be seen at: <http://github.com/LeventErkok/sbv/blob/master/RELEASENOTES>.
-Copyright: Levent Erkok, 2010-2012
+Copyright: Levent Erkok, 2010-2013
License: BSD3
License-file: LICENSE
Stability: Experimental
Author: Levent Erkok
-Homepage: http://github.com/LeventErkok/sbv
+Homepage: http://leventerkok.github.com/sbv/
Bug-reports: http://github.com/LeventErkok/sbv/issues
Maintainer: Levent Erkok (erkokl@gmail.com)
Build-Type: Simple

0 comments on commit f5c3e2e

Please sign in to comment.