From 85b191cd3134102c7205c1771806ee16f73b3a89 Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Sun, 7 Aug 2022 23:35:19 +0100
Subject: Write about equivalence relations

---
 doc/pack.toml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'doc/pack.toml')

diff --git a/doc/pack.toml b/doc/pack.toml
index d555f03..3aff702 100644
--- a/doc/pack.toml
+++ b/doc/pack.toml
@@ -1,4 +1,10 @@
-[doc.setoid]
+[custom.all.setoid]
 type = "local"
 path = ".."
 ipkg = "setoid.ipkg"
+
+[custom.all.frex]
+type = "github"
+url = "https://github.com/frex-project/idris-frex"
+commit = "latest:main"
+ipkg = "frex.ipkg"
-- 
cgit v1.2.3