From 629237c7070956bed08a0a7b0cedbc7fb00f4b31 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Fri, 30 Sep 2016 15:53:39 +0100
Subject: [PATCH] randomconv and mirage-stdlib-random

---
 .../mirage-stdlib-random.dev~mirage/descr     |  1 +
 .../mirage-stdlib-random.dev~mirage/opam      | 20 +++++++++++++++++++
 .../mirage-stdlib-random.dev~mirage/url       |  1 +
 .../randomconv/randomconv.dev~mirage/descr    |  1 +
 .../randomconv/randomconv.dev~mirage/opam     | 19 ++++++++++++++++++
 packages/randomconv/randomconv.dev~mirage/url |  1 +
 6 files changed, 43 insertions(+)
 create mode 100644 packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/descr
 create mode 100644 packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/opam
 create mode 100644 packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/url
 create mode 100644 packages/randomconv/randomconv.dev~mirage/descr
 create mode 100644 packages/randomconv/randomconv.dev~mirage/opam
 create mode 100644 packages/randomconv/randomconv.dev~mirage/url

diff --git a/packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/descr b/packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/descr
new file mode 100644
index 00000000..0c92e91e
--- /dev/null
+++ b/packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/descr
@@ -0,0 +1 @@
+Providing the V1_LWT.RANDOM module by using the stdlib Random module
\ No newline at end of file
diff --git a/packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/opam b/packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/opam
new file mode 100644
index 00000000..1d063fa1
--- /dev/null
+++ b/packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/opam
@@ -0,0 +1,20 @@
+opam-version: "1.2"
+maintainer: "Hannes Mehnert <hannes@mehnert.org>"
+authors: ["Hannes Mehnert <hannes@mehnert.org>"]
+homepage: "https://github.com/hannesm/mirage-stdlib-random"
+doc: "https://hannesm.github.io/mirage-stdlib-random/doc"
+dev-repo: "https://github.com/hannesm/mirage-stdlib-random.git"
+bug-reports: "https://github.com/hannesm/mirage-stdlib-random/issues"
+license: "ISC"
+
+depends: [
+  "ocamlfind" {build}
+  "ocamlbuild" {build}
+  "topkg" {build}
+  "mirage-types-lwt"
+  "cstruct" {>= "1.9.0"}
+]
+
+build: [
+  [ "ocaml" "pkg/pkg.ml" "build" "--pinned" "%{pinned}%" ]
+]
diff --git a/packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/url b/packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/url
new file mode 100644
index 00000000..a1f8030f
--- /dev/null
+++ b/packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/url
@@ -0,0 +1 @@
+git: "https://github.com/hannesm/mirage-stdlib-random.git"
diff --git a/packages/randomconv/randomconv.dev~mirage/descr b/packages/randomconv/randomconv.dev~mirage/descr
new file mode 100644
index 00000000..5973fdcc
--- /dev/null
+++ b/packages/randomconv/randomconv.dev~mirage/descr
@@ -0,0 +1 @@
+Some random conversion to common datatypes
\ No newline at end of file
diff --git a/packages/randomconv/randomconv.dev~mirage/opam b/packages/randomconv/randomconv.dev~mirage/opam
new file mode 100644
index 00000000..541ff2c4
--- /dev/null
+++ b/packages/randomconv/randomconv.dev~mirage/opam
@@ -0,0 +1,19 @@
+opam-version: "1.2"
+maintainer: "Hannes Mehnert <hannes@mehnert.org>"
+authors: ["Hannes Mehnert <hannes@mehnert.org>"]
+homepage: "https://github.com/hannesm/randomconv"
+doc: "https://hannesm.github.io/randomconv/doc"
+dev-repo: "https://github.com/hannesm/randomconv.git"
+bug-reports: "https://github.com/hannesm/randomconv/issues"
+license: "ISC"
+
+depends: [
+  "ocamlfind" {build}
+  "ocamlbuild" {build}
+  "topkg" {build}
+  "cstruct" {>= "1.9.0"}
+]
+
+build: [
+  [ "ocaml" "pkg/pkg.ml" "build" "--pinned" "%{pinned}%" ]
+]
diff --git a/packages/randomconv/randomconv.dev~mirage/url b/packages/randomconv/randomconv.dev~mirage/url
new file mode 100644
index 00000000..9fecdaee
--- /dev/null
+++ b/packages/randomconv/randomconv.dev~mirage/url
@@ -0,0 +1 @@
+git: "https://github.com/hannesm/randomconv.git"