From a6e17d6f1171426331f5a3d4b448eac4af6e5fc2 Mon Sep 17 00:00:00 2001
From: Imuli <i@imu.li>
Date: Sat, 4 Aug 2018 23:10:43 -0400
Subject: idrisPackages.quantities: init at 2018-04-17

---
 pkgs/development/idris-modules/default.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'pkgs/development/idris-modules/default.nix')

diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix
index 25f8dba00b02f..0368c00d12380 100644
--- a/pkgs/development/idris-modules/default.nix
+++ b/pkgs/development/idris-modules/default.nix
@@ -153,6 +153,8 @@
 
     protobuf = callPackage ./protobuf.nix {};
 
+    quantities = callPackage ./quantities.nix {};
+
     rationals = callPackage ./rationals.nix {};
 
     recursion_schemes = callPackage ./recursion_schemes.nix {};
-- 
cgit 1.4.1