PR #67: Fix Basalt license string

Fix Basalt license string
2019-11-26 22:47:38 +01:00
parent c7515db2db f677bb1333
commit d336addc94
1 changed files with 1 additions and 1 deletions
@@ -6,5 +6,5 @@ origin-hashes = "sha512:715cb1b41be4425b90adc5404fd4193d97c74980245ef75b09f5986b
 description = "Collection of formally verified building blocks"
 maintainers = ["kliemann@componolit.com"]
 maintainers-logins = ["jklmnn"]
-licenses = ["AGPLv3"]
+licenses = ["AGPL 3.0"]