index
:
guix
linode-image-docs
master
rocq-codeberg-pr-v1
rocq-codeberg-pr-v2
rocq-codeberg-pr-v3
rocq-wip
GNU transactional package management, distribution, deployment, and more!
Daniel Rostovtsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
ocaml.scm
Age
Commit message (
Expand
)
Author
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
2017-05-10
gnu: Add ocaml4.01-batteries.
Ben Woodcroft
2017-05-10
gnu: Add ocaml4.01-xmlm.
Ben Woodcroft
2017-05-10
gnu: Add ocaml4.01-ounit.
Ben Woodcroft
2017-05-10
gnu: Add ocaml4.01-qtest.
Ben Woodcroft
2017-05-10
gnu: Add ocaml4.01-camlzip.
Ben Woodcroft
2017-05-10
gnu: Add ocaml4.01-csv.
Ben Woodcroft
2017-05-10
gnu: Add ocaml4.01-sqlite3.
Ben Woodcroft
2017-05-10
gnu: Add ocaml4.01-bisect.
Ben Woodcroft
2017-05-10
gnu: Add ocaml4.01-findlib.
Ben Woodcroft
2017-05-10
gnu: Add ocaml-4.01.
Ben Woodcroft
2017-05-08
gnu: Move lynx to web-browsers.scm.
Kei Kebreau
2017-04-29
gnu: ocaml-qtest: Use ocaml-qcheck.
Julien Lepiller
2017-04-29
gnu: Add ocaml-qcheck.
Julien Lepiller
2017-04-02
gnu: Use HTTPS URLs for GitHub home-pages.
Leo Famulari
2017-03-18
gnu: ocaml-qtest: Update to 2.5.
Ben Woodcroft
[prev]
[next]