Age | Commit message (Expand) | Author |
---|---|---|
2017-12-23 | gnu: ocaml-utop: Update to 2.0.2.... | Tobias Geerinckx-Rice |
2017-12-23 | gnu: ocaml-jbuilder: Update to 1.0+beta16.... | Tobias Geerinckx-Rice |
2017-12-23 | gnu: ocaml-ssl: Expand description.... | Tobias Geerinckx-Rice |
2017-12-23 | gnu: ocaml-ssl: Update to 0.5.5.... | Tobias Geerinckx-Rice |
2017-12-23 | gnu: ocaml-bitstring: Update to 2.1.1.... | Tobias Geerinckx-Rice |
2017-11-24 | gnu: coq-interval: Fix source URL for 3.3.0.... | Ludovic Courtès |
2017-11-07 | Fix ambiguous imports.... | Ludovic Courtès |
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 |