From eedc6799b6b775ba1c11902fbdf271e96883ff6c Mon Sep 17 00:00:00 2001
From: lucas8 <luc.linux@mailoo.org>
Date: Sat, 22 Apr 2017 18:40:09 +0200
Subject: [PATCH] cubicle: init at 1.0.2

---
 .../science/logic/cubicle/default.nix         | 20 +++++++++++++++++++
 pkgs/top-level/all-packages.nix               |  2 ++
 2 files changed, 22 insertions(+)
 create mode 100644 pkgs/applications/science/logic/cubicle/default.nix

diff --git a/pkgs/applications/science/logic/cubicle/default.nix b/pkgs/applications/science/logic/cubicle/default.nix
new file mode 100644
index 00000000000..9bfbcc3f30d
--- /dev/null
+++ b/pkgs/applications/science/logic/cubicle/default.nix
@@ -0,0 +1,20 @@
+{ stdenv, fetchurl, ocaml, ocamlPackages }:
+
+stdenv.mkDerivation rec {
+  name = "cubicle-${version}";
+  version = "1.0.2";
+  src = fetchurl {
+    url = "http://cubicle.lri.fr/cubicle-${version}.tar.gz";
+    sha256 = "1fg39vlr2d5067512df32hkw6g8vglxj1m47md5mw3pn3ij6dpsx";
+  };
+
+  buildInputs = [ ocaml ocamlPackages.functory ];
+
+  meta = with stdenv.lib; {
+    description = "An open source model checker for verifying safety properties of array-based systems";
+    homepage = "http://cubicle.lri.fr/";
+    license = licenses.asl20;
+    platforms = platforms.linux;
+    maintainers = with maintainers; [ lucas8 ];
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index db7653a5767..bab38746927 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -17492,6 +17492,8 @@ with pkgs;
 
   cryptoverif = callPackage ../applications/science/logic/cryptoverif { };
 
+  cubicle = callPackage ../applications/science/logic/cubicle { };
+
   cvc3 = callPackage ../applications/science/logic/cvc3 {
     gmp = lib.overrideDerivation gmp (a: { dontDisableStatic = true; });
   };