diff options
Diffstat (limited to 'src/third_party/fiat/LICENSE')
-rw-r--r-- | src/third_party/fiat/LICENSE | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/third_party/fiat/LICENSE b/src/third_party/fiat/LICENSE index bd46c613..70cae037 100644 --- a/src/third_party/fiat/LICENSE +++ b/src/third_party/fiat/LICENSE @@ -1,6 +1,6 @@ The MIT License (MIT) -Copyright (c) 2015-2016 the fiat-crypto authors (see +Copyright (c) 2015-2020 the fiat-crypto authors (see https://github.com/mit-plv/fiat-crypto/blob/master/AUTHORS). Permission is hereby granted, free of charge, to any person obtaining a copy |