diff --git a/what4/LICENSE b/what4/LICENSE index c879d828..067cc2ce 100644 --- a/what4/LICENSE +++ b/what4/LICENSE @@ -1,4 +1,4 @@ -Copyright (c) 2013-2020 Galois Inc. +Copyright (c) 2013-2022 Galois Inc. All rights reserved. Redistribution and use in source and binary forms, with or without diff --git a/what4/what4.cabal b/what4/what4.cabal index 839f8303..6aaa6490 100644 --- a/what4/what4.cabal +++ b/what4/what4.cabal @@ -3,7 +3,7 @@ Name: what4 Version: 1.3.0.0.99 Author: Galois Inc. Maintainer: jhendrix@galois.com, rdockins@galois.com -Copyright: (c) Galois, Inc 2014-2021 +Copyright: (c) Galois, Inc 2014-2022 License: BSD-3-Clause License-file: LICENSE Build-type: Simple