index
:
guix.git
core-updates
core-updates-glibc-2.39
emacs-team
gnome-team
guile-daemon
haskell-team-shellcheck
haskell-team-shellcheck-v2
hurd-team
install-doc-overhaul
kde-team
kernel-updates
keyring
lisp-team
master
old-core-updates
old-guix-wip-file-offset-bits-64-sledgehammer
pyproject-build-system
python-team
python-team-python-imagesize
rust-team
tex-team
version-0.10.0
version-0.11.0
version-0.12.0
version-0.13.0
version-0.14.0
version-0.15.0
version-0.16.0
version-0.8.3
version-0.9.0
version-1.0.0
version-1.0.1
version-1.1.0
version-1.2.0
version-1.3.0
version-1.4.0
wip-aarch64-bootstrap
wip-arm-bootstrap
wip-buildroot
wip-check
wip-container
wip-cpu-tuning
wip-deploy
wip-deploy2
wip-desktop
wip-digests
wip-file-offset-bits-64
wip-file-offset-bits-64-sledgehammer
wip-filesearch
wip-full-source-bootstrap
wip-gexp-grafts
wip-gexp-hygiene
wip-git-https
wip-gmp
wip-guix-log
wip-harden-installer
wip-hurd-vm
wip-ipfs
wip-ipfs-substitutes
wip-ipfs2
wip-java-aarch64
wip-kde-education
wip-kde-plasma
wip-loongson2f
wip-mediagoblin
wip-mnt-reform
wip-node-14
wip-node-18-updates
wip-node-importer
wip-node-reproducibility
wip-ocaml
wip-pandas-upgrade
wip-perl6
wip-pinebook-pro
wip-plmshift-2
wip-postfix
wip-ppc
wip-ppc64le
wip-python-mne
wip-python-team
wip-r
wip-r-team
wip-system-bootstrap
wip-webkit
Mirror of the official guix repository
Vivien
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-utop: Use INVOKE.
...
Ricardo Wurmus
2019-01-25
gnu: ocaml-zed: Use INVOKE.
...
Ricardo Wurmus
2019-01-25
gnu: ocaml-zarith: Use INVOKE.
...
Ricardo Wurmus
2019-01-25
gnu: camlp4-4.02: Use INVOKE.
...
Ricardo Wurmus
2019-01-25
gnu: ocaml-4.01: Use INVOKE.
...
Ricardo Wurmus
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
[next]