Add mirage-crypto-pk

samoht · Jun 19, 2020 · ef5f186 · ef5f186
1 parent 438247d
commit ef5f186
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 26 deletions.
diff --git a/packages/mirage-crypto-entropy/mirage-crypto-entropy.0.6.2/opam b/packages/mirage-crypto-entropy/mirage-crypto-entropy.0.6.2/opam
@@ -33,10 +33,5 @@ Mirage-crypto-entropy implements various entropy sources for MirageOS unikernels
 """
 authors: ["Hannes Mehnert" "David Kaloper" "Anil Madhavapeddy" "Dave Scott"]
 url {
-  src:
-    "https://github.com/mirage/mirage-crypto/releases/download/v0.6.2/mirage-crypto-v0.6.2.tbz"
-  checksum: [
-    "sha256=e2284dc0f8d37110f4713b87145a26a2bbce3e43f14be51e88de18db5922b823"
-    "sha512=2c9808261aec8498921e4dce2d66214e10dfe65e2c3729c081731d6c44abc0e990233e5398c9c2d31a97d1a40bdd38920c54817f572d3b592f4257ce85b331da"
-  ]
+  src: "git+https://github.com/mirage/mirage-crypto.git"
 }
diff --git a/packages/mirage-crypto-pk/mirage-crypto-pk.0.6.2/opam b/packages/mirage-crypto-pk/mirage-crypto-pk.0.6.2/opam
@@ -26,17 +26,10 @@ depends: [
   "zarith" {>= "1.4"}
   "eqaf" {>= "0.5"}
   "rresult" {>= "0.6.0"}
-  ("mirage-no-xen" | "zarith-xen")
-  ("mirage-no-solo5" | "zarith-freestanding")
 ]
 description: """
 Mirage-crypto-pk provides public-key cryptography (RSA, DSA, DH).
 """
 url {
-  src:
-    "https://github.com/mirage/mirage-crypto/releases/download/v0.6.2/mirage-crypto-v0.6.2.tbz"
-  checksum: [
-    "sha256=e2284dc0f8d37110f4713b87145a26a2bbce3e43f14be51e88de18db5922b823"
-    "sha512=2c9808261aec8498921e4dce2d66214e10dfe65e2c3729c081731d6c44abc0e990233e5398c9c2d31a97d1a40bdd38920c54817f572d3b592f4257ce85b331da"
-  ]
+  src: "git+https://github.com/mirage/mirage-crypto.git"
 }
diff --git a/packages/mirage-crypto-rng/mirage-crypto-rng.0.6.2/opam b/packages/mirage-crypto-rng/mirage-crypto-rng.0.6.2/opam
@@ -28,10 +28,5 @@ implementations: Fortuna, HMAC-DRBG, getrandom/getentropy based (in the unix
 sublibrary)
 """
 url {
-  src:
-    "https://github.com/mirage/mirage-crypto/releases/download/v0.6.2/mirage-crypto-v0.6.2.tbz"
-  checksum: [
-    "sha256=e2284dc0f8d37110f4713b87145a26a2bbce3e43f14be51e88de18db5922b823"
-    "sha512=2c9808261aec8498921e4dce2d66214e10dfe65e2c3729c081731d6c44abc0e990233e5398c9c2d31a97d1a40bdd38920c54817f572d3b592f4257ce85b331da"
-  ]
+  src: "git+https://github.com/mirage/mirage-crypto.git"
 }
diff --git a/packages/mirage-crypto/mirage-crypto.0.6.2/opam b/packages/mirage-crypto/mirage-crypto.0.6.2/opam
@@ -35,10 +35,5 @@ Mirage-crypto provides symmetric ciphers (DES, AES, RC4), and hashes (MD5,
 SHA-1, SHA-2).
 """
 url {
-  src:
-    "https://github.com/mirage/mirage-crypto/releases/download/v0.6.2/mirage-crypto-v0.6.2.tbz"
-  checksum: [
-    "sha256=e2284dc0f8d37110f4713b87145a26a2bbce3e43f14be51e88de18db5922b823"
-    "sha512=2c9808261aec8498921e4dce2d66214e10dfe65e2c3729c081731d6c44abc0e990233e5398c9c2d31a97d1a40bdd38920c54817f572d3b592f4257ce85b331da"
-  ]
+  src: "git+https://github.com/mirage/mirage-crypto.git"
 }