idris 1.3.3-30.0

Architecture: i686
Repository: i686/community
Description: not found in pkg-api
Upstream URL:
License(s): not found in pkg-api
Package Size: B
Installed Size: B
Build Date: not found in pkg-api
Last Updated: 2020-08-03 20:56:23

Dependencies (151)

Required By (1)

  • libHSidris-1.3.3-Exoo2tp13AoHmVloVZCok9-ghc8.10.1.so (idris) (link)