From 6b8433d9ede97391d58d721c2ccc0b6cf45f6d79 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Fri, 2 Dec 2022 14:27:59 +0000
Subject: Sort list of modules.

This makes it easier for automation to check each committed module is
included in the package manifest.
---
 setoid.ipkg | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/setoid.ipkg b/setoid.ipkg
index 06cdc2a..2c0401e 100644
--- a/setoid.ipkg
+++ b/setoid.ipkg
@@ -18,16 +18,16 @@ depends
 
 -- modules to install
 modules
-  = Data.Setoid
+  = Data.Fun.Nary
+  , Data.Setoid
   , Data.Setoid.Definition
   , Data.Setoid.Either
+  , Data.Setoid.List
   , Data.Setoid.Pair
   , Data.Setoid.Vect
   , Data.Setoid.Vect.Functional
   , Data.Setoid.Vect.Inductive
-  , Data.Setoid.List
   , Syntax.PreorderReasoning.Setoid
-  , Data.Fun.Nary
 
 -- main file (i.e. file to load at REPL)
 -- main =
-- 
cgit v1.2.3