| Commit message (Expand) | Author | Age |
... | |
* | gnu: ocaml-4.01: Use INVOKE. | Ricardo Wurmus | 2019-01-25 |
* | gnu: ocaml-4.02: Use INVOKE. | Ricardo Wurmus | 2019-01-25 |
* | gnu: Add ocaml-craml. | Gabriel Hondet | 2019-01-23 |
* | gnu: ocaml-cmdliner: Update to 1.0.2. | Gabriel Hondet | 2019-01-23 |
* | gnu: ocaml-fmt: Update to 0.8.5. | Gabriel Hondet | 2019-01-23 |
* | gnu: ocaml-uchar: Update to 0.0.2. | Gabriel Hondet | 2019-01-23 |
* | gnu: Add ocaml-ppxlib. | Gabriel Hondet | 2019-01-16 |
* | gnu: Add ocaml-ppx-derivers. | Gabriel Hondet | 2019-01-16 |
* | gnu: Add ocaml-migrate-parsetree. | Gabriel Hondet | 2019-01-16 |
* | gnu: Add ocaml-compiler-libs. | Gabriel Hondet | 2019-01-16 |
* | gnu: Add ocaml-base. | Gabriel Hondet | 2019-01-16 |
* | gnu: Add ocaml-sexplib. | Gabriel Hondet | 2019-01-16 |
* | gnu: Add ocaml-parsexp. | Gabriel Hondet | 2019-01-16 |
* | gnu: Add ocaml-sexplib0. | Gabriel Hondet | 2019-01-16 |
* | gnu: Move Emacs packages to new module. | Ricardo Wurmus | 2019-01-16 |
* | gnu: Move sqlite to separate module. | Ricardo Wurmus | 2019-01-16 |
* | gnu: Add ocaml-merlin. | Gabriel Hondet | 2019-01-13 |
* | gnu: ocaml-graph: Add upstream-name. | Julien Lepiller | 2019-01-07 |
* | gnu: Move coq packages from ocaml to coq. | Julien Lepiller | 2019-01-07 |
* | gnu: Move Emacs modes for Dedukti to ocaml.scm. | Ludovic Courtès | 2019-01-07 |
* | gnu: Move OCaml packages away from maths.scm. | Ludovic Courtès | 2019-01-07 |
* | gnu: ocaml: Fix indentation. | Julien Lepiller | 2018-12-27 |
* | gnu: Add ocaml-yojson. | Gabriel Hondet | 2018-12-27 |
* | gnu: Add ocaml-biniou. | Gabriel Hondet | 2018-12-27 |
* | gnu: Add dedukti. | Gabriel Hondet | 2018-12-25 |
* | gnu: ocaml-lambda-term: Use dune-build-system. | Julien Lepiller | 2018-12-18 |
* | gnu: ocaml-camomile: Use dune-build-system. | Julien Lepiller | 2018-12-18 |
* | gnu: ocaml-re: Use dune-build-system. | Julien Lepiller | 2018-12-18 |
* | gnu: ocaml-cppo: Use dune-build-system. | Julien Lepiller | 2018-12-18 |
* | gnu: ocaml-lwt-log: Use dune-build-system. | Julien Lepiller | 2018-12-18 |
* | gnu: ocaml-lwt: Use dune-build-system. | Julien Lepiller | 2018-12-18 |
* | gnu: ocaml-bitstring: Use dune-build-system. | Julien Lepiller | 2018-12-18 |
* | gnu: ocaml-ppx-tools-versioned: Use dune-build-system. | Julien Lepiller | 2018-12-18 |
* | gnu: ocaml-migrate-parsetree: Use dune-build-system. | Julien Lepiller | 2018-12-18 |
* | gnu: opam: Fix package installation. | Julien Lepiller | 2018-12-17 |
* | gnu: unison: Replace texlive input with texlive-tiny. | Pierre Neidhardt | 2018-12-14 |
* | gnu: coq: Remove unused texlive and hevea from native-inputs. | Pierre Neidhardt | 2018-12-14 |
* | gnu: ocaml@4.01: Enable building on aarch64-linux. | Efraim Flashner | 2018-12-02 |
* | gnu: ocaml@4.01: Remove aarch64-linux from supported-systems. | Efraim Flashner | 2018-12-01 |
* | gnu: coq: Update to 8.8.2. | Julien Lepiller | 2018-11-29 |
* | gnu: camlp5: Update to 7.07. | Julien Lepiller | 2018-11-29 |
* | nu: ocaml: Update to 4.07.1 | Julien Lepiller | 2018-11-29 |
* | gnu: opam: Update to 2.0.1. | Julien Lepiller | 2018-11-25 |
* | gnu: ocaml-piqilib: Remove duplicate 'home-page' field. | Mark H Weaver | 2018-11-24 |
* | gnu: ocaml: Update to 4.7.0. | Julien Lepiller | 2018-11-18 |
* | gnu: unison: End all phases with #t. | Tobias Geerinckx-Rice | 2018-10-09 |
* | gnu: ocaml-ssl: Don't use unstable tarball. | Tobias Geerinckx-Rice | 2018-09-24 |
* | gnu: ocaml-ounit: Update to 2.0.8. | Tobias Geerinckx-Rice | 2018-09-15 |
* | gnu: coq: Update to 8.8.1. | Tobias Geerinckx-Rice | 2018-09-15 |
* | gnu: coq: INVOKE. | Tobias Geerinckx-Rice | 2018-09-15 |