[ci skip] add description to opam files

hannesm · hannesm · commit 671d2adee264 · 2020-03-11T13:04:35.000+01:00
diff --git a/mirage-crypto-entropy.opam b/mirage-crypto-entropy.opam
@@ -28,7 +28,7 @@ available: [
 ]
 synopsis: "Entropy source for MirageOS unikernels"
 description: """
-mirage-crypto-entropy implements various entropy sources for MirageOS unikernels:
+Mirage-crypto-entropy implements various entropy sources for MirageOS unikernels:
 - timer based ones (see [whirlwind RNG paper](https://www.ieee-security.org/TC/SP2014/papers/Not-So-RandomNumbersinVirtualizedLinuxandtheWhirlwindRNG.pdf))
 - rdseed and rdrand (x86/x86-64 only)
 """
diff --git a/mirage-crypto-pk.opam b/mirage-crypto-pk.opam
@@ -29,3 +29,6 @@ depends: [
   ("mirage-no-xen" | "zarith-xen")
   ("mirage-no-solo5" | "zarith-freestanding")
 ]
+description: """
+Mirage-crypto-pk provides public-key cryptography (RSA, DSA, DH).
+"""
diff --git a/mirage-crypto-rng.opam b/mirage-crypto-rng.opam
@@ -21,3 +21,8 @@ depends: [
   "randomconv" {with-test & >= "0.1.3"}
   "ounit" {with-test}
 ]
+description: """
+Mirage-crypto-rng provides a random number generator interface, and
+implementations: Fortuna, HMAC-DRBG, getrandom/getentropy based (in the unix
+sublibrary)
+"""
diff --git a/mirage-crypto.opam b/mirage-crypto.opam
@@ -30,3 +30,7 @@ conflicts: [
   "mirage-xen" {< "3.1.0"}
   "ocaml-freestanding" {< "0.4.1"}
 ]
+description: """
+Mirage-crypto provides symmetric ciphers (DES, AES, RC4), and hashes (MD5,
+SHA-1, SHA-2).
+"""

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ available: [`
`28`	`28`	`]`
`29`	`29`	`synopsis: "Entropy source for MirageOS unikernels"`
`30`	`30`	`description: """`
`31`		`-mirage-crypto-entropy implements various entropy sources for MirageOS unikernels:`
	`31`	`+Mirage-crypto-entropy implements various entropy sources for MirageOS unikernels:`
`32`	`32`	`- timer based ones (see [whirlwind RNG paper](https://www.ieee-security.org/TC/SP2014/papers/Not-So-RandomNumbersinVirtualizedLinuxandtheWhirlwindRNG.pdf))`
`33`	`33`	`- rdseed and rdrand (x86/x86-64 only)`
`34`	`34`	`"""`
Original file line number	Diff line number	Diff line change
`@@ -29,3 +29,6 @@ depends: [`
`29`	`29`	`("mirage-no-xen" \| "zarith-xen")`
`30`	`30`	`("mirage-no-solo5" \| "zarith-freestanding")`
`31`	`31`	`]`
	`32`	`+description: """`
	`33`	`+Mirage-crypto-pk provides public-key cryptography (RSA, DSA, DH).`
	`34`	`+"""`
Original file line number	Diff line number	Diff line change
`@@ -21,3 +21,8 @@ depends: [`
`21`	`21`	`"randomconv" {with-test & >= "0.1.3"}`
`22`	`22`	`"ounit" {with-test}`
`23`	`23`	`]`
	`24`	`+description: """`
	`25`	`+Mirage-crypto-rng provides a random number generator interface, and`
	`26`	`+implementations: Fortuna, HMAC-DRBG, getrandom/getentropy based (in the unix`
	`27`	`+sublibrary)`
	`28`	`+"""`
Original file line number	Diff line number	Diff line change
`@@ -30,3 +30,7 @@ conflicts: [`
`30`	`30`	`"mirage-xen" {< "3.1.0"}`
`31`	`31`	`"ocaml-freestanding" {< "0.4.1"}`
`32`	`32`	`]`
	`33`	`+description: """`
	`34`	`+Mirage-crypto provides symmetric ciphers (DES, AES, RC4), and hashes (MD5,`
	`35`	`+SHA-1, SHA-2).`
	`36`	`+"""`