add basalt

2019-11-21 16:17:18 +01:00
parent 5dff06c4ff
commit d6582bcec8
1 changed files with 10 additions and 0 deletions
@@ -0,0 +1,10 @@
+["0.1.0"]
+origin = "https://github.com/Componolit/basalt/archive/v0.1.0.tar.gz"
+origin-hashes = "sha512:715cb1b41be4425b90adc5404fd4193d97c74980245ef75b09f5986bbe84310d2c90771273076ff70785b2098a582ceabb51a0380857576c0e6614f05df152de"
+
+[general]
+description = "Collection of formally verified building blocks"
+maintainers = ["kliemann@componolit.com"]
+maintainers-logins = ["jklmnn"]
+licenses = ["AGPLv3"]
+