fix basalt license string

2019-11-26 18:48:15 +01:00
parent 2d5e6d3d1e
commit f677bb1333
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"]