From 1baede3e323de3d3b4fff46e9052122cf922baac Mon Sep 17 00:00:00 2001
From: i <isomorphisms@sdf.org>
Date: Wed, 26 Aug 2026 08:48:01 -0400
Subject: [PATCH 1/2] Accept 'on' in package field separators

---
 src/Parser/Rule/Package.idr | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Parser/Rule/Package.idr b/src/Parser/Rule/Package.idr
index daf71963c1b..85382797efc 100644
--- a/src/Parser/Rule/Package.idr
+++ b/src/Parser/Rule/Package.idr
@@ -18,9 +18,10 @@ EmptyRule = Grammar () Token False
 
 export
 equals : Rule ()
-equals = terminal "Expected equals" $
+equals = terminal "Expected equals or 'on'" $
                   \case
                     Equals => Just ()
+                    DotSepIdent Nothing "on" => Just ()
                     _ => Nothing
 
 export

From 1b0cbc5e9a8898b30b7b1382148a53fcb1fd366a Mon Sep 17 00:00:00 2001
From: i <isomorphisms@sdf.org>
Date: Wed, 26 Aug 2026 08:48:29 -0400
Subject: [PATCH 2/2] Use natural dependency syntax in idris2api package

---
 idris2api.ipkg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idris2api.ipkg b/idris2api.ipkg
index a0f4831fe16..55628c8d449 100644
--- a/idris2api.ipkg
+++ b/idris2api.ipkg
@@ -324,6 +324,6 @@ modules =
     Yaffle.Main,
     Yaffle.REPL
 
-depends = network
+depends on network
 
 sourcedir = "src"