GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-17 01:41:09 +03:00
Code Issues Projects Releases Wiki Activity

Update copyright dates

Browse Source
This commit is contained in:
Aaron Tomb 2019-04-30 09:13:26 -07:00
parent 6276cc6afb
commit 2ce982ab49
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
LICENSE
View File

@ -1,4 +1,4 @@
Copyright (c) 2013-2018 Galois Inc.
Copyright (c) 2013-2019 Galois Inc.
All rights reserved.
Redistribution and use in source and binary forms, with or without

2
LICENSE.rtf
View File

@ -4,7 +4,7 @@
\margl1440\margr1440\vieww12600\viewh7800\viewkind0
\pard\tx720\tx1440\tx2160\tx2880\tx3600\tx4320\tx5040\tx5760\tx6480\tx7200\tx7920\tx8640\pardirnatural
\f0\fs24 \cf0 Copyright (c) 2013-2018 Galois Inc.\
\f0\fs24 \cf0 Copyright (c) 2013-2019 Galois Inc.\
All rights reserved.\
\
Redistribution and use in source and binary forms, with or without\

2
cryptol.cabal
View File

@ -8,7 +8,7 @@ Author: Galois, Inc.
Maintainer: cryptol@galois.com
Homepage: http://www.cryptol.net/
Bug-reports: https://github.com/GaloisInc/cryptol/issues
Copyright: 2013-2018 Galois Inc.
Copyright: 2013-2019 Galois Inc.
Category: Language
Build-type: Simple
Cabal-version: 1.18