index
:
guix
koszko
koszko-scripts
Wojtek's customized Guix
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
ocaml.scm
Age
Commit message (
Expand
)
Author
2019-01-25
gnu: ocaml-4.02: Use INVOKE.
...
Ricardo Wurmus
2019-01-23
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-16
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-13
gnu: Add ocaml-merlin.
...
Gabriel Hondet
2019-01-07
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
2018-12-27
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-25
gnu: Add dedukti.
...
Gabriel Hondet
2018-12-18
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-17
gnu: opam: Fix package installation.
...
Julien Lepiller
2018-12-14
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-02
gnu: ocaml@4.01: Enable building on aarch64-linux.
...
Efraim Flashner
2018-12-01
gnu: ocaml@4.01: Remove aarch64-linux from supported-systems.
...
Efraim Flashner
2018-11-29
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-25
gnu: opam: Update to 2.0.1.
...
Julien Lepiller
2018-11-24
gnu: ocaml-piqilib: Remove duplicate 'home-page' field.
...
Mark H Weaver
2018-11-18
gnu: ocaml: Update to 4.7.0.
...
Julien Lepiller
2018-10-09
gnu: unison: End all phases with #t.
...
Tobias Geerinckx-Rice
2018-09-24
gnu: ocaml-ssl: Don't use unstable tarball.
...
Tobias Geerinckx-Rice
2018-09-15
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-06-20
gnu: ocaml: Build reproducibly.
...
Julien Lepiller
[prev]
[next]