testing/idris: enable and upgrade to 1.3.4 (!26442) · Merge requests · alpine / aports · GitLab

Andy Postnikov requested to merge andypost/aports:idris into master Oct 15, 2021

after ffi upgrade it was disabled 8a768257 and set use cmpat version as ghc using be86dc1d
upgrade https://hackage.haskell.org/package/idris

Edited Nov 09, 2021 by Andy Postnikov