aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
abd304f74a8fb5c75b1'>gnu: Add ocaml-async....
AgeCommit message (Expand)Author
2017-10-28gnu: Add ocaml-utop....Peter Kreye
2017-10-28gnu: Add ocaml-findlib-1.7.3....Peter Kreye
2017-10-28gnu: Add ocaml-lambda-term....Peter Kreye
2017-10-28gnu: Add ocaml-zed....Peter Kreye
2017-10-28gnu: Add ocaml-jbuilder....Peter Kreye
2017-10-22gnu: Update coq-interval to 3.3.0....Julien Lepiller
2017-10-22gnu: Add coq-bignums....Julien Lepiller
2017-10-22gnu: Update coq-coquelicot to 3.0.1....Julien Lepiller
2017-10-22gnu: Update coq-mathcomp to 1.6.2....Julien Lepiller
2017-10-22gnu: Update coq-flocq to 2.6.0....Julien Lepiller
2017-10-22gnu: Update coq to 8.7.0....Julien Lepiller
2017-10-22gnu: camlp5: install META file....Julien Lepiller
2017-09-27gnu: Add ocaml-camomile....Julien Lepiller
2017-09-27gnu: Add bap....Julien Lepiller
2017-09-27gnu: Add ocaml-piqi....Julien Lepiller
2017-09-27gnu: Add ocaml-graph....Julien Lepiller
2017-09-27gnu: Add ocaml-uuidm....Julien Lepiller
2017-09-27gnu: Add ocaml-piqilib....Julien Lepiller
2017-09-27gnu: Add ocaml-optcomp....Julien Lepiller
2017-09-27gnu: Add ocaml-easy-format....Julien Lepiller
2017-09-27gnu: Add ocaml-uri....Julien Lepiller
2017-09-27gnu: Add ocaml-ezjsonm....Juli
2015-04-11gnu: elfutils: Add $libdir to the RUNPATH of binaries....Ludovic Courtès
2015-04-11gnu: elfutils: Work around PTRACE_ATTACH-induced test failures....Ludovic Courtès
2015-02-02gnu: elfutils: Update to 0.161....Andreas Enge
2015-01-07gnu: patchelf: On ARM, apply experimental patch to get it working....Mark H Weaver
2015-01-06gnu: patchelf: Update to 0.8....Mark H Weaver
2014-10-26gnu: Some cleanup based on lint checkers....Eric Bavier
2014-09-13gnu: Adjust synopses as r
2017-06-062014-06-03gnu: elfutils: Add synopsis and description....Ludovic Courtès
2014-02-17gnu: patchelf: Fix platform page size determination....Mark H Weaver
2013-12-15gnu: Move libelf and patchelf to (gnu packages elf)....Ludovic Courtès
2013-12-15gnu: Add elfutils....Ludovic Courtès
Julien Lepiller
2017-06-06gnu: Add ocaml-async-extra....Julien Lepiller
2017-06-06gnu: Add ocaml-async-unix....Julien Lepiller
2017-06-06gnu: Add ocaml-core....Julien Lepiller
2017-06-06gnu: Add ocaml-async-rpc-kernel....Julien Lepiller
2017-06-06gnu: Add ocaml-async-kernel....Julien Lepiller
2017-06-06gnu: Add ocaml-core-kernel....Julien Lepiller
2017-05-25gnu: Add ocaml-ppx-jane....Julien Lepiller
2017-05-25gnu: Add ocaml-ppx-expect....Julien Lepiller
2017-05-25gnu: Add ocaml-re....Julien Lepiller
2017-05-25gnu: Add ocaml-ppx-fields-conv....Julien Lepiller
2017-05-25gnu: Add ocaml-ppx-sexp-message....Julien Lepiller
2017-05-25gnu: Add ocaml-ppx-custom-printf....Julien Lepiller
2017-05-25gnu: Add ocaml-ppx-fail....Julien Lepiller
2017-05-25gnu: Add ocaml-ppx-bin-prot....Julien Lepiller
2017-05-25gnu: Add ocaml-ppx-pipebang....Julien Lepiller
2017-05-25gnu: Add ocaml-ppx-sexp-value....Julien Lepiller