aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


ages/idris.scm
AgeCommit message (Expand)Author


2018-03-15gnu: idris: Provide the right versions of dependencies....Alex ter Weele


2018-03-15gnu: Add ghc-cheapskate-0.1.0.5....Alex ter Weele


2018-03-15gnu: Add ghc-trifecta-1.6.2.1....Alex ter Weele


2018-03-15gnu: Add ghc-aeson-1.1.2.0....Alex ter Weele


2017-11-13gnu: Move web packages from haskell to haskell-web....Ricardo Wurmus


2017-11-13gnu: Move testing packages from haskell to haskell-check....Ricardo Wurmus


2017-04-15gnu: idris: Fix idris-default-arguments....Peter Mikkelsen


2017-04-15gnu: idris: Update to 1.0....Peter Mikkelsen


2017-03-23gnu: idris: Update to 0.99.1....Peter Mikkelsen