HCoop Git - jackhill/guix/guix.git/history

HCoop / jackhill / guix / guix.git / history

[jackhill/guix/guix.git] / gnu / packages / ocaml.scm

2017-11-06	Ludovic Courtès	Fix ambiguous imports.	blob \| commitdiff \| raw
2017-10-28	Peter Kreye	gnu: Add ocaml-utop.	blob \| commitdiff \| raw \| diff to current
2017-10-28	Peter Kreye	gnu: Add ocaml-findlib-1.7.3.	blob \| commitdiff \| raw \| diff to current
2017-10-28	Peter Kreye	gnu: Add ocaml-lambda-term.	blob \| commitdiff \| raw \| diff to current
2017-10-28	Peter Kreye	gnu: Add ocaml-zed.	blob \| commitdiff \| raw \| diff to current
2017-10-28	Peter Kreye	gnu: Add ocaml-jbuilder.	blob \| commitdiff \| raw \| diff to current
2017-10-22	Julien Lepiller	gnu: Update coq-interval to 3.3.0.	blob \| commitdiff \| raw \| diff to current
2017-10-22	Julien Lepiller	gnu: Add coq-bignums.	blob \| commitdiff \| raw \| diff to current
2017-10-22	Julien Lepiller	gnu: Update coq-coquelicot to 3.0.1.	blob \| commitdiff \| raw \| diff to current
2017-10-22	Julien Lepiller	gnu: Update coq-mathcomp to 1.6.2.	blob \| commitdiff \| raw \| diff to current
2017-10-22	Julien Lepiller	gnu: Update coq-flocq to 2.6.0.	blob \| commitdiff \| raw \| diff to current
2017-10-22	Julien Lepiller	gnu: Update coq to 8.7.0.	blob \| commitdiff \| raw \| diff to current
2017-10-22	Julien Lepiller	gnu: camlp5: install META file.	blob \| commitdiff \| raw \| diff to current
2017-10-04	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add ocaml-camomile.	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add bap.	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add ocaml-piqi.	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add ocaml-graph.	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add ocaml-uuidm.	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add ocaml-piqilib.	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add ocaml-optcomp.	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add ocaml-easy-format.	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add ocaml-uri.	blob \| commitdiff \| raw \| diff to current
2017-09-27	Julien Lepiller	gnu: Add ocaml-ezjsonm.	blob \| commitdiff \| raw \| diff to current
2017-09-04	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2017-09-04	Kei Kebreau	gnu: Put autoconf-related phases immediately after...	blob \| commitdiff \| raw \| diff to current
2017-09-02	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2017-09-01	Oleg Pykhalov	gnu: Add emacs-tuareg.	blob \| commitdiff \| raw \| diff to current
2017-08-26	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2017-08-01	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-07-29	Julien Lepiller	gnu: Add coq-interval.	blob \| commitdiff \| raw \| diff to current
2017-07-29	Julien Lepiller	gnu: Add coq-coquelicot.	blob \| commitdiff \| raw \| diff to current
2017-07-29	Julien Lepiller	gnu: Add coq-mathcomp.	blob \| commitdiff \| raw \| diff to current
2017-07-29	Julien Lepiller	gnu: Add coq-gappa.	blob \| commitdiff \| raw \| diff to current
2017-07-29	Julien Lepiller	gnu: Add coq-flocq.	blob \| commitdiff \| raw \| diff to current
2017-06-07	Leo Famulari	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: coq: Add search-paths for coq libraries.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-hex.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-cstruct.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-ocplib-endian.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-async.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-async-extra.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-async-unix.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-core.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-async-rpc-kernel.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-async-kernel.	blob \| commitdiff \| raw \| diff to current
2017-06-06	Julien Lepiller	gnu: Add ocaml-core-kernel.	blob \| commitdiff \| raw \| diff to current
2017-05-27	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-05-27	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-ppx-jane.	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-ppx-expect.	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-re.	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-ppx-fields-conv.	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-ppx-sexp-message.	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-ppx-custom-printf.	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-ppx-fail.	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-ppx-bin-prot.	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-ppx-pipebang.	blob \| commitdiff \| raw \| diff to current
2017-05-25	Julien Lepiller	gnu: Add ocaml-ppx-sexp-value.	blob \| commitdiff \| raw \| diff to current
2017-05-24	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-05-14	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2017-05-14	Marius Bakke	Merge commit '28ee4d41edf072776777ff3f83aef8502df909e5...	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml4.01-batteries.	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml4.01-xmlm.	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml4.01-ounit.	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml4.01-qtest.	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml4.01-camlzip.	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml4.01-csv.	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml4.01-sqlite3.	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml4.01-bisect.	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml4.01-findlib.	blob \| commitdiff \| raw \| diff to current
2017-05-10	Ben Woodcroft	gnu: Add ocaml-4.01.	blob \| commitdiff \| raw \| diff to current
2017-05-08	Kei Kebreau	gnu: Move lynx to web-browsers.scm.	blob \| commitdiff \| raw \| diff to current
2017-04-29	Julien Lepiller	gnu: ocaml-qtest: Use ocaml-qcheck.	blob \| commitdiff \| raw \| diff to current
2017-04-29	Julien Lepiller	gnu: Add ocaml-qcheck.	blob \| commitdiff \| raw \| diff to current
2017-04-03	Leo Famulari	gnu: Use HTTPS URLs for GitHub home-pages.	blob \| commitdiff \| raw \| diff to current
2017-03-19	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-03-17	Ben Woodcroft	gnu: ocaml-qtest: Update to 2.5.	blob \| commitdiff \| raw \| diff to current
2017-03-17	Ben Woodcroft	gnu: Add ocaml-csv.	blob \| commitdiff \| raw \| diff to current
2017-03-17	Ben Woodcroft	gnu: Add ocaml-sqlite3.	blob \| commitdiff \| raw \| diff to current
2017-03-15	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-ppx-typerep-conv.	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-ppx-let.	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-ppx-enumerate.	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-ppx-assert.	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-ppx-here.	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-ppx-variants-conv.	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-ppx-sexp-conv.	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-variantslib.	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-typerep.	blob \| commitdiff \| raw \| diff to current
2017-03-14	Julien Lepiller	gnu: Add ocaml-sexplib.	blob \| commitdiff \| raw \| diff to current
2017-02-27	Marius Bakke	Merge branch 'master' into python-tests	blob \| commitdiff \| raw \| diff to current
2017-02-21	Marius Bakke	Merge branch 'staging' into core-updates	blob \| commitdiff \| raw \| diff to current
2017-02-20	Efraim Flashner	Merge remote-tracking branch 'origin/master' into core...	blob \| commitdiff \| raw \| diff to current
2017-02-15	Julien Lepiller	gnu: Add ocaml-ppx-compare.	blob \| commitdiff \| raw \| diff to current
2017-02-15	Julien Lepiller	gnu: Add ocaml-ppx-bench.	blob \| commitdiff \| raw \| diff to current
2017-02-15	Julien Lepiller	gnu: Add ocaml-ppx-inline-test.	blob \| commitdiff \| raw \| diff to current
2017-02-15	Julien Lepiller	gnu: Add ocaml-ppx-type-conv.	blob \| commitdiff \| raw \| diff to current
2017-02-15	Julien Lepiller	gnu: Add ocaml-ppx-deriving.	blob \| commitdiff \| raw \| diff to current
2017-02-15	Julien Lepiller	gnu: Add ocaml-cppo.	blob \| commitdiff \| raw \| diff to current
next

jackhill's copy of GNU Guix: https://guix.gnu.org/

RSS Atom