From d73fc20e0d2dec999de2b9e8e3477041a216bc43 Mon Sep 17 00:00:00 2001
From: Jacques-Pascal Deplaix <jp.deplaix@gmail.com>
Date: Fri, 9 Mar 2018 18:31:11 +0000
Subject: [PATCH] Add llopt.1.0.0

---
 packages/llopt/llopt.1.0.0/descr |  4 ++++
 packages/llopt/llopt.1.0.0/opam  | 14 ++++++++++++++
 packages/llopt/llopt.1.0.0/url   |  2 ++
 3 files changed, 20 insertions(+)
 create mode 100644 packages/llopt/llopt.1.0.0/descr
 create mode 100644 packages/llopt/llopt.1.0.0/opam
 create mode 100644 packages/llopt/llopt.1.0.0/url

diff --git a/packages/llopt/llopt.1.0.0/descr b/packages/llopt/llopt.1.0.0/descr
new file mode 100644
index 00000000000..dd310292f8d
--- /dev/null
+++ b/packages/llopt/llopt.1.0.0/descr
@@ -0,0 +1,4 @@
+Just a tiny LLVM-IR optimizer for testing stuff.
+
+This program just takes a LLVM-IR file (.ll) as input and dumps
+the optimized LLVM-IR module in the standard output.
diff --git a/packages/llopt/llopt.1.0.0/opam b/packages/llopt/llopt.1.0.0/opam
new file mode 100644
index 00000000000..ff038716824
--- /dev/null
+++ b/packages/llopt/llopt.1.0.0/opam
@@ -0,0 +1,14 @@
+opam-version: "1.2"
+license: "MIT"
+maintainer: "Kate <jp.deplaix@gmail.com>"
+authors: "Kate <jp.deplaix@gmail.com>"
+homepage: "https://github.com/jpdeplaix/llopt"
+dev-repo: "git://github.com/jpdeplaix/llopt.git"
+bug-reports: "https://github.com/jpdeplaix/llopt/issues"
+tags: ["llvm" "optimization" "test" "testing" "compiler"]
+build: ["jbuilder" "build" "-p" "llopt"]
+depends: [
+  "jbuilder" {build}
+  "llvm" {>= "3.5"}
+  "cmdliner"
+]
diff --git a/packages/llopt/llopt.1.0.0/url b/packages/llopt/llopt.1.0.0/url
new file mode 100644
index 00000000000..2576e13aba0
--- /dev/null
+++ b/packages/llopt/llopt.1.0.0/url
@@ -0,0 +1,2 @@
+archive: "https://github.com/jpdeplaix/llopt/archive/1.0.0.tar.gz"
+checksum: "4be341b6663b6ad37f32ba45274c38cc"