From 8a3a5199556fda2709c70ca9a247091c479c6c13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Fri, 16 Feb 2018 10:25:33 +0100
Subject: [PATCH] Do not use `depend`-flag

---
 cat.agda-lib | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/cat.agda-lib b/cat.agda-lib
index fa6c713..32833fd 100644
--- a/cat.agda-lib
+++ b/cat.agda-lib
@@ -2,11 +2,13 @@ name: cat
 -- version: 0.0.1
 -- description:
 --   A formalization of category theory in Agda using cubical type theory.
-depend:
-  standard-library
-  cubical
+-- depend:
+--   standard-library
+--   cubical
 include:
   src
+  libs/agda-stdlib/src
+  libs/cubical/src
 -- libraries:
 --   libs/agda-stdlib
 --   libs/cubical