diff options
author | Imuli <i@imu.li> | 2018-08-04 23:10:43 -0400 |
---|---|---|
committer | Imuli <i@imu.li> | 2018-08-04 23:10:43 -0400 |
commit | a6e17d6f1171426331f5a3d4b448eac4af6e5fc2 (patch) | |
tree | 0c77e0a488ab2bcc908db2c5aa69d1d0d5a0a879 /pkgs/development/idris-modules/default.nix | |
parent | 9104cf1276d39c297ec39dd534ea9299621e4399 (diff) |
idrisPackages.quantities: init at 2018-04-17
Diffstat (limited to 'pkgs/development/idris-modules/default.nix')
-rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
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 {}; |