Age | Commit message (Expand) | Author |
---|---|---|
2017-09-01 | gnu: Add emacs-tuareg.... | Oleg Pykhalov |
2017-07-29 | gnu: Add coq-interval.... | Julien Lepiller |
2017-07-29 | gnu: Add coq-coquelicot.... | Julien Lepiller |
2017-07-29 | gnu: Add coq-mathcomp.... | Julien Lepiller |
2017-07-29 | gnu: Add coq-gappa.... | Julien Lepiller |
2017-07-29 | gnu: Add coq-flocq.... | Julien Lepiller |
2017-06-06 | gnu: coq: Add search-paths for coq libraries.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-hex.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-cstruct.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-ocplib-endian.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-async.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-async-extra.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-async-unix.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-core.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-async-rpc-kernel.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-async-kernel.... | Julien Lepiller |
2017-06-06 | gnu: Add ocaml-core-kernel.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-ppx-jane.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-ppx-expect.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-re.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-ppx-fields-conv.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-ppx-sexp-message.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-ppx-custom-printf.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-ppx-fail.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-ppx-bin-prot.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-ppx-pipebang.... | Julien Lepiller |
2017-05-25 | gnu: Add ocaml-ppx-sexp-value.... | Julien Lepiller |
2017-05-10 | gnu: Add ocaml4.01-batteries.... | Ben Woodcroft |
2017-05-10 | gnu: Add ocaml4.01-xmlm.... | Ben Woodcroft |
2017-05-10 | gnu: Add ocaml4.01-ounit.... | Ben Woodcroft |
2017-05-10 | gnu: Add ocaml4.01-qtest.... | Ben Woodcroft |
2017-05-10 | gnu: Add ocaml4.01-camlzip.... | Ben Woodcroft |
2017-05-10 | gnu: Add ocaml4.01-csv.... | Ben Woodcroft |
2017-05-10 | gnu: Add ocaml4.01-sqlite3.... | Ben Woodcroft |
2017-05-10 | gnu: Add ocaml4.01-bisect.... | Ben Woodcroft |
2017-05-10 | gnu: Add ocaml4.01-findlib.... | Ben Woodcroft |
2017-05-10 | gnu: Add ocaml-4.01.... | Ben Woodcroft |
2017-05-08 | gnu: Move lynx to web-browsers.scm.... | Kei Kebreau |
2017-04-29 | gnu: ocaml-qtest: Use ocaml-qcheck.... | Julien Lepiller |
2017-04-29 | gnu: Add ocaml-qcheck.... | Julien Lepiller |
2017-04-02 | gnu: Use HTTPS URLs for GitHub home-pages.... | Leo Famulari |
2017-03-18 | gnu: ocaml-qtest: Update to 2.5.... | Ben Woodcroft |
2017-03-17 | gnu: Add ocaml-csv.... | Ben Woodcroft |
2017-03-17 | gnu: Add ocaml-sqlite3.... | Ben Woodcroft |
2017-03-14 | gnu: Add ocaml-ppx-typerep-conv.... | Julien Lepiller |
2017-03-14 | gnu: Add ocaml-ppx-let.... | Julien Lepiller |
2017-03-14 | gnu: Add ocaml-ppx-enumerate.... | Julien Lepiller |
2017-03-14 | gnu: Add ocaml-ppx-assert.... | Julien Lepiller |
2017-03-14 | gnu: Add ocaml-ppx-here.... | Julien Lepiller |
2017-03-14 | gnu: Add ocaml-ppx-variants-conv.... | Julien Lepiller |