cgit v1.2.3'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Expand)Author
2018-10-09gnu: unison: End all phases with #t....Tobias Geerinckx-Rice
2018-09-24gnu: ocaml-ssl: Don't use unstable tarball....Tobias Geerinckx-Rice
2018-09-15gnu: ocaml-ounit: Update to 2.0.8....Tobias Geerinckx-Rice
2018-09-15gnu: coq: Update to 8.8.1....Tobias Geerinckx-Rice
2018-09-15gnu: coq: INVOKE....Tobias Geerinckx-Rice
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