idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-13 05:48:39 +03:00
Code Issues Projects Releases Wiki Activity

Add missing Data.Stream.Extra module to contrib.ipkg

Browse Source 
I forgot to add it
This commit is contained in:
foss-mc 2020-08-28 21:23:06 +08:00 committed by G. Allais
parent 4b7dc38e62
commit d56b090c4c
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libs/contrib/contrib.ipkg
View File

@ -38,6 +38,7 @@ modules = Control.ANSI,
Data.SortedMap,
Data.SortedSet,
Data.Stream.Extra,
Data.String.Extra,
Data.String.Interpolation,
Data.String.Parser,