toki/idris2-ratio
1
0
Fork 0
Code Issues Pull requests Activity

Fix module not added to ipkg

Browse source
This commit is contained in:
Kiana Sheibani 2024-06-08 14:44:26 -04:00
parent d19ae136f7
commit 1bdfde80d7
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ratio.ipkg
View file

@ -8,4 +8,5 @@ license = "MIT"
sourcedir = "src" sourcedir = "src"
readme = "README.md" readme = "README.md"
modules = Data.Ratio modules = Data.Ratio,
Data.IntegralGCD