Age | Commit message (Expand) | Author |
---|---|---|
2017-10-28 | gnu: Add ocaml-utop.... | Peter Kreye |
2017-10-28 | gnu: Add ocaml-findlib-1.7.3.... | Peter Kreye |
2017-10-28 | gnu: Add ocaml-lambda-term.... | Peter Kreye |
2017-10-28 | gnu: Add ocaml-zed.... | Peter Kreye |
2017-10-28 | gnu: Add ocaml-jbuilder.... | Peter Kreye |
2017-10-22 | gnu: Update coq-interval to 3.3.0.... | Julien Lepiller |
2017-10-22 | gnu: Add coq-bignums.... | Julien Lepiller |
2017-10-22 | gnu: Update coq-coquelicot to 3.0.1.... | Julien Lepiller |
2017-10-22 | gnu: Update coq-mathcomp to 1.6.2.... | Julien Lepiller |
2017-10-22 | gnu: Update coq-flocq to 2.6.0.... | Julien Lepiller |
2017-10-22 | gnu: Update coq to 8.7.0.... | Julien Lepiller |
2017-10-22 | gnu: camlp5: install META file.... | Julien Lepiller |
2017-09-27 | gnu: Add ocaml-camomile.... | Julien Lepiller |
2017-09-27 | gnu: Add bap.... | Julien Lepiller |
2017-09-27 | gnu: Add ocaml-piqi.... | Julien Lepiller |
2017-09-27 | gnu: Add ocaml-graph.... | Julien Lepiller |
2017-09-27 | gnu: Add ocaml-uuidm.... | Julien Lepiller |
2017-09-27 | gnu: Add ocaml-piqilib.... | Julien Lepiller |
2017-09-27 | gnu: Add ocaml-optcomp.... | Julien Lepiller |
2017-09-27 | gnu: Add ocaml-easy-format.... | Julien Lepiller |
2017-09-27 | gnu: Add ocaml-uri.... | Julien Lepiller |
2017-09-27 | gnu: Add ocaml-ezjsonm.... | Julien Lepiller |
2017-09-04 | gnu: Put autoconf-related phases immediately after the 'unpack phase.... | Kei Kebreau |
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 |