Age | Commit message (Expand) | Author |
---|---|---|
2018-10-09 | gnu: unison: End all phases with #t.... | Tobias Geerinckx-Rice |
2018-09-24 | gnu: ocaml-ssl: Don't use unstable tarball.... | Tobias Geerinckx-Rice |
2018-09-15 | gnu: ocaml-ounit: Update to 2.0.8.... | Tobias Geerinckx-Rice |
2018-09-15 | gnu: coq: Update to 8.8.1.... | Tobias Geerinckx-Rice |
2018-09-15 | gnu: coq: INVOKE.... | Tobias Geerinckx-Rice |
2018-03-15 | gnu: Add ghc-aeson-1.1.2.0.... | Alex ter Weele |
2017-11-13 | gnu: Move web packages from haskell to haskell-web.... | Ricardo Wurmus |
2017-11-13 | gnu: Move testing packages from haskell to haskell-check.... | Ricardo Wurmus |