Age | Commit message (Expand) | Author |
---|---|---|
2015-06-05 | gnu: Add coq.... | Mark H Weaver |
2015-06-05 | gnu: Add hevea.... | Mark H Weaver |
2015-06-05 | gnu: Add camlp5.... | Mark H Weaver |
2015-06-05 | gnu: ocaml: Update to 4.02.1.... | Mark H Weaver |
2014-10-26 | gnu: Some cleanup based on lint checkers.... | Eric Bavier |
2014-09-15 | gnu: Add OPAM.... | Ludovic Courtès |
2014-04-02 | gnu: ocaml: Install man pages in share/man.... | Mark H Weaver |
2013-01-24 | gnu: Add OCaml. licenses: Add QPL.... | Cyril Roelandt |