diff --git a/packages/alcotest/alcotest.0.5.0/descr b/packages/alcotest/alcotest.0.5.0/descr
new file mode 100644
index 00000000000..78f9b83f89b
--- /dev/null
+++ b/packages/alcotest/alcotest.0.5.0/descr
@@ -0,0 +1,11 @@
+Alcotest is a lightweight and colourful test framework.
+
+Alcotest exposes simple interface to perform unit tests. It exposes
+a simple `TESTABLE` module type, a `check` function to assert test
+predicates and a `run` function to perform a list of `unit -> unit`
+test callbacks.
+
+Alcotest provides a quiet and colorful output where only faulty runs
+are fully displayed at the end of the run (with the full logs ready to
+inspect), with a simple (yet expressive) query language to select the
+tests to run.
diff --git a/packages/alcotest/alcotest.0.5.0/opam b/packages/alcotest/alcotest.0.5.0/opam
new file mode 100644
index 00000000000..ac26fde531c
--- /dev/null
+++ b/packages/alcotest/alcotest.0.5.0/opam
@@ -0,0 +1,24 @@
+opam-version: "1.2"
+maintainer: "thomas@gazagnaire.org"
+authors:     "Thomas Gazagnaire"
+homepage:    "https://github.com/mirage/alcotest/"
+dev-repo:    "https://github.com/mirage/alcotest.git"
+bug-reports: "https://github.com/mirage/alcotest/issues/"
+license:     "ISC"
+doc:         "https://mirage.github.io/alcotest/"
+
+build: ["ocaml" "pkg/pkg.ml" "build" "--pinned" pinned]
+build-test: [
+  ["ocaml" "pkg/pkg.ml" "build" "--pinned" pinned "--tests" "true"]
+  ["ocaml" "pkg/pkg.ml" "test" ]
+]
+depends: [
+  "ocamlfind"  {build}
+  "ocamlbuild" {build}
+  "topkg"      {build}
+  "fmt"
+  "astring"
+  "result"
+  "cmdliner"
+]
+available: [ocaml-version >= "4.01.0"]
diff --git a/packages/alcotest/alcotest.0.5.0/url b/packages/alcotest/alcotest.0.5.0/url
new file mode 100644
index 00000000000..f18d1ce59c1
--- /dev/null
+++ b/packages/alcotest/alcotest.0.5.0/url
@@ -0,0 +1,2 @@
+archive: "https://github.com/mirage/alcotest/releases/download/0.5.0/alcotest-0.5.0.tbz"
+checksum: "9f9783b00a6302e2a9110b66886b4bc2"
\ No newline at end of file