e6c5588 · Idris-dev · git.iko.soy

idris.cabal−1

@@ -106,7 +106,6 @@ Extra-source-files:

106 libs/base/Debug/*.idr

107 libs/base/Language/Reflection/*.idr

108 libs/base/Makefile

109− libs/base/Network/*.idr

110 libs/base/System/*.idr

109 libs/base/System/*.idr

111 libs/base/System/Concurrency/*.idr

110 libs/base/System/Concurrency/*.idr

112 libs/base/Syntax/*.idr

111 libs/base/Syntax/*.idr

libs/base/base.ipkg−1

@@ -3,7 +3,6 @@ package base

3opts = "--nobasepkgs --total -i ../prelude"

4modules = System,

5

6− Network.Socket,

7 Debug.Error, Debug.Trace,

6 Debug.Error, Debug.Trace,

8

7

9 System.Info,

8 System.Info,

libs/base/Network/Socket.idr → libs/contrib/Network/Socket.idrrenamed

The content is the same.

libs/contrib/contrib.ipkg+1−1

@@ -6,6 +6,6 @@ modules = Data.Fun, Data.Rel, Data.Buffer,

6

7 Decidable.Decidable, Decidable.Order,

8

9− Network.Cgi,

9+ Network.Cgi, Network.Socket

10

11 System.Concurrency.Process