aboutsummaryrefslogtreecommitdiff
path: root/.gitattributes
blob: b31f7fd74d457543fee1d2e3b6f3ef2303fa255d (about) (plain) 
1
2
3

*.scm       diff=scheme
*.scm.in    diff=scheme
*.texi      diff=texinfo
generated by cgit
igure' phase to match the current Haskell build system code. Timothy Sample 2020-03-16gnu: agda: Use HTTPS home page....* gnu/packages/agda.scm (agda)[home-page]: Use HTTPS. Tobias Geerinckx-Rice 2019-11-20gnu: agda: Update to 2.6.0.1....* gnu/packages/agda.scm (agda): Update to 2.6.0.1. [inputs]: Remove 'ghc-parallel'; add 'ghc-aeson' and 'ghc-exceptions'. Timothy Sample